diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2019-07-08 08:14:22 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-08 08:14:22 +0000 |
| commit | 47bcd81fe7f8f9251f0777ae5ee77520b615af26 (patch) | |
| tree | 247b9c03c130defad6c9e4472bcfa286f1d655af /gcc/tree-pass.h | |
| parent | 56730418631c887e3c20f6529ed9399b80b50915 (diff) | |
| download | gcc-47bcd81fe7f8f9251f0777ae5ee77520b615af26.zip gcc-47bcd81fe7f8f9251f0777ae5ee77520b615af26.tar.gz gcc-47bcd81fe7f8f9251f0777ae5ee77520b615af26.tar.bz2 | |
[Ada] Diagnostics for Elaboration order v4.0
This patch adds a missing case to the output of cycle diagnostics here a
transition from an Elaborate_Body pair may reach a destination which is
in the context of an active Elaborate_All.
2019-07-08 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* bindo-diagnostics.adb (Diagnose_Cycle): Capture the presence
of an Elaborate_All edge before iterating over the edges of the
cycle.
(Output_Elaborate_Body_Transition): Update the parameter profile
and the comment on usage. Add a missing case where the edge is
within the context of an Elaborate_All.
(Output_Transition): Update the call to
Output_Elaborate_Body_Transition.
* bindo-graphs.ads, bindo-graphs.adb
(Contains_Elaborate_All_Edge): New routine.
From-SVN: r273217
Diffstat (limited to 'gcc/tree-pass.h')
0 files changed, 0 insertions, 0 deletions