diff options
| author | Yannick Moy <moy@adacore.com> | 2012-10-01 08:33:04 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 10:33:04 +0200 |
| commit | 3db3967673655193c5478148872aadca7fb0a925 (patch) | |
| tree | eb66d1758b9bbc36266454b1f67f25c8318cf12d /gcc/ada/gcc-interface/gigi.h | |
| parent | 3f5e1e076e44c9af6920085e52c170f40cd73ae3 (diff) | |
| download | gcc-3db3967673655193c5478148872aadca7fb0a925.zip gcc-3db3967673655193c5478148872aadca7fb0a925.tar.gz gcc-3db3967673655193c5478148872aadca7fb0a925.tar.bz2 | |
sem_ch13.adb (Add_Invariants): Analyze the invariant expression as an assertion expression.
2012-10-01 Yannick Moy <moy@adacore.com>
* sem_ch13.adb (Add_Invariants): Analyze the invariant expression
as an assertion expression.
* sem_ch3.adb / sem_ch3.ads (Preanalyze_Assert_Expression):
New procedure that wraps a call to Preanalyze_Spec_Expression
for assertion expressions, so that In_Assertion_Expr can be
properly adjusted.
* sem_prag.adb (Analyze_PPC_In_Decl_Part
Check_Precondition_Postcondition Preanalyze_CTC_Args): Call the
new Preanalyze_Assert_Expression.
From-SVN: r191898
Diffstat (limited to 'gcc/ada/gcc-interface/gigi.h')
0 files changed, 0 insertions, 0 deletions