diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-08 13:10:27 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-08 13:10:27 +0000 |
| commit | cbdafc5de96b1a4b75dc2b846e2dd3f2fd368925 (patch) | |
| tree | 3110619a9538d02b4e23c7b82d7678826d368501 /gcc/ada/exp_ch5.adb | |
| parent | 770f895a2a352cf184a5fd3a0dcaede64486b41e (diff) | |
| download | gcc-cbdafc5de96b1a4b75dc2b846e2dd3f2fd368925.tar.gz | |
2010-10-08 Ed Schonberg <schonberg@adacore.com>
* sem_aux.adb: Cleanup Is_Immutably_Limited_Type.
2010-10-08 Robert Dewar <dewar@adacore.com>
* exp_ch3.adb: Minor reformatting.
* exp_ch5.adb: Add comment.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@165177 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch5.adb')
| -rw-r--r-- | gcc/ada/exp_ch5.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch5.adb b/gcc/ada/exp_ch5.adb index 2c2ddb0a980..f53ac1f57cb 100644 --- a/gcc/ada/exp_ch5.adb +++ b/gcc/ada/exp_ch5.adb @@ -4247,9 +4247,11 @@ package body Exp_Ch5 is Reason => PE_Accessibility_Check_Failed)); end; - -- AI05-0073 : if function has a controlling access result, check that + -- AI05-0073: If function has a controlling access result, check that -- the tag of the return value matches the designated type. + -- The "or else True" needs commenting here ??? + elsif Ekind (R_Type) = E_Anonymous_Access_Type and then Has_Controlling_Result (Scope_Id) and then (Ada_Version >= Ada_12 or else True) |