Daily bump.

gcc/ChangeLog

@@ -1,3 +1,145 @@
+2024-12-12  John David Anglin  <[email protected]>
+
+	* config/pa/pa.cc (pa_emit_hpdiv_const): Clobber r1, r25,
+	r25 and return register.
+	* config/pa/pa.md (divsi3): Revise clobbers and operands.
+	Remove second clobber from div:SI insns.
+	(udivsi3, modsi3, umodsi3): Likewise.
+
+2024-12-12  Sandra Loosemore  <[email protected]>
+
+	* attr-urls.def: Regenerate.
+
+2024-12-12  Sandra Loosemore  <[email protected]>
+	    Peter Eisentraut  <[email protected]>
+
+	PR c/115532
+	* common.opt.urls: Regenerated.
+	* doc/invoke.texi (Option Summary): Don't try to list all the
+	-Wsuggest-attribute= variants inline here.
+	(Warning Options): Likewise.  Add @opindex for
+	Wsuggest-attribute=returns_nonnull and its no- form.  Remove
+	@itemx for no- form.
+
+2024-12-12  Jakub Jelinek  <[email protected]>
+
+	PR sanitizer/115127
+	* match.pd (clz (X) == C, ctz (X) == C, ctz (X) >= C): Don't
+	optimize if -fsanitize=builtin and not yet in SSA form.
+
+2024-12-12  Tobias Burnus  <[email protected]>
+
+	* gimplify.cc (gimplify_call_expr): When handling OpenMP's dispatch,
+	add diagnostic when there is a ptr vs. addr mismatch between
+	need_device_{addr,ptr} and {is,has}_device_{ptr,addr}, respectively.
+
+2024-12-12  Georg-Johann Lay  <[email protected]>
+
+	PR target/118000
+	* config/avr/avr.cc (avr_init_expanders) <sreg_rtx>
+	<rampd_rtx, rampx_rtx, rampy_rtx, rampz_rtx>: Set MEM_VOLATILE_P.
+	(avr_out_cpymem) [ELPM && EBI]: Restore RAMPZ to 0 after.
+
+2024-12-12  Alexandre Oliva  <[email protected]>
+
+	* gimple-fold.cc (fold_truth_andor_for_ifcombine): Limit the
+	size of the bitregion in get_best_mode calls by the inner
+	object's type size, if known.
+	(make_bit_field_load): Reuse SSA_NAME if we're attempting to
+	issue an identical load.
+
+2024-12-12  Alexandre Oliva  <[email protected]>
+
+	* fold-const.cc (make_bit_field): Export.
+	(unextend, all_ones_mask_p): Drop.
+	(decode_field_reference, fold_truth_andor_1): Move
+	field compare merging logic...
+	* gimple-fold.cc: (fold_truth_andor_for_ifcombine) ... here,
+	with -Wtautological-compare warning guards, and...
+	(decode_field_reference): ... here.  Rework for gimple.
+	(gimple_convert_def_p, gimple_binop_def_p): New.
+	(compute_split_boundary_from_align): New.
+	(make_bit_field_load, build_split_load): New.
+	(reuse_split_load): New.
+	* fold-const.h: (make_bit_field_ref): Declare
+	(fold_truth_andor_for_ifcombine): Declare.
+	* tree-ssa-ifcombine.cc (ifcombine_ifandif): Try
+	fold_truth_andor_for_ifcombine.
+	* common.opt (Wtautological-compare): Move here.
+
+2024-12-12  Georg-Johann Lay  <[email protected]>
+
+	* config/avr/avr.cc (avr_ctz): New constexpr function.
+	(section_common::flags): Assert minimal bit width.
+
+2024-12-12  Georg-Johann Lay  <[email protected]>
+
+	PR target/118001
+	* doc/extend.texi (AVR Named Address Spaces): Document __flashx.
+	* config/avr/avr.h (ADDR_SPACE_FLASHX): New enum value.
+	* config/avr/avr-protos.h (avr_out_fload, avr_mem_flashx_p)
+	(avr_fload_libgcc_p, avr_load_libgcc_mem_p)
+	(avr_load_libgcc_insn_p): New.
+	* config/avr/avr.cc (avr_addrspace): Add ADDR_SPACE_FLASHX.
+	(avr_decl_flashx_p, avr_mem_flashx_p, avr_fload_libgcc_p)
+	(avr_load_libgcc_mem_p, avr_load_libgcc_insn_p, avr_out_fload):
+	New functions.
+	(avr_adjust_insn_length) [ADJUST_LEN_FLOAD]: Handle case.
+	(avr_progmem_p) [avr_decl_flashx_p]: return 2.
+	(avr_addr_space_legitimate_address_p) [ADDR_SPACE_FLASHX]:
+	Has same behavior like ADDR_SPACE_MEMX.
+	(avr_addr_space_convert): Use pointer sizes rather then ASes.
+	(avr_addr_space_contains): New function.
+	(avr_convert_to_type): Use it.
+	(avr_emit_cpymemhi): Handle ADDR_SPACE_FLASHX.
+	* config/avr/avr.md (adjust_len) <fload>: New attr value.
+	(gen_load<mode>_libgcc): Renamed from load<mode>_libgcc.
+	(xload8<mode>_A): Iterate over MOVMODE rather than over ALL1.
+	(fxmov<mode>_A): New from xloadv<mode>_A.
+	(xmov<mode>_8): New from xload<mode>_A.
+	(fmov<mode>): New insns.
+	(fxload<mode>_A): New from xload<mode>_A.
+	(fxload_<mode>_libgcc): New from xload_<mode>_libgcc.
+	(*fxload_<mode>_libgcc): New from *xload_<mode>_libgcc.
+	(mov<mode>) [avr_mem_flashx_p]: Hande ADDR_SPACE_FLASHX.
+	(cpymemx_<mode>): Make sure the address space is not lost
+	when splitting.
+	(*cpymemx_<mode>) [ADDR_SPACE_FLASHX]: Use __movmemf_<mode> for asm.
+	(*ashlqi.1.zextpsi_split): New combine pattern.
+	* config/avr/predicates.md (nox_general_operand): Don't match
+	when avr_mem_flashx_p is true.
+	* config/avr/avr-passes.cc (AVR_LdSt_Props):
+	ADDR_SPACE_FLASHX has no post_inc.
+
+2024-12-12  Martin Uecker  <[email protected]>
+
+	PR c/113688
+	PR c/114014
+	PR c/114713
+	PR c/117724
+	* tree.cc (gimple_canonical_types_compatible_p): Add exception.
+
+2024-12-12  Martin Uecker  <[email protected]>
+
+	* tree.cc (gimple_canonical_types_compatible_p): Add exception.
+	(verify_type): Add exception.
+
+2024-12-12  Sam James  <[email protected]>
+
+	* config/i386/i386.opt.urls: Regenerate.
+
+2024-12-12  Jakub Jelinek  <[email protected]>
+
+	* gimple-crc-optimization.cc (crc_optimization::optimize_crc_loop):
+	Comment spelling fix, is succeeded -> succeeded.
+
+2024-12-12  Sandra Loosemore  <[email protected]>
+
+	PR target/117150
+	* doc/invoke.texi (RS/6000 and PowerPC Options): Move description
+	of -mstack-protector-guard-symbol from here...
+	(x86 Options): ...to here.
+
 2024-12-11  Vladimir N. Makarov  <[email protected]>
 
 	PR rtl-optimization/116778

