diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-05 15:11:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-05 15:11:29 +0200 |
| commit | d72e76282abded51ce3161e57a84134a79c4bd5c (patch) | |
| tree | eff707ccdc5388530cc893afc435a33b8134964f /gcc/ada/lib-xref-alfa.adb | |
| parent | 0d566e0157b969d5868a157e73a75b6b5bff4bb8 (diff) | |
| download | gcc-d72e76282abded51ce3161e57a84134a79c4bd5c.zip gcc-d72e76282abded51ce3161e57a84134a79c4bd5c.tar.gz gcc-d72e76282abded51ce3161e57a84134a79c4bd5c.tar.bz2 | |
[multiple changes]
2011-09-05 Gary Dismukes <dismukes@adacore.com>
* exp_ch7.adb, exp_ch6.adb: Minor reformatting.
2011-09-05 Johannes Kanig <kanig@adacore.com>
* lib-xref-alfa.adb: Update comments.
2011-09-05 Thomas Quinot <quinot@adacore.com>
* sem_res.adb: Minor reformatting
From-SVN: r178535
Diffstat (limited to 'gcc/ada/lib-xref-alfa.adb')
| -rw-r--r-- | gcc/ada/lib-xref-alfa.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/lib-xref-alfa.adb b/gcc/ada/lib-xref-alfa.adb index dd3c78c..2036dd8 100644 --- a/gcc/ada/lib-xref-alfa.adb +++ b/gcc/ada/lib-xref-alfa.adb @@ -612,11 +612,11 @@ package body Alfa is when Overloadable_Kind => return Typ = 's'; - -- References to IN parameters are not considered in Alfa - -- section, as these will be translated as constants in the - -- intermediate language for formal verification. - - -- Above comment is incomplete??? what about E_Constant case + -- References to IN parameters and constants are not + -- considered in Alfa section, as these will be translated + -- as constants in the intermediate language for formal + -- verification, and should therefore never appear in frame + -- conditions. when E_In_Parameter | E_Constant => return False; |