diff options
| author | Yannick Moy <moy@adacore.com> | 2023-10-16 12:24:46 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-07 10:15:04 +0100 |
| commit | 36fcb4b93003d9eb135564d3eb0d07f27a3e2c47 (patch) | |
| tree | f81291ebf4ba597c2ef6919f8e508f899dfed52a /gcc/ada/exp_ch6.adb | |
| parent | 76bf4321331b1d453555602407029344e1e1ee4a (diff) | |
| download | gcc-36fcb4b93003d9eb135564d3eb0d07f27a3e2c47.zip gcc-36fcb4b93003d9eb135564d3eb0d07f27a3e2c47.tar.gz gcc-36fcb4b93003d9eb135564d3eb0d07f27a3e2c47.tar.bz2 | |
ada: Rename Is_Limited_View to reflect actual query
Function Sem_Aux.Is_Limited_View returns whether the type is
"inherently limited" in a slightly different way from the "immutably
limited" definition in Ada 2012. Rename for clarity.
gcc/ada/
* exp_aggr.adb: Apply the renaming.
* exp_ch3.adb: Same.
* exp_ch4.adb: Same.
* exp_ch6.adb: Same.
* exp_ch7.adb: Same.
* exp_util.adb: Same.
* freeze.adb: Same.
* sem_aggr.adb: Same.
* sem_attr.adb: Same.
* sem_aux.adb: Alphabetize Is_Limited_Type. Rename.
* sem_aux.ads: Same.
* sem_ch3.adb: Apply the renaming.
* sem_ch6.adb: Same.
* sem_ch8.adb: Same.
* sem_prag.adb: Same.
* sem_res.adb: Same.
* sem_util.adb: Same.
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 1a2a027..d480240 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -6913,7 +6913,7 @@ package body Exp_Ch6 is Set_Enclosing_Sec_Stack_Return (N); end if; - elsif Is_Limited_View (R_Type) then + elsif Is_Inherently_Limited_Type (R_Type) then null; -- No copy needed for thunks returning interface type objects since @@ -8219,7 +8219,7 @@ package body Exp_Ch6 is -- of a function with a limited interface result, where the function -- may return objects of nonlimited descendants. - return Is_Limited_View (Typ) + return Is_Inherently_Limited_Type (Typ) and then Ada_Version >= Ada_2005 and then not Debug_Flag_Dot_L; end Is_Build_In_Place_Result_Type; |