diff options
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/ChangeLog | 166 |
1 files changed, 166 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9e83540..61f32cd 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,169 @@ +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/trans.cc (Subprogram_Body_to_gnu): Also return early + for a protected subprogram in -gnatc mode. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/decl.cc (gnat_to_gnu_entity) <discrete_type>: Set + the TYPE_JUSTIFIED_MODULAR_P flag earlier. + * gcc-interface/misc.cc (gnat_unit_size_without_reusable_padding): + New function. + (LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING): Redefine to above + function. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/utils.cc (clear_decl_bit_field): New function. + (finish_record_type): Call clear_decl_bit_field instead of clearing + DECL_BIT_FIELD manually. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/trans.cc (gnat_to_gnu) <N_Op_Mod>: Fix formatting. + * gcc-interface/utils2.cc: Include optabs-query.h. + (fast_modulo_reduction): Call can_mult_highpart_p on the TYPE_MODE + before generating a high-part multiply. Fix formatting. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * gcc-interface/gigi.h (fast_modulo_reduction): Declare. + * gcc-interface/trans.cc (gnat_to_gnu) <N_Op_Mod>: In the unsigned + case, call fast_modulo_reduction for {FLOOR,TRUNC}_MOD_EXPR if the + RHS is a constant and not a power of two, and the precision is not + larger than the word size. + * gcc-interface/utils2.cc: Include expmed.h. + (fast_modulo_reduction): New function. + (nonbinary_modular_operation): Call fast_modulo_reduction for the + multiplication if the precision is not larger than the word size. + +2024-06-21 Javier Miranda <miranda@adacore.com> + + * sem_ch2.adb (Analyze_Interpolated_String_Literal): Reject + ambiguous function calls. + +2024-06-21 Ronan Desplanques <desplanques@adacore.com> + + * sem_util.adb (Examine_Array_Bounds): Add missing return + statements. Fix criterion for a string literal being empty. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * bcheck.adb (Check_Consistency_Of_Sdep): Guard against path to ALI + file not found. + +2024-06-21 Javier Miranda <miranda@adacore.com> + + * sem_ch13.adb (Analyze_One_Aspect): Fix code locating the entity + of the parent type. + +2024-06-21 Marc Poulhiès <poulhies@adacore.com> + + * make.adb (Scan_Make_Arg): Adjust error message. + * gnatls.adb (Search_RTS): Likewise. + * switch-b.adb (Scan_Debug_Switches): Likewise. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * einfo.ads (Direct_Primitive_Operations): Mention concurrent types + as well as GNAT extensions instead of implementation details. + (Primitive_Operations): Document that Direct_Primitive_Operations is + also used for concurrent types as a fallback. + * einfo-utils.adb (Primitive_Operations): Tweak formatting. + * exp_util.ads (Find_Prim_Op): Adjust description. + * exp_util.adb (Make_Subtype_From_Expr): In the private case with + unknown discriminants, always copy Direct_Primitive_Operations and + do not overwrite the Class_Wide_Type of the expression's base type. + * sem_ch3.adb (Analyze_Incomplete_Type_Decl): Tweak comment. + (Analyze_Subtype_Declaration): Remove older and now dead calls to + Set_Direct_Primitive_Operations. Tweak comment. + (Build_Derived_Private_Type): Likewise. + (Build_Derived_Record_Type): Likewise. + (Build_Discriminated_Subtype): Set Direct_Primitive_Operations in + all cases instead of just for tagged types. + (Complete_Private_Subtype): Likewise. + (Derived_Type_Declaration): Tweak comment. + * sem_ch4.ads (Try_Object_Operation): Adjust description. + +2024-06-21 Doug Rupp <rupp@adacore.com> + + * init.c [vxworks] (__gnat_install_handler): Revert to + installing signal handlers without regard to interrupt_state. + +2024-06-21 Javier Miranda <miranda@adacore.com> + + * sem_disp.adb (Find_Hidden_Overridden_Primitive): Check + public dispatching primitives of ancestors; previously, + only immediately-visible primitives were checked. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * checks.adb (Generate_Index_Checks): Add specific treatment for + index expressions that are N_Expression_With_Actions nodes. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * sem_ch4.adb (Analyze_Selected_Component): Rename Name into Pref + and use Sel local variable consistently. + (Is_Simple_Indexed_Component): New predicate. + Call Is_Simple_Indexed_Component to determine whether to build an + actual subtype for the component. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * freeze.adb (Freeze_Array_Type): Decouple the handling of the + interaction between packing and aliased/atomic components from + that of the interaction between a component clause and aliased/ + atomic components, and retrofit the processing of the interaction + between the two characteristics and independent components into + the common processing. + +2024-06-21 Bob Duff <duff@adacore.com> + + * gen_il-gen-gen_nodes.adb + (N_Generic_Package_Declaration): Remove Activation_Chain_Entity. + * sinfo.ads: Comment improvements. Add missing doc. + Remove obsolete comment about Activation_Chain_Entity. + * einfo.ads: Comment improvements. Add missing doc. + * einfo-utils.adb (Base_Type): Add Assert (disabled for now). + (Next_Index): Minor cleanup. + * aspects.ads: Minor comment fix. + * exp_ch6.adb: Likewise. + * sem_ch3.adb: Likewise. + +2024-06-21 Piotr Trojanek <trojanek@adacore.com> + + * sem_ch3.adb (Add_Interface_Tag_Components): Simplify with No. + +2024-06-21 Steve Baird <baird@adacore.com> + + * sem_ch4.adb (Is_Effectively_Visible_Operator): A new function. + (Check_Arithmetic_Pair): In paths where Add_One_Interp was + previously called unconditionally, instead call only if + Is_Effectively_Visible_Operator returns True. + (Check_Boolean_Pair): Likewise. + (Find_Unary_Types): Likewise. + +2024-06-21 Eric Botcazou <ebotcazou@adacore.com> + + * accessibility.adb (Accessibility_Level): Apply the processing to + Expr when its Original_Node is an unanalyzed identifier. + +2024-06-21 Piotr Trojanek <trojanek@adacore.com> + + * sem_attr.adb (In_Aspect_Specification): Use the standard + condition that works correctly with declare expressions. + * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Replace + ordinary analysis with preanalysis of spec expressions. + +2024-06-21 Justin Squirek <squirek@adacore.com> + + * csets.ads (Identifier_Char): New function - replacing table. + * csets.adb (Identifier_Char): Rename and move table for static values. + (Initialize): Remove dynamic calculations. + (Identifier_Char): New function to calculate dynamic values. + * opt.adb (Set_Config_Switches): Remove setting of Identifier_Char. + 2024-06-20 Steve Baird <baird@adacore.com> * sem_attr.adb (Resolve_Attribute.Proper_Op): When resolving the |