gcc/DATESTAMP

@@ -1 +1 @@
-20241212
+20241213

gcc/ada/ChangeLog

@@ -1,3 +1,222 @@
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	PR ada/117996
+	* libgnat/a-ngrear.adb (Jacobi): Remove default value for
+	Compute_Vectors formal parameter.
+	(Sort_Eigensystem): Add Compute_Vectors formal parameter.  Do not
+	modify the Vectors if Compute_Vectors is False.
+	(Eigensystem): Pass True as Compute_Vectors to Sort_Eigensystem.
+	(Eigenvalues): Pass False as Compute_Vectors to Sort_Eigensystem.
+
+2024-12-12  Piotr Trojanek  <[email protected]>
+
+	* par-ch5.adb (Test_Statement_Required): Fix comment.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* exp_aggr.adb (Convert_Aggr_In_Object_Decl): Clear the component
+	referenced on the right-hand side of the first assignment generated
+	for a bit-packed array, if any.
+	(Expand_Array_Aggregate): Do not exclude aggregates of bit-packed
+	array types in object declarations from in-place expansion.
+	* sem_eval.adb (Eval_Indexed_Component): Do not attempt a constant
+	evaluation for a bit-packed array type.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* sem_ch3.adb (Access_Subprogram_Declaration): Replace assertion with
+	more defensive code.
+
+2024-12-12  Viljar Indus  <[email protected]>
+
+	* errout.adb (Write_JSON_Location): Avoid going through
+	symbolic links when printing the full name.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* libgnat/s-imager.adb (Image_Floating_Point): Tweak display of
+	invalid floating point values.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* sem_ch3.adb (Access_Definition): Remove test for task entry context.
+	* sem_ch6.adb (Process_Formals): Add improved test for task entry
+	context.
+
+2024-12-12  Piotr Trojanek  <[email protected]>
+
+	* sem_ch5.adb (Analyze_Loop_Parameter_Specification): Move call
+	to Comes_From_Source to the outer if-statement.
+
+2024-12-12  Piotr Trojanek  <[email protected]>
+
+	* sem_ch5.adb (Analyze_Loop_Parameter_Specification): Only set
+	flag Is_Null_Loop when loop parameter specification comes from
+	a loop and not from a quantified expression.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* exp_aggr.adb (Expand_Array_Aggregate): Do not exclude aggregates
+	of bit-packed array types in allocators from in-place expansion.
+
+2024-12-12  Sebastian Poeplau  <[email protected]>
+
+	* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Move
+	the LLVM chapter one level up.
+	* gnat_ugn.texi: Regenerate.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* sem_eval.ads (Is_OK_Static_Expression_Of_Type): New function.
+	* sem_eval.adb (Is_OK_Static_Expression_Of_Type): Likewise.
+	* sem_ch13.adb (Check_Expr_Is_OK_Static_Expression): Use new function.
+	* sem_prag.adb (Check_Expr_Is_OK_Static_Expression): Likewise.
+	* sem_ch3.adb (Apply_External_Initialization): Accept static strings
+	for the parameter.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* libgnat/a-tifiio.adb: Fix comment.
+	* libgnat/a-tifiio__128.adb: Likewise.
+	* libgnat/s-imaged.ads (Image_Decimal): Likewise.
+	* libgnat/s-imagef.ads (Image_Fixed): Likewise.
+	* libgnat/s-imager.ads (Image_Fixed_Point): Likewise.
+	* libgnat/s-imde32.ads (Image_Decimal32): Likewise.
+	* libgnat/s-imfi64.ads (Image_Fixed64): Likewise.
+	* libgnat/s-imgcha.adb (Image_Character): Likewise.
+	* libgnat/s-valuer.adb (Scan_Raw_Real): Likewise.
+	* sem_attr.adb (Eval_Attribute): Likewise.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* sem_attr.adb (Eval_Attribute): Treat the various size attributes
+	like Component_Size for nonstatic array types.
+
+2024-12-12  Javier Miranda  <[email protected]>
+
+	* sem_res.adb (Is_Ambiguous_Operand): Add missing decoration of
+	the operand when it is labeled overloaded but has just one
+	interpretation.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Add Target formal
+	parameter and check that it is not a bit-aligned component or slice.
+	Return False in CodePeer mode as well.
+	(Build_Array_Aggr_Code): Remove redundant tests done in conjunction
+	with a call to Aggr_Assignment_OK_For_Backend.
+	(Expand_Array_Aggregate): Likewise.  Add a couple of comments and
+	improve formatting.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* exp_attr.adb (Expand_N_Attribute_Reference): Fix computation of type
+	category.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* aspects.ads (Is_Representation_Aspect): True for External_Name.
+	(Aspect_Delay): Use Rep_Aspect for External_Name, Link_Name and
+	Linker_Section.
+	* einfo.ads (Initialization_Statements): Document extended usage.
+	* exp_util.adb (Needs_Initialization_Statements): Return True for
+	all delayed aspects.
+	* freeze.adb (Check_Address_Clause): Do not move the initialization
+	expression here...
+	(Freeze_Object_Declaration): ...but here instead, as well as for all
+	delayed aspects.  Remove test for pragma Linker_Section.
+	* sem_ch13.adb (Analyze_One_Aspect): Do not delay in the Rep_Aspect
+	case if the expression is a string literal.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* libgnat/s-valuti.ads (Scan_Sign): Fix documentation comment.
+
+2024-12-12  Bob Duff  <[email protected]>
+
+	* exp_util.adb (Build_Task_Image_Decls):
+	Deal properly with the case of an expanded name.
+	Minor cleanup: use a case statement instead of if/elsif chain.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* exp_aggr.adb (Traverse_Proc_For_Aggregate): New generic procedure.
+	(Replace_Discriminants): Instantiate it instead of Traverse_Proc.
+	(Replace_Self_Reference): Likewise.
+	(Convert_To_Assignments): Remove limitation for nested aggregates
+	that contain self-references.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* exp_ch4.adb (Expand_N_Case_Expression): Remove obsolete comment
+	about C code generation.  Do not create a useless target type if
+	the parent statement is rewritten instead of the expression.  Use
+	a nonnull accesss type for the expansion done for composite types.
+	(Expand_N_If_Expression): Simplify the expansion when the condition
+	is known at compile time.  Apply the expansion done for by-reference
+	types to indefinite types and remove the obsolete special case for
+	unconstrained array types  Use a nonnull access type in this case.
+	Rename New_If local variable to If_Stmt for the sake of consistency.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* exp_ch7.adb (Make_Address_For_Finalize): Look at the underlying
+	subtype to detect the unconstrained array type case.
+	* sprint.adb (Write_Itype) <E_Private_Subtype>: New case.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* doc/gnat_rm/gnat_language_extensions.rst: Update
+	External_Initialization section.
+	* gnat_rm.texi: Regenerate.
+	* gnat_ugn.texi: Regenerate.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* fname.adb (Is_Predefined_File_Name): Tweak test.
+
+2024-12-12  Ronan Desplanques  <[email protected]>
+
+	* sem_ch3.adb (Apply_External_Initialization): Restrict File lookup.
+
+2024-12-12  Eric Botcazou  <[email protected]>
+
+	* einfo.ads (Initialization_Statements): Document usage precisely.
+	* exp_aggr.adb (Convert_Aggr_In_Object_Decl): Do not create a
+	compound statement in most cases, do it only if necessary.
+	* exp_ch3.adb (Expand_N_Object_Declaration): Remove a couple of
+	useless statements.
+	* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
+	Use the Initialization_Statements mechanism if necessary.
+	* exp_ch7.adb: Remove clauses for Aspects package.
+	(Insert_Actions_In_Scope_Around): Use the support code of Exp_Util
+	for the Initialization_Statements mechanism.
+	* exp_prag.adb (Undo_Initialization): Remove obsolete code.
+	* exp_util.ads (Move_To_Initialization_Statements): New procedure.
+	(Needs_Initialization_Statements): New function.
+	* exp_util.adb (Move_To_Initialization_Statements): New procedure.
+	(Needs_Initialization_Statements): New predicate.
+
+2024-12-12  Viljar Indus  <[email protected]>
+
+	* exp_ch6.adb (Expand_Ctrl_Function_Call): Avoid expansion
+	of controlled types when the LHS is a function call.
+
+2024-12-12  Daniel King  <[email protected]>
+
+	* init.c (__gnat_error_handler): Handle SIGPROT
+	(__gnat_install_handler): Install SIGPROT handler
+
+2024-12-12  Daniel King  <[email protected]>
+
+	* libgnat/i-cheri-exceptions.ads: Export CHERI exception IDs.
+
+2024-12-12  Johannes Kliemann  <[email protected]>
+
+	* exp_ch9.adb (Expand_N_Task_Type_Declaration): Take
+	Minimum_Stack_Size into account when preallocating task stacks.
+	* rtsfind.ads (RE_Id, RE_Unit_Table): Add RE_Minimum_Stack_Size.
+
 2024-12-11  Samuel Thibault  <[email protected]>
 
 	* Makefile.rtl: Add x86_64-pc-gnu section.

gcc/c-family/ChangeLog

@@ -1,3 +1,13 @@
+2024-12-12  Sandra Loosemore  <[email protected]>
+	    Peter Eisentraut  <[email protected]>
+
+	PR c/115532
+	* c.opt.urls: Regenerated.
+
+2024-12-12  Alexandre Oliva  <[email protected]>
+
+	* c.opt (Wtautological-compare): Move to ../common.opt.
+
 2024-12-10  Arsen Arsenović  <[email protected]>
 	    Iain Sandoe  <[email protected]>
 

gcc/c/ChangeLog

@@ -1,3 +1,9 @@
+2024-12-12  Tobias Burnus  <[email protected]>
+
+	* c-parser.cc (OMP_DISPATCH_CLAUSE_MASK): Add has_device_addr clause.
+	(c_finish_omp_declare_variant): Add an 'inform' telling the user that
+	'need_device_addr' is invalid for C.
+
 2024-12-09  Heiko Eißfeldt  <[email protected]>
 
 	PR c/114541