diff options
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 14 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9ddc6da809f..cd4e3a07d14 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -4,6 +4,10 @@ * sem_ch6.adb (Process_Formals): Prevent an access type formal to be initialized with an access to constant object. + * sem_ch3.adb (Analyze_Object_Declaration): Signal an error + when an access to constant is used to initialize an access + value. + 2007-12-07 Olivier Hainque <hainque@adacore.com> PR ada/34173 diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 5c61d00943f..c16b4066d84 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -2364,6 +2364,20 @@ package body Sem_Ch3 is Set_Is_True_Constant (Id, True); + -- If the initialization expression is an access to constant, + -- it cannot be used with an access type. + + if Is_Access_Type (Etype (E)) + and then Is_Access_Constant (Etype (E)) + and then Is_Access_Type (T) + and then not Is_Access_Constant (T) + then + Error_Msg_NE ("object of type& cannot be initialized with " & + "an access-to-constant expression", + E, + T); + end if; + -- If we are analyzing a constant declaration, set its completion -- flag after analyzing the expression. |