diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-17 16:11:56 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:59:12 -0400 |
| commit | 19b00ffa9cb1ea393788d483d554c17513407992 (patch) | |
| tree | 04df57ac89aa093e75c134999ef41bc2b3ae0857 /gcc/genautomata.c | |
| parent | d4506716bcd7e43d998deaa54739e1df4175e050 (diff) | |
| download | gcc-19b00ffa9cb1ea393788d483d554c17513407992.zip gcc-19b00ffa9cb1ea393788d483d554c17513407992.tar.gz gcc-19b00ffa9cb1ea393788d483d554c17513407992.tar.bz2 | |
[Ada] Fix freezing of previous contracts
gcc/ada/
* contracts.adb (Causes_Contract_Freezing): Extend condition to
match the one in Analyze_Subprogram_Body_Helper. This routine is
used both as an assertion at the very start of
Freeze_Previous_Contracts and to detect previous declaration for
which Freeze_Previous_Contracts has been executed.
Diffstat (limited to 'gcc/genautomata.c')
0 files changed, 0 insertions, 0 deletions