diff options
Diffstat (limited to 'gcc/ada/exp_attr.adb')
-rw-r--r-- | gcc/ada/exp_attr.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index b0f409d..105df46 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -835,6 +835,11 @@ package body Exp_Attr is -- Remaining processing depends on specific attribute + -- Note: individual sections of the following case statement are + -- allowed to assume there is no code after the case statement, and + -- are legitimately allowed to execute return statements if they have + -- nothing more to do. + case Id is -- Attributes related to Ada 2012 iterators (placeholder ???) @@ -6074,6 +6079,11 @@ package body Exp_Attr is null; end case; + -- Note: as mentioned earlier, individual sections of the above case + -- statement assume there is no code after the case statement, and are + -- legitimately allowed to execute return statements if they have nothing + -- more to do, so DO NOT add code at this point. + exception when RE_Not_Available => return; |