diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-24 12:42:21 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-24 12:42:21 +0100 |
| commit | 4437ea95cc8a9fd845e435527565718e566fa937 (patch) | |
| tree | da28149745069d119abcad62d4b023f3ec9ba2d2 /gcc/ada/sem_util.adb | |
| parent | 8e9140681f2eeb666ff96692197cfddcf7882cf4 (diff) | |
| download | gcc-4437ea95cc8a9fd845e435527565718e566fa937.zip gcc-4437ea95cc8a9fd845e435527565718e566fa937.tar.gz gcc-4437ea95cc8a9fd845e435527565718e566fa937.tar.bz2 | |
[multiple changes]
2014-01-24 Robert Dewar <dewar@adacore.com>
* sem_prag.adb (Analyze_Input_Output): Add missing error check
for junk operand.
* sem_util.adb (Is_Refined_State): Add defense against junk
tree from error.
2014-01-24 Pascal Obry <obry@adacore.com>
* projects.texi: Removes Build_Slaves attribute documentation.
From-SVN: r207027
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 9a8428d..dc6a495 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -3723,6 +3723,12 @@ package body Sem_Util is else Item_Id := Entity_Of (Item); + -- Defend against junk + + if No (Item_Id) then + return False; + end if; + return Ekind (Item_Id) = E_Abstract_State and then Has_Visible_Refinement (Item_Id); |