diff options
| author | Robert Dewar <dewar@adacore.com> | 2014-01-24 14:03:19 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-24 15:03:19 +0100 |
| commit | a6ae518ff7855e89b8b1e578e2124fd0a79f3f84 (patch) | |
| tree | 685f0bcb0d999d01912bd38b8e8d58ae51aed015 /gcc/ada/sem_util.adb | |
| parent | 0bd38d942cf03bc447d09bce4045369eccfa9431 (diff) | |
| download | gcc-a6ae518ff7855e89b8b1e578e2124fd0a79f3f84.zip gcc-a6ae518ff7855e89b8b1e578e2124fd0a79f3f84.tar.gz gcc-a6ae518ff7855e89b8b1e578e2124fd0a79f3f84.tar.bz2 | |
sem_util.adb, [...]: Correct false positive warnings.
2014-01-24 Robert Dewar <dewar@adacore.com>
* sem_util.adb, lib-xref.adb: Correct false positive warnings.
From-SVN: r207031
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index b5bb307..422e462 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -9882,7 +9882,12 @@ package body Sem_Util is -- a reference as a modification. It is not clear if there are any -- other bad consequences. ??? - if Present (Etype (N)) and then Is_Access_Type (Etype (N)) then + if No (Etype (N)) then + return False; + + -- We have an Etype set, so we can check it + + elsif Is_Access_Type (Etype (N)) then return False; -- OK, not access type case, so just test whole expression |