diff options
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 2a32f3a..d48b8f2 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -10592,19 +10592,11 @@ package body Exp_Ch6 is begin pragma Assert (Check_BIP_Actuals (Call_Node, Subp)); - - -- Do not attempt to verify the return type in CodePeer_Mode - -- as CodePeer_Mode is missing some expansion code that - -- results in trees that would be considered malformed for - -- GCC but aren't for GNAT2SCIL. - - if not CodePeer_Mode then -- Build-in-place function calls return their result by -- reference. - pragma Assert (not Is_Build_In_Place_Function (Subp) - or else Returns_By_Ref (Subp)); - end if; + pragma Assert (not Is_Build_In_Place_Function (Subp) + or else Returns_By_Ref (Subp)); end; -- Skip generic bodies @@ -10714,7 +10706,14 @@ package body Exp_Ch6 is pragma Assert (Serious_Errors_Detected = 0); - Check_Calls (N); + -- Do not attempt to verify the return type in CodePeer_Mode + -- as CodePeer_Mode is missing some expansion code that + -- results in trees that would be considered malformed for + -- GCC but aren't for GNAT2SCIL. + + if not CodePeer_Mode then + Check_Calls (N); + end if; end Validate_Subprogram_Calls; -------------- |