diff options
| author | Javier Miranda <miranda@adacore.com> | 2021-12-17 16:43:57 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-07 16:24:14 +0000 |
| commit | 2eed8f16bfefbf50d991419cc11fe9a0e2122aa8 (patch) | |
| tree | 0348cf267081ac448c0616d726ea41bb60d304dd /libgfortran/generated/cshift1_8_c4.c | |
| parent | 7f4e820d3bb5b65eab4c5693bdbe0cbe5877cd85 (diff) | |
| download | gcc-2eed8f16bfefbf50d991419cc11fe9a0e2122aa8.zip gcc-2eed8f16bfefbf50d991419cc11fe9a0e2122aa8.tar.gz gcc-2eed8f16bfefbf50d991419cc11fe9a0e2122aa8.tar.bz2 | |
[Ada] Crash in class-wide pre/postconditions
gcc/ada/
* atree.ads (Traverse_Func_With_Parent): New generic subprogram.
(Traverse_Proc_With_Parent): Likewise.
* atree.adb (Parents_Stack): New table used to traverse trees
passing the parent field of each node.
(Internal_Traverse_With_Parent): New generic subprogram.
(Traverse_Func_With_Parent): Likewise.
(Traverse_Proc_With_Parent): Likewise.
* contracts.adb (Fix_Parents): New subprogram.
(Restore_Original_Selected_Component): Enhanced to fix the
parent field of restored nodes.
(Inherit_Condition): Adding assertions to check the parent field
of inherited conditions and to ensure that the built inherited
condition has no reference to the formals of the parent
subprogram.
* sem_util.ads, sem_util.adb (Check_Parents): New subprogram.
Diffstat (limited to 'libgfortran/generated/cshift1_8_c4.c')
0 files changed, 0 insertions, 0 deletions