aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBob Duff <duff@adacore.com>2020-06-23 11:38:40 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2020-10-15 05:39:10 -0400
commitf644627e27b2a15159f1481ae0ea56297508d78f (patch)
tree479541ae771f6532f73975cd63fd7ada643bc764
parent8b6d722d6eed8541a9b8ba5d395debc2deb93bf5 (diff)
downloadgcc-f644627e27b2a15159f1481ae0ea56297508d78f.zip
gcc-f644627e27b2a15159f1481ae0ea56297508d78f.tar.gz
gcc-f644627e27b2a15159f1481ae0ea56297508d78f.tar.bz2
[Ada] Remove obsolete DSP comment
gcc/ada/ * exp_ch6.adb (Expand_Simple_Function_Return): Remove DSP part of comment, and reformat.
-rw-r--r--gcc/ada/exp_ch6.adb17
1 files changed, 8 insertions, 9 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb
index 57d3884..9ceae92 100644
--- a/gcc/ada/exp_ch6.adb
+++ b/gcc/ada/exp_ch6.adb
@@ -7556,15 +7556,14 @@ package body Exp_Ch6 is
Set_Enclosing_Sec_Stack_Return (N);
-- Optimize the case where the result is a function call. In this
- -- case either the result is already on the secondary stack, or is
- -- already being returned with the stack pointer depressed and no
- -- further processing is required except to set the By_Ref flag
- -- to ensure that gigi does not attempt an extra unnecessary copy.
- -- (actually not just unnecessary but harmfully wrong in the case
- -- of a controlled type, where gigi does not know how to do a copy).
- -- To make up for a gcc 2.8.1 deficiency (???), we perform the copy
- -- for array types if the constrained status of the target type is
- -- different from that of the expression.
+ -- case the result is already on the secondary stack and no further
+ -- processing is required except to set the By_Ref flag to ensure
+ -- that gigi does not attempt an extra unnecessary copy. (Actually
+ -- not just unnecessary but wrong in the case of a controlled type,
+ -- where gigi does not know how to do a copy.) To make up for a gcc
+ -- 2.8.1 deficiency (???), we perform the copy for array types if the
+ -- constrained status of the target type is different from that of
+ -- the expression.
if Requires_Transient_Scope (Exp_Typ)
and then