diff options
author | Bob Duff <duff@adacore.com> | 2020-06-23 11:38:40 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-15 05:39:10 -0400 |
commit | f644627e27b2a15159f1481ae0ea56297508d78f (patch) | |
tree | 479541ae771f6532f73975cd63fd7ada643bc764 | |
parent | 8b6d722d6eed8541a9b8ba5d395debc2deb93bf5 (diff) | |
download | gcc-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.adb | 17 |
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 |