| commit | fee5b643574e16cb2860ab6d6e26ccb0ed60f91a | |
| author | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Thu, 19 Oct 2023 12:17:24 +0000 (19 12:17 +0000) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 21 Nov 2023 09:57:40 +0000 (21 10:57 +0100) | ||
| tree | 57724178e09eaa029c7b925aacaf5355c89a92ae | treesnapshot (tar.gz zip) |
| parent | 4b7d0f22b1357a407856571ad1945bbb4ca22f0c | commitdiff |
ada: Fix SCOs generation for aspect specifications
The recent overhaul for the representation of aspect specifications in
the tree broke SCOs generation: decisions that appeared in aspects were
processed twice, leading to the emission of erroneous obligations. Tweak
SCOs generation to skip aspect specifications the second time to go back
to the previous behavior.
gcc/ada/
* par_sco.adb (Process_Decisions)<Process_Node>: Skip aspect
specifications.
The recent overhaul for the representation of aspect specifications in
the tree broke SCOs generation: decisions that appeared in aspects were
processed twice, leading to the emission of erroneous obligations. Tweak
SCOs generation to skip aspect specifications the second time to go back
to the previous behavior.
gcc/ada/
* par_sco.adb (Process_Decisions)<Process_Node>: Skip aspect
specifications.
| gcc/ada/par_sco.adb | diffblobblamehistory |