projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d450671) | patch
[Ada] Fix freezing of previous contracts
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 17 Sep 2020 14:11:56 +0000 (16:11 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:59:12 +0000 (04:59 -0400)
commit19b00ffa9cb1ea393788d483d554c17513407992
tree04df57ac89aa093e75c134999ef41bc2b3ae0857tree | snapshot
parentd4506716bcd7e43d998deaa54739e1df4175e050commit | diff
[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.
gcc/ada/contracts.adb diff | blob | history
Domain: System / Toolchain;