diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-05-09 10:17:09 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-06-01 08:43:19 +0000 |
| commit | 5cfde7a0b5ffd2cd0e792f07f849b9b1b0bea290 (patch) | |
| tree | b01faa4a536d97167663111382617ddb16dc3935 /gcc/ada/gcc-interface/decl.cc | |
| parent | 4e8310b33c37d1eaaa4ffd08aca404a787252cf5 (diff) | |
| download | gcc-5cfde7a0b5ffd2cd0e792f07f849b9b1b0bea290.zip gcc-5cfde7a0b5ffd2cd0e792f07f849b9b1b0bea290.tar.gz gcc-5cfde7a0b5ffd2cd0e792f07f849b9b1b0bea290.tar.bz2 | |
[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_Stack
The Returns_On_Secondary_Stack predicate is a misnomer because it must be
invoked on a type and types do not return; as a matter of fact, the other
Returns_XXX predicates apply to functions.
gcc/ada/
* exp_ch6.adb (Caller_Known_Size): Invoke Needs_Secondary_Stack in
lieu of Returns_On_Secondary_Stack.
(Expand_Call_Helper): Likewise.
(Expand_Simple_Function_Return): Likewise.
(Needs_BIP_Alloc_Form): Likewise.
* exp_ch7.adb (Wrap_Transient_Declaration): Likewise.
* sem_res.adb (Resolve_Call): Likewise.
(Resolve_Entry_Call): Likewise.
* sem_util.ads (Returns_On_Secondary_Stack): Rename into...
(Needs_Secondary_Stack): ...this.
* sem_util.adb (Returns_On_Secondary_Stack): Rename into...
(Needs_Secondary_Stack): ...this.
* fe.h (Returns_On_Secondary_Stack): Delete.
(Needs_Secondary_Stack): New function.
* gcc-interface/decl.cc (gnat_to_gnu_subprog_type): Replace call
to Returns_On_Secondary_Stack with Needs_Secondary_Stack.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
| -rw-r--r-- | gcc/ada/gcc-interface/decl.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/gcc-interface/decl.cc b/gcc/ada/gcc-interface/decl.cc index 50d17f7..318c3be 100644 --- a/gcc/ada/gcc-interface/decl.cc +++ b/gcc/ada/gcc-interface/decl.cc @@ -5864,7 +5864,7 @@ gnat_to_gnu_subprog_type (Entity_Id gnat_subprog, bool definition, } /* This is for the other types returned on the secondary stack. */ - else if (Returns_On_Secondary_Stack (gnat_return_type)) + else if (Needs_Secondary_Stack (gnat_return_type)) { gnu_return_type = build_reference_type (gnu_return_type); return_unconstrained_p = true; |