diff options
| author | Robert Dewar <dewar@adacore.com> | 2011-09-05 13:12:33 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-09-05 15:12:33 +0200 |
| commit | aeae67edd7af1208362e615cf89dd2e9cba942d5 (patch) | |
| tree | 93d3c8f0f6da114d866a38616f4c7d16e8660d66 /gcc/ada/lib-xref-alfa.adb | |
| parent | d72e76282abded51ce3161e57a84134a79c4bd5c (diff) | |
| download | gcc-aeae67edd7af1208362e615cf89dd2e9cba942d5.zip gcc-aeae67edd7af1208362e615cf89dd2e9cba942d5.tar.gz gcc-aeae67edd7af1208362e615cf89dd2e9cba942d5.tar.bz2 | |
sem_ch3.adb, [...]: Minor reformatting.
2011-09-05 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_res.adb, par.adb, par-ch6.adb, g-comlin.adb,
exp_ch6.adb, lib-xref-alfa.adb: Minor reformatting.
From-SVN: r178536
Diffstat (limited to 'gcc/ada/lib-xref-alfa.adb')
| -rw-r--r-- | gcc/ada/lib-xref-alfa.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref-alfa.adb b/gcc/ada/lib-xref-alfa.adb index 2036dd8..9e154fd 100644 --- a/gcc/ada/lib-xref-alfa.adb +++ b/gcc/ada/lib-xref-alfa.adb @@ -618,6 +618,8 @@ package body Alfa is -- verification, and should therefore never appear in frame -- conditions. + -- What about E_Loop_Parameter??? + when E_In_Parameter | E_Constant => return False; |