diff options
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 8a0ba021..a03c88d 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -156,7 +156,7 @@ package body Debug is -- d_o -- d_p Ignore assertion pragmas for elaboration -- d_q - -- d_r + -- d_r Disable the use of the return slot in functions -- d_s Stop elaboration checks on synchronous suspension -- d_t In LLVM-based CCG, dump LLVM IR after transformations are done -- d_u In LLVM-based CCG, dump flows @@ -993,6 +993,11 @@ package body Debug is -- semantics of invariants and postconditions in both the static and -- dynamic elaboration models. + -- d_r The compiler does not make use of the return slot in the expansion + -- of functions returning a by-reference type. If this use is required + -- for these functions to return on the primary stack, then they are + -- changed to return on the secondary stack instead. + -- d_s The compiler stops the examination of a task body once it reaches -- a call to routine Ada.Synchronous_Task_Control.Suspend_Until_True -- or Ada.Synchronous_Barriers.Wait_For_Release. |