diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-05 13:11:29 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-09-05 13:11:29 +0000 |
| commit | 8a638592171205515edfbb0cccf6af2fe15965be (patch) | |
| tree | eff707ccdc5388530cc893afc435a33b8134964f /gcc/ada/lib-xref-alfa.adb | |
| parent | 96c33aeedfc501dcb432dacc1e60f5f2c4564ed9 (diff) | |
| download | gcc-8a638592171205515edfbb0cccf6af2fe15965be.tar.gz | |
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
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178535 138bc75d-0d04-0410-961f-82ee72b054a4
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 dd3c78cb2dd..2036dd83d73 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; |