mirror of
https://gcc.gnu.org/git/gcc.git
synced 2024-11-23 19:03:59 +08:00
Daily bump.
This commit is contained in:
GCC Administrator
parent
ec0865623f
commit
097bc0aeba
@ -1,3 +1,68 @@
|
||||
2024-06-10 Gerald Pfeifer <gerald@pfeifer.com>
|
||||
|
||||
* doc/gm2.texi (Documentation): Fix typos, grammar, and a link.
|
||||
|
||||
2024-06-10 Andrew MacLeod <amacleod@redhat.com>
|
||||
|
||||
* gimple-array-bounds.cc (array_bounds_checker::array_bounds_checker):
|
||||
Always use current range_query.
|
||||
(pass_data_array_bounds): New.
|
||||
(pass_array_bounds): New.
|
||||
(make_pass_array_bounds): New.
|
||||
* gimple-array-bounds.h (array_bounds_checker): Adjust prototype.
|
||||
* passes.def (pass_array_bounds): New. Add after VRP1.
|
||||
* timevar.def (TV_TREE_ARRAY_BOUNDS): New timevar.
|
||||
* tree-pass.h (make_pass_array_bounds): Add prototype.
|
||||
* tree-vrp.cc (execute_ranger_vrp): Remove warning param and do
|
||||
not invoke array bounds warning pass.
|
||||
(pass_vrp::pass_vrp): Adjust params.
|
||||
(pass_vrp::close): Adjust parameters.
|
||||
(pass_vrp::warn_array_bounds_p): Remove.
|
||||
(make_pass_vrp): Remove warning param.
|
||||
(make_pass_early_vrp): Remove warning param.
|
||||
(make_pass_fast_vrp): Remove warning param.
|
||||
|
||||
2024-06-10 Raphael Zinsly <rzinsly@ventanamicro.com>
|
||||
|
||||
* config/riscv/bitmanip.md (*bextdisi): New pattern.
|
||||
|
||||
2024-06-10 Pan Li <pan2.li@intel.com>
|
||||
|
||||
PR target/115387
|
||||
* tree-ssa-math-opts.cc (math_opts_dom_walker::after_dom_children): Take
|
||||
the gsi of start_bb instead of last_bb.
|
||||
|
||||
2024-06-10 Raphael Zinsly <rzinsly@ventanamicro.com>
|
||||
|
||||
* config/riscv/bitmanip.md (*bextdisi): New pattern.
|
||||
|
||||
2024-06-10 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/115388
|
||||
* tree-ssa-dse.cc (dse_classify_store): Handle irreducible
|
||||
regions.
|
||||
(pass_dse::execute): Make sure to mark backedges.
|
||||
|
||||
2024-06-10 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/115395
|
||||
* tree-vect-loop.cc (vect_create_epilog_for_reduction):
|
||||
Handle STMT_VINFO_REDUC_EPILOGUE_ADJUSTMENT also for SLP
|
||||
reductions of group_size one.
|
||||
|
||||
2024-06-10 Andreas Krebbel <krebbel@linux.ibm.com>
|
||||
|
||||
* config/s390/s390.cc (expand_perm_as_replicate): Handle memory
|
||||
operands.
|
||||
* config/s390/vx-builtins.md (vec_splats<mode>): Turn into parameterized expander.
|
||||
(@vec_splats<mode>): New expander.
|
||||
|
||||
2024-06-10 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/115383
|
||||
* tree-vect-stmts.cc (vectorizable_condition): Handle
|
||||
generating a chain of .FOLD_EXTRACT_LAST.
|
||||
|
||||
2024-06-09 Andreas Tobler <andreast@gcc.gnu.org>
|
||||
|
||||
* config/freebsd-spec.h: Change fbsd-lib-spec for FreeBSD > 13,
|
||||
|
||||
@ -1 +1 @@
|
||||
20240610
|
||||
20240611
|
||||
|
||||
@ -1,3 +1,222 @@
|
||||
2024-06-10 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Expand_Nonbinary_Modular_Op): Create an explicit Mod
|
||||
for additive operations if No_Implicit_Conditionals is in effect.
|
||||
(Expand_Modular_Addition): Likewise.
|
||||
(Expand_Modular_Subtraction): Likewise.
|
||||
(Expand_Modular_Op): Always use an unsigned type obtained by calling
|
||||
Small_Integer_Type_For on the required size.
|
||||
|
||||
2024-06-10 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* sem_ch6.adb (Might_Need_BIP_Task_Actuals): Add support
|
||||
for access-to-subprogram parameter types.
|
||||
* exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call):
|
||||
Add dummy BIP parameters to access-to-subprogram types
|
||||
that may reference a function that has BIP parameters.
|
||||
|
||||
2024-06-10 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_prag.adb (Set_Convention_From_Pragma): If the specified convention on
|
||||
a record type is not C_Pass_By_Copy, then force the C_Pass_By_Copy flag to
|
||||
False, to ensure that it's overridden.
|
||||
|
||||
2024-06-10 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Resolve_Iterated_Association): Change "not Present"
|
||||
to "No" in test of Add_Named_Subp.
|
||||
|
||||
2024-06-10 Steve Baird <baird@adacore.com>
|
||||
|
||||
* freeze.adb
|
||||
(Should_Freeze_Type.Is_Dispatching_Call_Or_Aggregate): Treat an extension
|
||||
aggregate or a delta aggregate like a regular aggregate.
|
||||
|
||||
2024-06-10 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Resolve_Iterated_Association): In the case of
|
||||
N_Iterated_Element_Associations that have a key expression, issue
|
||||
an error if the aggregate type does not have an Add_Named
|
||||
operation, and include a reference to RM22 4.3.5(24) in the error
|
||||
message. In the case of an N_Component_Association with a
|
||||
Defining_Identifer where the "choice" is given by a function call,
|
||||
in the creation of the iterator_specification associate a copy of
|
||||
Choice as its Name, and remove the call to
|
||||
Analyze_Iterator_Specification, which was causing problems with
|
||||
the reanalysis of function calls originally given in prefixed form
|
||||
that were transformed into function calls in normal (infix) form.
|
||||
The iterator_specification will be analyzed later in any case, so
|
||||
that call should not be done here. Remove the with and use of
|
||||
Sem_Ch5.
|
||||
|
||||
2024-06-10 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* ali.adb (Get_Nat): Remove unnecessary parentheses.
|
||||
* exp_ch11.adb (Expand_Local_Exception_Handlers): Remove
|
||||
unnecessary parentheses.
|
||||
* freeze.adb (Freeze_Entity): Remove unnecessary parentheses.
|
||||
* lib-list.adb (List): Remove unnecessary parentheses.
|
||||
* par-ch5.adb (P_Condition): Add extra parentheses checks on
|
||||
condition operands.
|
||||
* sem_ch3.adb (Add_Interface_Tag_Components): Remove unnecessary
|
||||
parentheses.
|
||||
(Check_Delta_Expression): Remove unnecessary parenthesis.
|
||||
(Check_Digits_Expression): Remove unnecessary parentheses.
|
||||
* sem_ch12.adb (Validate_Array_Type_Instance): Remove unnecessary
|
||||
parentheses.
|
||||
|
||||
2024-06-10 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* exp_ch5.adb (Expand_Formal_Container_Element_Loop): Add
|
||||
expansion of filter condition.
|
||||
(Expand_Formal_Container_Loop): Add expansion of filter condition.
|
||||
|
||||
2024-06-10 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* accessibility.adb (Accessibility_Level): Use Get_Full_View to
|
||||
avoid crashes when calculating scope.
|
||||
|
||||
2024-06-10 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Warn_On_Unreferenced_Entity): Add a condition to
|
||||
ignore warnings on unreferenced abstract subprogram.
|
||||
|
||||
2024-06-10 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* sem_attr.adb (Analyze_Attribute): Add check for interface parent
|
||||
types.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* einfo.ads, exp_attr.adb, exp_ch4.adb, exp_ch7.adb,
|
||||
lib-writ.adb, libgnat/a-stbuut.ads, sem_ch13.adb, sem_ch3.adb,
|
||||
sem_ch7.adb: Use "RM" in comments.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb
|
||||
(Immediate_Context_Implies_Is_Potentially_Unevaluated): Use
|
||||
collective subtypes in membership tests.
|
||||
(Is_Known_On_Entry): Require all alternatives in a case statement
|
||||
to return; this change could prevent a recently fixed glitch,
|
||||
where one of the alternatives relied on the return statement
|
||||
afterwards (also, the new code is shorter).
|
||||
* sem_util.ads (Is_Potentially_Unevaluated): Clarify that this
|
||||
routine applies to Ada 2012.
|
||||
|
||||
2024-06-10 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* libgnat/a-chtgfo.adb (Generic_Read, Generic_Write): Remove.
|
||||
* libgnat/a-chtgfo.ads: Same. Remove dependency on Ada.Streams.
|
||||
|
||||
2024-06-10 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* libgnarl/s-taprop__mingw.adb (Set_Task_Affinity): Fix usage of
|
||||
SetThreadAffinityMask.
|
||||
* libgnat/s-winext.ads (SetThreadAffinityMask): Fix binding
|
||||
signature.
|
||||
|
||||
2024-06-10 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* libgnarl/s-taprop__mingw.adb (Set_Task_Affinity): Fix usage
|
||||
of SetThreadIdealProcessor.
|
||||
|
||||
2024-06-10 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* libgnat/s-os_lib.adb (Normalize_Pathname): Remove incorrect
|
||||
assert statement.
|
||||
(Missed_Drive_Letter): Rename into...
|
||||
(Drive_Letter_Omitted): This.
|
||||
|
||||
2024-06-10 Ronan Desplanques <desplanques@adacore.com>
|
||||
|
||||
* gnatlink.adb (Check_File_Name): Fix incorrect assumption.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_attr.adb (Expand_N_Attribute_Reference): Use constants
|
||||
declared at the beginning of subprogram; tune layout.
|
||||
* exp_ch3.adb (Predefined_Primitive_Bodies): Tune layout.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_pragmas.rst
|
||||
(No_Tagged_Streams): Move documentation.
|
||||
* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
|
||||
(No_Streams): Likewise.
|
||||
* exp_disp.adb (Make_DT): Extend comment.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
* gnat_ugn.texi: Regenerate.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_attr.adb (Analyze_Attribute): Use fully qualified name
|
||||
without a NUL, so that it doesn't need to be skipped afterwards.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch3.adb (Stream_Operation_OK): Check restriction
|
||||
No_Default_Stream_Attributes before call to
|
||||
Type_Without_Stream_Operation.
|
||||
* sem_util.adb (Type_Without_Stream_Operation): Remove static
|
||||
condition from recursive routine
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* inline.adb (Has_Single_Return_In_GNATprove_Mode): Remove.
|
||||
(Process_Formals): When rewriting an occurrence of a formal
|
||||
parameter, use location of the occurrence, not of the inlined
|
||||
call.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* debug.adb (d_k): Use first available debug switch.
|
||||
* gnat1drv.adb (Adjust_Global_Switches): If new debug switch is
|
||||
active then don't expand assertion expressions by default.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch6.adb (Install_Class_Preconditions_Check): Refactor
|
||||
common code for checking if precondition fails, since the
|
||||
difference is only in raising an exception or calling the
|
||||
Raise_Assert_Failure procedure.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_ch6.adb (Build_Dynamic_Check_Helper_Call): Remove unused
|
||||
iteration over formal parameters.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Make
|
||||
discriminants visible when analyzing aspect Interrupt_Priority.
|
||||
(Freeze_Entity_Checks): Likewise.
|
||||
(Resolve_Aspect_Expressions): Likewise for both aspects CPU and
|
||||
Interrupt_Priority.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_prag.adb (Report_Extra_Clauses): Remove redundant check
|
||||
for empty list, because First works also for No_List.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_prag.adb (Check_Dependency_Clause, Check_Output_States,
|
||||
Report_Extra_Clauses): Remove multiple checks for being inside
|
||||
an instance.
|
||||
(Analyze_Refined_Depends_In_Decl_Part): Add single check for
|
||||
being inside an instance.
|
||||
|
||||
2024-06-10 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_prag.adb (Check_In_Out_States, Check_Input_States,
|
||||
Check_Output_States, Check_Proof_In_States,
|
||||
Check_Refined_Global_List, Report_Extra_Constituents,
|
||||
Report_Missing_Items): Remove multiple checks for being inside
|
||||
an instance.
|
||||
(Analyze_Refined_Global_In_Decl_Part): Add single check for
|
||||
being inside an instance.
|
||||
|
||||
2024-06-05 Kewen Lin <linkw@linux.ibm.com>
|
||||
|
||||
* gcc-interface/decl.cc (gnat_to_gnu_entity): Use TYPE_PRECISION of
|
||||
|
||||
@ -1,3 +1,58 @@
|
||||
2024-06-10 Raphael Zinsly <rzinsly@ventanamicro.com>
|
||||
|
||||
* gcc.target/riscv/zbs-ext.c: New test.
|
||||
|
||||
2024-06-10 Pan Li <pan2.li@intel.com>
|
||||
|
||||
PR target/115387
|
||||
* gcc.target/riscv/pr115387-1.c: New test.
|
||||
* gcc.target/riscv/pr115387-2.c: New test.
|
||||
|
||||
2024-06-10 Andrew Pinski <quic_apinski@quicinc.com>
|
||||
|
||||
PR testsuite/115415
|
||||
PR tree-optimization/115388
|
||||
* gcc.dg/torture/pr115388.c: Use `signed char` directly instead
|
||||
of plain `char`.
|
||||
|
||||
2024-06-10 Raphael Zinsly <rzinsly@ventanamicro.com>
|
||||
|
||||
* gcc.target/riscv/bext-ext.c: New test.
|
||||
|
||||
2024-06-10 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/115388
|
||||
* gcc.dg/torture/pr115388.c: New testcase.
|
||||
|
||||
2024-06-10 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
PR ada/114708
|
||||
* gnat.dg/incomplete8.adb: New test.
|
||||
|
||||
2024-06-10 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
PR ada/114398
|
||||
* gnat.dg/access11.adb: New test.
|
||||
|
||||
2024-06-10 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/115395
|
||||
* gcc.dg/vect/pr115395.c: New testcase.
|
||||
|
||||
2024-06-10 Andreas Krebbel <krebbel@linux.ibm.com>
|
||||
|
||||
* g++.dg/torture/vshuf-mem.C: New test.
|
||||
|
||||
2024-06-10 YunQiang Su <syq@gcc.gnu.org>
|
||||
|
||||
* gcc.target/mips/r10k-cache-barrier-13.c: Add -mno-branch-likely
|
||||
option.
|
||||
|
||||
2024-06-10 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/115383
|
||||
* gcc.dg/vect/pr115383.c: New testcase.
|
||||
|
||||
2024-06-09 Uros Bizjak <ubizjak@gmail.com>
|
||||
|
||||
PR target/112600
|
||||
|
||||
@ -1,3 +1,7 @@
|
||||
2024-06-10 Jan Beulich <jbeulich@suse.com>
|
||||
|
||||
* config/aarch64/cpuinfo.c: Provide AT_HWCAP2.
|
||||
|
||||
2024-06-06 Andre Vieira <andre.simoesdiasvieira@arm.com>
|
||||
|
||||
PR target/115360
|
||||
|
||||
@ -1,3 +1,8 @@
|
||||
2024-06-10 François Dumont <fdumont@gcc.gnu.org>
|
||||
|
||||
* include/bits/hashtable.h (~_Hashtable()): Replace clear call with
|
||||
a _M_deallocate_nodes call.
|
||||
|
||||
2024-06-08 Deev Patel <dkp10000@gmail.com>
|
||||
Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user