[Ada] Use declared type for deciding on SPARK pointer rules

2019-10-10 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * sem_prag.adb (Analyze_Global_In_Decl_Part): Simplify previous test, just like in a recent commit we simplified a similar test for Depends contract. From-SVN: r276810

[Ada] Use declared type for deciding on SPARK pointer rules
2019-10-10 Piotr Trojanek <trojanek@adacore.com> gcc/ada/ * sem_prag.adb (Analyze_Global_In_Decl_Part): Simplify previous test, just like in a recent commit we simplified a similar test for Depends contract. From-SVN: r276810
f4f50084 · Piotr Trojanek · Pierre-Marie de Rodat · f466596d · f4f50084 · f4f50084
Commit f4f50084 authored Oct 10, 2019 by Piotr Trojanek Committed by Pierre-Marie de Rodat Oct 10, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 2 deletions

gcc/ada/ChangeLog
+0 -0

gcc/ada/sem_prag.adb
+1 -2

No files found.
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -2429,8 +2429,7 @@ package body Sem_Prag is
               --  Constant related checks

               elsif Ekind (Item_Id) = E_Constant
-                 and then
-                   not Is_Access_Type (Underlying_Type (Etype (Item_Id)))
+                 and then not Is_Access_Type (Etype (Item_Id))
               then

                  --  Unless it is of an access type, a constant is a read-only