https://gcc.gnu.org/g:afb656b09b40008e1ca0bcfc2db3780f30442636
commit r15-6553-gafb656b09b40008e1ca0bcfc2db3780f30442636
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Sat Jan 4 00:17:49 2025 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 21 +++
gcc/DATESTAMP | 2 +-
gcc/ada/ChangeLog | 401 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/c/ChangeLog | 13 ++
gcc/cp/ChangeLog | 10 ++
gcc/fortran/ChangeLog | 15 ++
gcc/testsuite/ChangeLog | 28 ++++
libgomp/ChangeLog | 8 +
8 files changed, 497 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f2100f2c9b8f..0fc5e3027e79 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,24 @@
+2025-01-03 Richard Sandiford <richard.sandif...@arm.com>
+
+ PR rtl-optimization/117938
+ * rtlanal.cc (rtx_properties::try_to_add_dest): Treat writes
+ to the stack pointer as also writing to memory.
+
+2025-01-03 Jakub Jelinek <ja...@redhat.com>
+
+ PR c++/118275
+ * varasm.cc (array_size_for_constructor): Use build_int_cst
+ with TREE_TYPE (index) as first argument, instead of bitsize_int.
+
+2025-01-03 Jakub Jelinek <ja...@redhat.com>
+
+ * tree-ssa-forwprop.cc (check_ctz_array): Use tree_fits_shwi_p instead
+ of just TREE_CODE tests for INTEGER_CST.
+
+2025-01-03 Jose E. Marchesi <jose.march...@oracle.com>
+
+ * config.gcc: install a wrapping stdint.h in bpf targets.
+
2025-01-02 Paul-Antoine Arras <par...@baylibre.com>
* gimplify.cc (gimplify_call_expr): Fix handling of need_device_ptr for
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 39a15df0cdc1..d01f0cb4cc9f 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20250103
+20250104
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index a405a9966bd7..3d8eb37ba94e 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,404 @@
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_ch3.adb, exp_ch4.adb, exp_disp.adb, inline.adb: Remove explicit
+ actual parameter Null_Exclusion_Present equal False.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_ch3.adb, exp_disp.adb: Remove explicit actual parameter
+ Constant_Present equal False; tune comments.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_ch3.adb, exp_ch9.adb, exp_dist.adb, exp_imgv.adb, exp_util.adb,
+ sem_dist.adb: Remove explicit actual parameter Aliased_Present equal
+ False; tune comments and whitespace.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_ch5.adb (Check_Call): Reuse Get_Called_Entity.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_attr.adb (Check_Array_Type): Remove extra call.
+ * sem_util.adb (Static_Boolean): Likewise.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_aggr.adb (Others_Check): Reuse List_Length; tune whitespace.
+ * exp_ch3.adb (Constrain_Array): Remove counting of constraints.
+ * exp_disp.adb (Make_DT): Use Elist utility routines; tune whitespace.
+ * sem_ch12.adb (Formal_Dimensions): Reuse List_Length.
+ (Valid_Default_Attribute): Reuse Number_Formals.
+ * sem_prag.adb (Process_Convention): Likewise.
+ * sem_util.adb (Normalize_Actuals): Likewise.
+ (Check_Function_Writable_Actuals): Reuse List_Length.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * contracts.adb (Create_Generic_Contract): Remove calls to Present.
+ * sem_util.adb (Normalize_Actuals): Likewise.
+
+2025-01-03 Bob Duff <d...@adacore.com>
+
+ * sem_util.adb (Append_Entity_Name): Do not skip the
+ simple name for a compilation unit (which includes
+ the case of specless subprogram bodies).
+
+2025-01-03 Tucker Taft <t...@adacore.com>
+
+ * pprint.adb (Expression_Image): Adjust and improve comments
+ to match style recommendations, and change name of subtype
+ from Not_Associative to Non_Associative, in response to
+ code review.
+
+2025-01-03 Tucker Taft <t...@adacore.com>
+
+ * pprint.adb (Expression_Image): In local function Expr_Name
+ add a No_Parens flag and define a subtype Not_Associative
+ to represent the short-circuit operations and And/Or/Xor.
+ Insert parentheses to separate the subexpressions when
+ different "Not_Associative" operations occur in a
+ sequence.
+
+2025-01-03 Eric Botcazou <ebotca...@adacore.com>
+
+ * einfo.ads (BIP_Initialization_Call): Adjust description.
+ * exp_ch4.adb (Expand_N_Case_Expression): Adjust commentary.
+ (Expand_N_If_Expression): Likewise.
+ * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
+ Set BIP_Initialization_Call unconditionally in the definite case.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * uintp.adb (N_Digits): Refine return subtype, since this routine
+ always returns a positive number of digits.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * checks.adb (Generate_Index_Checks): Reuse existing utility routine.
+ * sem_ch4.adb (Analyze_Indexed_Component_Form): Likewise.
+ * sem_prag.adb (Analyze_Pragma): Likewise.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_dist.adb (Assign_Subprogram_Identifier,
+ Reserve_NamingContext_Methods): Simplify.
+ * osint.adb (Append_Suffix_To_File_Name, Find_File, Get_Directory,
+ Object_File_Name, Strip_Directory): Likewise.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_res.adb (Resolve_Alocator): Move unrelated code out of a declare
+ block.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * exp_ch3.adb (Search_Access_Discriminant, Search_Current_Instance,
+ Search_Internal_Call): Use traversal function instead of traversal
+ procedure and remove associated global variables.
+ * exp_util.adb (Search_Calls): Likewise.
+ * sem_prag.adb (Contains_Loop_Entry): Likewise.
+ * sem_util.adb (Mentions_Post_State): Likewise.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_attr.adb (Eval_Attribute): Fix comment for attribute Image.
+ * tbuild.adb (Make_SC): Remove extra whitespace.
+
+2025-01-03 Alexandre Oliva <ol...@adacore.com>
+
+ * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-cpp, g-cppstd,
+ and g-cstyin.
+ * doc/gnat_rm/interfacing_to_other_languages.rst (Interfacing to C++):
+ Document class-wide matching and new interfaces.
+ * exp_prag.adb (Expand_Pragma_Import_Or_Interface): Add class-wide
+ exception matching support with 'B' as language identifier.
+ * libgnat/a-exexpr.adb (Setup_Current_Excep): Add Id formal.
+ (Set_Foreign_Occurrence): Likewise.
+ (Propagate_GCC_Exception): Adjust.
+ (Set_Exception_Parameter): Likewise.
+ (Unhandled_Except_Handler): Likewise.
+ * libgnat/g-cpp.ads: New.
+ * libgnat/g-cppexc.adb (Raise_Cpp_Exception): Match 'B' lang id.
+ (Get_Object_Address): New.
+ (Get_Object): Rewrite.
+ (Get_Access_To_Object): New.
+ (Get_Access_To_Tagged_Object): New.
+ (Get_Type_Info): New.
+ (Convert_Caught_Object): New.
+ * libgnat/g-cppexc.ads (Get_Object_Address): New.
+ (Get_Object): Note the Cpp Convention requirement.
+ (Get_Access_To_Object): New.
+ (Get_Access_To_Tagged_Object): New.
+ (Get_Type_Info): New.
+ * libgnat/g-cppstd.adb: New.
+ * libgnat/g-cppstd.ads: New.
+ * libgnat/g-csclex.ads: New, unused.
+ * libgnat/g-cstyin.adb: New.
+ * libgnat/g-cstyin.ads: New.
+ * libgnat/g-excact.adb (Exception_Language): New.
+ (Is_Foreign_Exception): Rewrite.
+ * libgnat/g-excact.ads (Exception_Languages): New.
+ (Exception_Language): New.
+ * libgnat/s-stalib.ads (Lang): Document 'B'.
+ * raise-gcc.c (__gnat_setup_current_excep): Add Exception_Id formal.
+ (CXX_DEPENDENT_EXCEPTION_CLASS): New.
+ (cxx_type_info): New.
+ (__cxa_exception): Rename exceptionType to encompass PrimaryException.
+ (_GNAT_Exception): Drop wrapper.
+ (EID_For): Adjust.
+ (exception_class_eq): Likewise.
+ (__gnat_exception_language_is_cplusplus): New.
+ (__gnat_exception_language_is_ada): New.
+ (__gnat_convert_caught_object): Declare.
+ (__gnat_get_cxx_dependent_exception): New.
+ (__gnat_maybe_get_cxx_dependent_exception): New.
+ (__gnat_get_cxx_exception_type_info): New.
+ (__gnat_obtain_caught_object): New.
+ (is_handled_by): Adjust. [!CERT] Add eid formal, handle dependent
+ exceptions and base-type matches.
+ (get_action_description_for) [!CERT]: Add eid formal. Adjust.
+ (personality_body): Adjust.
+ * gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS) [!STAGE1]:
+ Add new g-cpp, g-cppstd, g-cstyin + preexisting g-cppexc
+ and i-cstrin.
+ * gnat-style.texi: Regenerate.
+ * gnat_rm.texi: Regenerate.
+
+2025-01-03 Gary Dismukes <dismu...@adacore.com>
+
+ * diagnostics-constructors.adb
(Make_Default_Iterator_Not_Primitive_Error):
+ Revise message to match message change made in sem_ch13.adb.
+ * freeze.adb (Freeze_Record_Type): Output appropriate aspect name in
+ error message, using Get_Name_String.
+ (Freeze_Entity): For derived types, call Analyze_Aspects_At_Freeze_Point
+ on the parent type, and call Inherit_Nonoverridable_Aspects on the type
+ (for both parent type and any progenitor types). Add with_clause for
+ System.Case_Util.
+ * gen_il-fields.ads: Add Aspect_Subprograms to type Opt_Field_Enum.
+ * gen_il-gen-gen_nodes.adb: Add field Aspect_Subprograms to
+ N_Aspect_Specification nodes.
+ * sem_ch4.adb (Try_Container_Indexing): Remove Find_Indexing_Operations
+ and the code calling it. Add new function Indexing_Interpretations for
+ retrieving the eligible indexing functions from the appropriate aspect's
+ Aspect_Subprograms list and call that instead of Find_Value_Of_Aspect.
+ * sem_ch7.adb (Analyze_Package_Specification): In loop over entities,
+ call Analyze_Aspects_At_Freeze_Point for types that have delayed
+ aspects.
+ * sem_ch13.ads (Analyze_Aspects_At_Freeze_Point): Add
Nonoverridable_Only
+ formal to restrict processing to nonoverridable aspects.
+ (Check_Function_For_Indexing_Aspect): New exported procedure renamed
+ from Check_One_Function and moved to library level.
+ * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Test new formal
+ Nonoverridable_Only formal to skip processing of aspects that are not
+ nonoverridable when the formal is True. Skip the processing for
+ Aspect_Full_Access_Only when Nonoverridable_Only is True. Call
+ Check_Indexing_Functions in the case of indexing aspects (procedure
+ moved from Analyze_Attribute_Definition_Clause to top level).
+ (Analyze_Aspect_Specifications): Locate closest ancestor type with an
+ explicit matching aspect to determine the aspect spec to reference in
+ the error about a nonoverridable aspect not confirming an inherited
+ aspect (skipping intermediate derived parents). Ensures that we retain
+ existing errors flagged on explicit ancestor aspects rather than
+ implicit inherited ones. Change names of variables Parent_Type and
+ Inherited_Aspect to Ancestor_Type and Ancestor_Aspect respectively
+ for clarity.
+ (Analyze_Attribute_Definition_Clause): Move nested subprograms
+ Check_Iterator_Functions and Check_Primitive_Function to top level
+ of package. Move Check_Indexing_Functions (and its nested subprograms)
+ from here to within Analyze_Aspects_At_Freeze_Point (adding some
+ formal parameters and adjusting the code appropriately, and no longer
+ call it from this procedure).
+ (Is_CW_Or_Access_To_CW): Add test for the parent type having the
+ indexing aspect for proper setting of Aspect_Specification_Is_Inherited.
+ Delete "???" comment.
+ (Look_Through_Anon_Access): Remove unneeded tests of Is_Access_Constant
+ and Name_Constant_Indexing, which lead to wrong messages in some cases.
+ (Check_Function_For_Indexing_Aspect): Procedure renamed from
+ Check_One_Function and moved to library level (was nested within
+ Check_Indexing_Functions), plus added formals (including Valid, to
+ check result). Move scope test to beginning, to immediately exclude
+ subprograms not declared immediately within the same scope as the type.
+ Improve several error messages. Add error checking for Constant_Indexing
+ functions. Append the function entity to the Aspect_Subprograms list of
+ the aspect specification. Move code for checking for nonconfirming
+ index aspects and for checking for illegal indexing aspects on full
+ views to Check_Indexing_Functions.
+ (Check_Indexing_Functions): Move procedure Illegal_Indexing from
+ here to within Check_Function_For_Indexing_Aspect. Add a comment
+ to the loop over interpretations about the checking being done as
+ legality rules rather than resolution rules, plus a note referencing
+ AI22-0084. Check for nonconfirming indexing aspects and illegal
+ indexing aspects on full views here rather than in Check_One_Function
+ (now named Check_Function_For_Indexing_Aspect). Remove function
+ Check_One_Function (moved to library level and renamed), and call
+ Check_Function_For_Indexing_Aspect instead.
+ (Check_Inherited_Indexing): Improve spec comment. Remove nested function
+ Same_Chars, and replace call Same_Chars with call to Sem_Util.Same_Name.
+ Replace call to Illegal_Indexing with call to Error_Msg_NE.
+ (Check_One_Function): Unnested from Check_Indexing_Functions, rename
+ to Check_Function_For_Indexing_Aspect, move body to library level,
+ and move declaration to Sem_Ch13 spec.
+ (Analyze_Attribute_Definition_Clause, case Attribute_Default_Iterator):
+ Improve error message related to tagged-type requirement. Suppress call
+ to Check_Iterator_Functions for attribute definition clauses associated
+ with inherited aspects. Remove error checking that is redundant with
+ checking done in Check_Iterator_Functions.
+ (Check_Aspect_At_Freeze_Point, case Attribute_Default_Iterator): Call
+ Check_Iterator_Functions (only if the aspect is not Comes_From_Source).
+ (Check_Iterator_Functions): Procedure unnested from
+ Analyze_Attribute_Definition_Clause. Add formals Typ and Expr.
+ Error messages corrected to say "aspect Default_Iterator" instead of
+ "aspect Iterator".
+ (Valid_Default_Iterator): Improve error message to say "must be
+ a local primitive or class-wide function" instead of "must be
+ a primitive function".
+ (Check_Primitive_Function): Unnested from
Analyze_Attribute_Definition_Clause.
+ Add formal Ent.
+ (Rep_Item_Too_Late): Return False when an attribute_definition_clause
+ is not Comes_From_Source, since it was generated by the compiler (such
+ as for an inherited aspect).
+ (Resolve_Aspect_Aggregate): Capture implementation base type.
+ (Valid_Empty): Use implementation base types for result type comparison.
+ (Valid_Add_Named): Use impl base types for comparison of formal's type.
+ (Valid_Add_Unnamed): Use impl base types for comparison of formal's
type.
+ (Valid_New_Indexed): Use impl base types for result type comparison.
+ (Validate_Literal_Aspect): Return immediately when aspect does not have
+ Comes_From_Source True (no point in validating inherited aspects).
+ * sem_res.adb (Has_Applicable_User_Defined_Literal): Remove Base_Type
+ comparison and always call Corresponding_Op_Of_Derived_Type for derived
+ types. Add "???" comment about issue with wrapper functions (and
+ indicate that it would be nice to eliminate the call to
+ Corresponding_Primitive_Op).
+ * sem_util.ads (Inherit_Nonoverridable_Aspects): New procedure.
+ (Corresponding_Op_Of_Derived_Type): Update spec comment to indicate
+ return of Ancestor_Op and name changed from Corresponding_Primitive_Op.
+ * sem_util.adb (Check_Inherited_Nonoverridable_Aspects): Fix name in
+ header comment.
+ (Corresponding_Op_Of_Derived_Type): Move declaration of Typ down with
+ other local variables. Remove Assert that doesn't apply in some cases.
+ Simply return Ancestor_Op when it isn't a primitive (it can be a
+ class-wide op). Function name changed from Corresponding_Primitive_Op.
+ (Find_Untagged_Type_Of): Add test of Is_Type (E) as a guard for checking
+ Direct_Primitive_Operations. Remove Assert (False), and return Empty
+ when the primitive is not found.
+ (Profile_Matches_Ancestor): Change comparisons to use implementation
+ base types of the operations' formal and result types. Add tests for
+ interface ancestors. Revise "???" comment.
+ (Is_Confirming): Simplify name-matching test to use the names associated
+ with the aspects rather than going to the N_Attribute_Definition_Clause
+ nodes (may facilitate elimination of those clauses at some point).
+ (Inherit_Nonoverridable_Aspects): New procedure to traverse the
+ aspects of a derived type's parent type and create inherited versions
+ of the parent type's nonoverridable aspects, identifying the appropriate
+ subprograms for each such inherited aspect.
+ (Inherit_Nonoverridable_Aspect): New procedure nested in
+ Inherit_Nonoverridable_Aspects to inherit individual nonoverridable
+ aspects. Identifies the corresponding subprogram(s) associated with
+ an inherited nonoverridable aspect. In the case of indexing aspects,
+ new eligible indexing functions of the type are also identified here,
+ and the entities of all of the identified subprograms are appended to
+ the aspect's Aspect_Subprograms Elist. Add a "???" comment about this.
+ * sinfo.ads: Add documentation for the new Aspect_Subprograms field.
+
+2025-01-03 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch4.adb (Insert_Conditional_Object_Declaration): Create the
+ Master_Node even if the declaration is turned into a renaming.
+
+2025-01-03 Piotr Trojanek <troja...@adacore.com>
+
+ * sem_ch3.adb (Array_Type_Declaration): Don't copy parent for an itype
+ created by an array component declaration.
+
+2025-01-03 Douglas B Rupp <r...@adacore.com>
+
+ * socket.c [__vxworks]: Change vxw_h_addr type to long from
+ int, and cast the conversion of char* to vxw_h_addr to avoid
+ warning/error.
+
+2025-01-03 Tonu Naks <n...@adacore.com>
+
+ * adaint.c: change default behaviour of __gnat_locate_exec_on_path
+ * adaint.h: change prototype of __gnat_locate_exec_on_path
+ * libgnat/s-os_lib.adb: pass optional argument in Locate_Exec_On_Path
+ * libgnat/s-os_lib.ads: change spec of Locate_Exec_On_Path
+ * libgnat/s-trasym__dwarf.adb: update import of
__gnat_locate_exec_on_path
+
+2025-01-03 Eric Botcazou <ebotca...@adacore.com>
+
+ * exp_ch4.adb (Expand_Allocator_Expression): Put back the call to
+ Remove_Side_Effects in the case of a function call, a class-wide
+ designated type and a regular storage pool.
+
+2025-01-03 Bob Duff <d...@adacore.com>
+
+ * sem_ch6.adb (Analyze_Expression_Function): Mark the implicit
+ spec for an expression function as Comes_From_Source.
+ (Analyze_Null_Procedure): Minor cleanup.
+ * sem_warn.adb (Source_E1): New function to compute whether
+ to give warnings. In particular, return True for [in] out
+ parameters of expression functions.
+
+2025-01-03 Steve Baird <ba...@adacore.com>
+
+ * exp_aggr.adb (Check_Bounds): Remove calls that were setting the
+ Analyzed flag to False for two aggregate bound expressions.
+
+2025-01-03 Eric Botcazou <ebotca...@adacore.com>
+
+ * einfo.ads (Is_Independent): Document usage on Master_Node objects.
+ * exp_aggr.adb (In_Place_Assign_OK): Remove Parent_Kind variable.
+ (Convert_To_Assignments): Call Unconditional_Parent and remove the
+ restriction on the known size for the in-place expansion of the
+ aggregate in the context of an object declaration.
+ (Expand_Array_Aggregate): Remove Parent_Kind variable and call
+ Unconditional_Parent and Delay_Conditional_Expressions_Between
+ * exp_ch3.adb: Remove clauses for Exp_Dbug.
+ (Expand_N_Object_Declaration): Factor out the code rewriting the
+ declaration as a renaming in Rewrite_Object_Declaration_As_Renaming
+ and call the procedure.
+ * exp_ch4.adb (Insert_Conditional_Object_Declaration): Declare.
+ (Expand_N_Case_Expression): Delay expanding the expression if it is
+ in the context of an optimizable object declaration. If the parent
+ node is this object declaration, then replace it with a renaming of
+ the dereference of an access value designating an object initialized
+ with the dependent expression chosen by the condition.
+ (Expand_N_If_Expression): Likewise.
+ (Insert_Conditional_Object_Declaration): New procedure.
+ * exp_ch6.adb (Expand_Ctrl_Function_Call): Test the unconditional
+ parent in the case of an object declaration too.
+ * exp_ch7.adb (Build_Finalizer.Process_Declarations): Pass Strict to
+ Processing_Actions from the Is_Independent flag on a Master_Node.
+ * exp_util.ads (Rewrite_Object_Declaration_As_Renaming): Declare.
+ * exp_util.adb: Add clauses for Exp_Dbug.
+ (Rewrite_Object_Declaration_As_Renaming): New procedure extracted
+ from Expand_N_Object_Declaration.
+ * sem_ch3.adb (Analyze_Object_Declaration): Also leave the analysis
+ if the declaration has been replaced with a renaming in the case of
+ an initialization expression that is a conditional expression.
+
+2025-01-03 Eric Botcazou <ebotca...@adacore.com>
+
+ * checks.adb (Apply_Predicate_Check): Preserve Comes_From_Source.
+ * exp_ch4.adb (Expand_Allocator_Expression): Factor out common code
+ for the various cases. Also delay applying the 2nd predicate check.
+ In the default case, defer to Make_Build_In_Place_Call_In_Allocator
+ entirely in the build-in-place case.
+ * sem_ch4.adb (Analyze_Allocator): Do not give the warning or error
+ for a default-initialized allocator with No_Initialization.
+
+2025-01-03 Ronan Desplanques <desplanq...@adacore.com>
+
+ * lib-writ.adb (Write_ALI): Remove useless space.
+
+2025-01-03 Ronan Desplanques <desplanq...@adacore.com>
+
+ * lib-writ.adb (Write_ALI): Remove condition for writing P line
+ parameters.
+ * lib-writ.ads: Fix typos. Clarify comment.
+
2025-01-02 Jakub Jelinek <ja...@redhat.com>
* gnat_ugn.texi: Bump @copying's copyright year.
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 500c5c8ec6f8..0698e10256d1 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,16 @@
+2025-01-03 Sandra Loosemore <sloosem...@baylibre.com>
+
+ * c-parser.cc (struct c_parser): Change in_omp_attribute_pragma
+ field to be of type struct omp_attribute_pragma_state.
+ (struct omp_attribute_pragma_state): New.
+ (c_parser_skip_until_found): Use the new way to restore state
+ on EOF.
+ (c_parser_skip_to_pragma_eol): Likewise.
+ (c_parser_handle_statement_omp_attributes): Create an
+ omp_attribute_pragma_state to hold the restore state. Do not
+ store state in tok.flags.
+ (omp_maybe_parse_omp_decl): Likewise.
+
2025-01-02 David Malcolm <dmalc...@redhat.com>
PR c/117629
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 582de09afd5c..82d4739474fb 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,13 @@
+2025-01-03 Tobias Burnus <tbur...@baylibre.com>
+
+ * parser.cc (cp_parser_omp_var_list_no_open,
+ cp_parser_omp_var_list): For kind=0 (= OMP_CLAUSE_ERROR),
+ store also the expression location in the tree list.
+ (cp_parser_oacc_data_clause_deviceptr,
+ cp_finish_omp_declare_variant): Use that location instead or
+ input_location/the before-parsing location.
+ * semantics.cc (finish_omp_threadprivate): Likewise.
+
2025-01-02 Paul-Antoine Arras <par...@baylibre.com>
* parser.cc (cp_parser_omp_dispatch): Handle INDIRECT_REF.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 4befc14e9079..f7baf8a90b44 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,18 @@
+2025-01-03 Thomas Koenig <tkoe...@gcc.gnu.org>
+
+ * gfortran.texi: New subsection "Generating C prototypes from
+ Fortran".
+
+2025-01-03 Harald Anlauf <anl...@gmx.de>
+
+ PR fortran/106692
+ * trans-expr.cc (gfc_conv_expr_op): Inhibit excessive optimization
+ of Cray pointers by treating them as volatile in comparisons.
+
+2025-01-03 Sandra Loosemore <sloosem...@baylibre.com>
+
+ * intrinsic.texi (ATAN): Add missing verb.
+
2025-01-02 Tobias Burnus <tbur...@baylibre.com>
* openmp.cc (OMP_DISPATCH_CLAUSES): Add OMP_CLAUSE_HAS_DEVICE_ADDR.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ee1012b3abfc..9a688541d743 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,31 @@
+2025-01-03 Richard Sandiford <richard.sandif...@arm.com>
+
+ PR rtl-optimization/117938
+ * gcc.dg/torture/pr117938.c: New test.
+
+2025-01-03 Jakub Jelinek <ja...@redhat.com>
+
+ PR c++/118275
+ * g++.dg/cpp/embed-18.C: New test.
+ * g++.dg/ext/flexary41.C: New test.
+
+2025-01-03 Sam James <s...@gentoo.org>
+ Andrew Pinski <pins...@gmail.com>
+
+ * gcc.dg/torture/dse-trivial-auto-var-init.c: New test.
+
+2025-01-03 Harald Anlauf <anl...@gmx.de>
+
+ PR fortran/106692
+ * gfortran.dg/cray_pointers_13.f90: New test.
+
+2025-01-03 Jose E. Marchesi <jose.march...@oracle.com>
+
+ * gcc.target/bpf/diag-funargs-2.c: Use -ffreestanding.
+ * gcc.target/bpf/helper-skb-ancestor-cgroup-id.c: Likewise.
+ * gcc.target/bpf/helper-bind.c: Likewise.
+ * gcc.target/bpf/diag-funargs-3.c: Likewise.
+
2025-01-02 Tobias Burnus <tbur...@baylibre.com>
* gfortran.dg/gomp/adjust-args-10.f90: New test.
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index f46b8d521a32..14ffe419d70f 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,11 @@
+2025-01-03 Jakub Jelinek <ja...@redhat.com>
+
+ * configure: Regenerate.
+
+2025-01-03 Paul-Antoine Arras <par...@baylibre.com>
+
+ * libgomp.texi:
+
2025-01-02 Paul-Antoine Arras <par...@baylibre.com>
* testsuite/libgomp.fortran/declare-variant-2-aux.f90: New test.
