diff options
author | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-07-03 00:19:01 +0000 |
---|---|---|
committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-07-03 00:19:01 +0000 |
commit | 751982484b50f3fcf54235683fb4c76dd6426d92 (patch) | |
tree | 900a6526e44cd292b5699f731cc4fde41d483a7b /gcc/ada | |
parent | 895bbc08d38c2aca3cbbab273a247021fea73930 (diff) | |
download | gcc-751982484b50f3fcf54235683fb4c76dd6426d92.zip gcc-751982484b50f3fcf54235683fb4c76dd6426d92.tar.gz gcc-751982484b50f3fcf54235683fb4c76dd6426d92.tar.bz2 |
Daily bump.
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/ChangeLog | 109 |
1 files changed, 109 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 3ba50c5..02db1fb 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,112 @@ +2024-07-02 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch4.adb (Expand_Concatenate): In the case where an operand + does not have both bounds known at compile time, use nevertheless + the low bound directly if it is known at compile time. + Fold the conditional expression giving the low bound of the result + in the general case if the low bound of all the operands are equal. + +2024-07-02 Ronan Desplanques <desplanques@adacore.com> + + * sem_ch12.adb (Save_And_Reset): Fix value of low bound used to + reset table. + +2024-07-02 Steve Baird <baird@adacore.com> + + * sem_attr.adb + (Analyze_Image_Attribute.Check_Image_Type): Check for + E_Access_Attribute_Type prefix type. + +2024-07-02 Steve Baird <baird@adacore.com> + + * exp_ch9.adb + (Expand_N_Protected_Body): Declare new procedure + Unanalyze_Use_Clauses and call it before analyzing the newly + constructed subprogram body. + +2024-07-02 Steve Baird <baird@adacore.com> + + * exp_put_image.adb + (Build_Record_Put_Image_Procedure): Declare new Boolean-valued + function Null_Record_Default_Implementation_OK; call it as part of + deciding whether to generate "(NULL RECORD)" text. + +2024-07-02 Justin Squirek <squirek@adacore.com> + + * sem_ch5.adb: + (Analyze_Assignment): Add special expansion for qualified expressions + in certain cases dealing with mutably tagged types. + +2024-07-02 Bob Duff <duff@adacore.com> + + * freeze.adb (Freeze_Type_Refs): If Node is in N_Has_Etype, + check that it has had its Etype set, because this can be + called early for expression functions that are completions. + +2024-07-02 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch4.adb (Expand_Array_Comparison): Remove the obsolete byte + addressibility test. If Support_Composite_Compare_On_Target is true, + immediately return for a component size of 8, an unsigned component + type and aligned operands. Disable when Unnest_Subprogram_Mode is + true (for LLVM). + (Expand_N_Op_Eq): Adjust comment. + * targparm.ads (Support_Composite_Compare_On_Target): Replace bit by + byte in description and document support for ordering comparisons. + * gcc-interface/utils2.cc (compare_arrays): Rename into... + (compare_arrays_for_equality): ...this. Remove redundant lines. + (compare_arrays_for_ordering): New function. + (build_binary_op) <comparisons>: Call compare_arrays_for_ordering + to implement ordering comparisons for arrays. + +2024-07-02 Yannick Moy <moy@adacore.com> + + * contracts.adb (Analyze_Pragmas_In_Declarations): Analyze + pragmas in two iterations over the list of declarations in + order to analyze some pragmas before others. + * einfo-utils.ads (Get_Pragma): Fix comment. + * sem_prag.ads (Pragma_Significant_To_Subprograms): Fix. + (Pragma_Significant_To_Subprograms_Analyzed_First): Add new + global array to identify these pragmas which should be analyzed + first, which concerns only Extensions_Visible for now. + +2024-07-02 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch7.adb (Convert_View): Add third parameter Typ and use it if + the second parameter does not have an Etype. + (Make_Adjust_Call): Remove obsolete setting of Etype and pass Typ in + call to Convert_View. + (Make_Final_Call): Likewise. + (Make_Init_Call): Pass Typ in call to Convert_View. + +2024-07-02 Javier Miranda <miranda@adacore.com> + + * sem_aggr.adb (Cannot_Compute_High_Bound): New subprogram. + (Report_Null_Array_Constraint_Error): New subprogram. + (Collect_Aggr_Bounds): For null aggregates, build the bounds + of the inner dimensions. + (Has_Null_Aggregate_Raising_Constraint_Error): New subprogram. + (Subtract): New subprogram. + (Resolve_Array_Aggregate): Report a warning when the index of + null array aggregates is an enumeration type or a modular type + at we can statically determine that the program will raise CE + at runtime computing its high bound. + (Resolve_Null_Array_Aggregate): ditto. + +2024-07-02 Eric Botcazou <ebotcazou@adacore.com> + + * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst + (No_Default_Initialization): Mention components alongside variables. + * exp_aggr.adb (Build_Array_Aggr_Code.Gen_Assign): Check that the + restriction No_Default_Initialization is not in effect for default + initialized component. + (Build_Record_Aggr_Code): Likewise. + * gnat_rm.texi: Regenerate. + +2024-07-02 Eric Botcazou <ebotcazou@adacore.com> + + * debug.adb (dJ): Add back as unused. + 2024-06-27 Eric Botcazou <ebotcazou@adacore.com> * libgnat/s-carsi8.adb: Remove clauses for System.Address_Operations |