diff options
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
-rw-r--r-- | gcc/ada/exp_ch6.adb | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index da1c9e6..a16dfe2 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -6008,16 +6008,18 @@ package body Exp_Ch6 is -- If local-exception-to-goto optimization active, insert dummy push -- statements at start, and dummy pop statements at end, but inhibit - -- this if we have No_Exception_Handlers, since they are useless and - -- interfere with analysis, e.g. by CodePeer. We also don't need these - -- if we're unnesting subprograms because the only purpose of these - -- nodes is to ensure we don't set a label in one subprogram and branch - -- to it in another. + -- this if we have No_Exception_Handlers or expanding a entry barrier + -- function, since they are useless and interfere with analysis (e.g. by + -- CodePeer) and other optimizations. We also don't need these if we're + -- unnesting subprograms because the only purpose of these nodes is to + -- ensure we don't set a label in one subprogram and branch to it in + -- another. if (Debug_Flag_Dot_G or else Restriction_Active (No_Exception_Propagation)) and then not Restriction_Active (No_Exception_Handlers) and then not CodePeer_Mode + and then not Is_Entry_Barrier_Function (N) and then not Unnest_Subprogram_Mode and then Is_Non_Empty_List (L) then |