aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--gcc/ChangeLog45
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/ada/ChangeLog17
-rw-r--r--gcc/ada/sem_ch3.adb4
-rw-r--r--gcc/analyzer/ChangeLog14
-rw-r--r--gcc/c-family/ChangeLog11
-rw-r--r--gcc/c/ChangeLog7
-rw-r--r--gcc/config/loongarch/loongarch.md26
-rw-r--r--gcc/cp/ChangeLog13
-rw-r--r--gcc/fortran/ChangeLog21
-rw-r--r--gcc/lto/ChangeLog8
-rw-r--r--gcc/testsuite/ChangeLog81
-rw-r--r--gcc/testsuite/gcc.target/loongarch/widen-mul-rtx-cost-signed.c1
-rw-r--r--gcc/testsuite/gnat.dg/protected_subtype1.adb26
14 files changed, 262 insertions, 14 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8091f67..afd76cc 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,48 @@
+2025-11-04 Uros Bizjak <ubizjak@gmail.com>
+
+ PR target/122390
+ * config/i386/i386.md (*add<mode>3_carry_2): New insn pattern.
+ (*add<mode>3_carry_0_cc): Ditto.
+ (*add<mode>3_carry_0r_cc): Ditto.
+ (*sub<mode>3_carry_2): Ditto.
+ (*sub<mode>3_carry_0_cc): Ditto.
+ (*sub<mode>3_carry_0r_cc): Ditt.
+
+2025-11-04 Kees Cook <kees@kernel.org>
+
+ * config/arc/builtins.def: Add ATTRS parameter to DEF_BUILTIN
+ macro calls. Mark mathematical builtins (FFS, FLS, NORM, NORMW,
+ SWAP) with attr_const, leave others as NULL_TREE.
+ * config/arc/arc.cc: Add support for builtin function attributes.
+ Create attr_const using tree_cons. Update DEF_BUILTIN macro to
+ pass ATTRS parameter to add_builtin_function.
+
+2025-11-04 Pan Li <pan2.li@intel.com>
+
+ * match.pd: Add usmul_widen_mult helper and referenced by
+ min based unsigned SAT_MUL pattern.
+
+2025-11-04 Siddhesh Poyarekar <siddhesh@gotplt.org>
+
+ PR lto/122515
+ * lto-wrapper.cc (debug_objcopy): Set type of INOFF to int64_t.
+ (run_gcc): Set type of FILE_OFFSET to int64_t.
+
+2025-11-04 Kishan Parmar <kishan@linux.ibm.com>
+
+ PR rtl-optimization/93738
+ * simplify-rtx.cc (simplify_binary_operation_1): Canonicalize
+ SUBREG(LSHIFTRT) into LSHIFTRT(SUBREG) when valid.
+
+2025-11-04 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/122544
+ * diagnostics/paths.cc (event::meaning::maybe_get_verb_str):
+ Handle the new verbs.
+ * diagnostics/paths.h (event::meaning::verb): Add new values
+ for special control flow operations.
+ (event::meaning::meaning): Add ctor taking just a verb.
+
2025-11-03 Uros Bizjak <ubizjak@gmail.com>
PR target/122534
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 23733dc..7b0f631 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20251104
+20251105
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index c99021a..1232383 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,20 @@
+2025-11-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_ch3.adb (Analyze_Subtype_Declaration) <Concurrent_Kind>:
+ Propagate the Uses_Lock_Free flag for protected types.
+
+2025-11-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ PR ada/18453
+ * sem_ch12.adb (Find_Actual_Type): Add Typ_Ref parameter and
+ perform a standard resolution on it in the fallback case.
+ Call Get_Instance_Of if the type is declared in a formal of
+ the child unit.
+ (Instantiate_Type.Validate_Access_Type_Instance): Adjust call
+ to Find_Actual_Type.
+ (Instantiate_Type.Validate_Array_Type_Instance): Likewise and
+ streamline the check for matching component subtypes.
+
2025-11-03 Eric Botcazou <ebotcazou@adacore.com>
PR ada/78175
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 233f823..ba0af27 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -6145,6 +6145,10 @@ package body Sem_Ch3 is
Set_Is_Tagged_Type (Id, Is_Tagged_Type (T));
Set_Last_Entity (Id, Last_Entity (T));
+ if Is_Protected_Type (T) then
+ Set_Uses_Lock_Free (Id, Uses_Lock_Free (T));
+ end if;
+
if Is_Tagged_Type (T) then
Set_No_Tagged_Streams_Pragma
(Id, No_Tagged_Streams_Pragma (T));
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 3de38b2..f774184 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,17 @@
+2025-11-04 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/122544
+ * checker-event.cc (catch_cfg_edge_event::get_meaning): New.
+ (setjmp_event::get_meaning): New.
+ (rewind_event::get_meaning): New.
+ (throw_event::get_meaning): New.
+ (unwind_event::get_meaning): New.
+ * checker-event.h (catch_cfg_edge_event::get_meaning): New decl.
+ (setjmp_event::get_meaning): New decl.
+ (rewind_event::get_meaning): New decl.
+ (throw_event::get_meaning): New decl.
+ (unwind_event::get_meaning): New decl.
+
2025-10-16 David Malcolm <dmalcolm@redhat.com>
* ana-state-to-diagnostic-state.cc: Reimplement throughout to use
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index d4982eb..985b018 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,14 @@
+2025-11-04 Alejandro Colomar <alx@kernel.org>
+
+ * c-warn.cc (warn_parms_array_mismatch): Fix typos in comment.
+
+2025-11-04 Alejandro Colomar <alx@kernel.org>
+
+ * c-common.h (warn_parm_array_mismatch):
+ Rename warn_parm_array_mismatch => warn_parms_array_mismatch.
+ * c-warn.cc (warn_parm_array_mismatch):
+ Rename warn_parm_array_mismatch => warn_parms_array_mismatch.
+
2025-10-30 Qing Zhao <qing.zhao@oracle.com>
* c-attribs.cc (handle_counted_by_attribute): Allow counted_by for
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 23cc53a..7894b76 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,10 @@
+2025-11-04 Alejandro Colomar <alx@kernel.org>
+
+ * c-decl.cc (start_function):
+ Rename warn_parm_array_mismatch => warn_parms_array_mismatch.
+ * c-parser.cc (c_parser_declaration_or_fndef):
+ Rename warn_parm_array_mismatch => warn_parms_array_mismatch.
+
2025-11-01 Martin Uecker <uecker@tugraz.at>
* c-decl.cc (build_compound_literal): Add error.
diff --git a/gcc/config/loongarch/loongarch.md b/gcc/config/loongarch/loongarch.md
index 2f4817d..ba66888 100644
--- a/gcc/config/loongarch/loongarch.md
+++ b/gcc/config/loongarch/loongarch.md
@@ -1773,21 +1773,23 @@
;; This attribute used for get connection of scalar mode and corresponding
;; vector mode.
-(define_mode_attr cntmap [(SI "v4si") (DI "v2di")])
+(define_mode_attr cntmap [(SI "V4SI") (DI "V2DI")])
-(define_expand "popcount<mode>2"
- [(set (match_operand:GPR 0 "register_operand")
- (popcount:GPR (match_operand:GPR 1 "register_operand")))]
+(define_insn_and_split "popcount<mode>2"
+ [(set (match_operand:GPR 0 "register_operand" "=f")
+ (popcount:GPR (match_operand:GPR 1 "register_operand" "f")))]
"ISA_HAS_LSX"
+ "#"
+ ;; Do the split very lately to work around init-regs unneeded zero-
+ ;; initialization from init-regs. See PR61810 and all the referenced
+ ;; issues.
+ "&& reload_completed"
+ [(set (match_operand:<cntmap> 0 "register_operand" "=f")
+ (popcount:<cntmap>
+ (match_operand:<cntmap> 1 "register_operand" "f")))]
{
- rtx in = operands[1];
- rtx out = operands[0];
- rtx vreg = <MODE>mode == SImode ? gen_reg_rtx (V4SImode) :
- gen_reg_rtx (V2DImode);
- emit_insn (gen_lsx_vinsgr2vr_<size> (vreg, in, vreg, GEN_INT (1)));
- emit_insn (gen_popcount<cntmap>2 (vreg, vreg));
- emit_insn (gen_lsx_vpickve2gr_<size> (out, vreg, GEN_INT (0)));
- DONE;
+ operands[0] = gen_rtx_REG (<cntmap>mode, REGNO (operands[0]));
+ operands[1] = gen_rtx_REG (<cntmap>mode, REGNO (operands[1]));
})
;;
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 9a8c394..36c0b42 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,16 @@
+2025-11-04 Nathaniel Shead <nathanieloshead@gmail.com>
+
+ PR c++/122253
+ * decl2.cc (min_vis_expr_r): Don't mark no-linkage declarations
+ as VISIBILITY_ANON.
+
+2025-11-04 David Malcolm <dmalcolm@redhat.com>
+
+ * parser.cc (enum non_integral_constant): Fix typo
+ "an decrement" -> "a decrement" in comment.
+ (cp_parser_non_integral_constant_expression): Likewise in error
+ message.
+
2025-11-03 Jason Merrill <jason@redhat.com>
* name-lookup.cc (name_lookup::adl_class_fns): Include all
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index ffaf520..bee1d2b 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,24 @@
+2025-11-04 Harald Anlauf <anlauf@gmx.de>
+
+ PR fortran/122564
+ * resolve.cc (resolve_locality_spec): Delete temporary hash_set.
+
+2025-11-04 Paul-Antoine Arras <parras@baylibre.com>
+
+ PR fortran/122369
+ PR fortran/122508
+ * gfortran.h (gfc_rebind_label): Declare new function.
+ * parse.cc (parse_omp_metadirective_body): Rebind labels to the outer
+ region. Maintain a vector of metadirective regions.
+ (gfc_parse_file): Initialise it.
+ * parse.h (GFC_PARSE_H): Declare it.
+ * symbol.cc (gfc_get_st_label): Look for existing labels in outer
+ metadirective regions.
+ (gfc_rebind_label): Define new function.
+ (gfc_define_st_label): Accept duplicate labels in metadirective body.
+ (gfc_reference_st_label): Accept shared DO termination labels in
+ metadirective body.
+
2025-11-03 Steve Kargl <kargls@comcast.net>
PR fortran/122513
diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog
index c059e06..c3c37f6 100644
--- a/gcc/lto/ChangeLog
+++ b/gcc/lto/ChangeLog
@@ -1,3 +1,11 @@
+2025-11-04 Siddhesh Poyarekar <siddhesh@gotplt.org>
+
+ PR lto/122515
+ * lto.h (lto_section_slot): Set type of START to off_t.
+ * lto-common.cc (lto_read_section_data): Adjust.
+ * lto-object.cc (lto_obj_file_open): Set type of OFFSET to
+ int64_t.
+
2025-10-30 Michal Jires <mjires@suse.cz>
* lto.cc (stream_out_partitions): Remove asm_nodes_out.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7a2f15e..25324e6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,84 @@
+2025-11-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/protected_subtype1.adb: New test.
+
+2025-11-04 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat.dg/specs/generic_inst9.ads: New test.
+ * gnat.dg/specs/generic_inst9_pkg1.ads: New helper.
+ * gnat.dg/specs/generic_inst9_pkg2.ads: Likewise.
+ * gnat.dg/specs/generic_inst9_pkg2-g.ads: Likewise.
+
+2025-11-04 Uros Bizjak <ubizjak@gmail.com>
+
+ PR target/122390
+ * gcc.target/i386/pr122390.c: New test.
+ * gcc.target/i386/pr122390-1.c: New test.
+
+2025-11-04 Kees Cook <kees@kernel.org>
+
+ * gcc.target/arc/builtin_fls_const.c: New test. Verify that
+ const attribute enables CSE optimization for mathematical ARC
+ builtins by checking that duplicate calls are eliminated and
+ results are optimized to shift operations.
+
+2025-11-04 Paul-Antoine Arras <parras@baylibre.com>
+
+ PR fortran/122369
+ PR fortran/122508
+ * gfortran.dg/gomp/pr122369-1.f90: New test.
+ * gfortran.dg/gomp/pr122369-2.f90: New test.
+ * gfortran.dg/gomp/pr122369-3.f90: New test.
+ * gfortran.dg/gomp/pr122369-4.f90: New test.
+ * gfortran.dg/gomp/pr122508-1.f90: New test.
+ * gfortran.dg/gomp/pr122508-2.f90: New test.
+
+2025-11-04 Siddhesh Poyarekar <siddhesh@gotplt.org>
+
+ PR lto/122515
+ * lib/lto.exp (lto-build-archive): New procedure.
+ (lto-execute-1): Use it.
+ (lto-link-and-maybe-run, lto-get-options-main): Handle ar-link.
+ * gcc.dg/lto/pr122515_0.c: New test case.
+ * gcc.dg/lto/pr122515_1.c: New file.
+ * gcc.dg/lto/pr122515_2.c: Likewise.
+ * gcc.dg/lto/pr122515_3.c: Likewise.
+ * gcc.dg/lto/pr122515_4.c: Likewise.
+ * gcc.dg/lto/pr122515_5.c: Likewise.
+ * gcc.dg/lto/pr122515_6.c: Likewise.
+ * gcc.dg/lto/pr122515_7.c: Likewise.
+ * gcc.dg/lto/pr122515_8.c: Likewise.
+ * gcc.dg/lto/pr122515_9.c: Likewise.
+
+2025-11-04 Nathaniel Shead <nathanieloshead@gmail.com>
+
+ PR c++/122253
+ * g++.dg/modules/internal-16.C: New test.
+
+2025-11-04 Tobias Burnus <tburnus@baylibre.com>
+
+ PR fortran/122513
+ * gfortran.dg/pr122513-2.f90: New test.
+
+2025-11-04 Kishan Parmar <kishan@linux.ibm.com>
+
+ PR rtl-optimization/93738
+ * gcc.target/powerpc/rlwimi-2.c: Update expected rldicl count.
+
+2025-11-04 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/122544
+ * g++.dg/analyzer/exception-path-1-sarif.py: New test script.
+ * g++.dg/analyzer/exception-path-1.C: Add SARIF output, and use
+ the above to check it.
+ * g++.dg/analyzer/exception-path-unwind-multiple-2-sarif.py: New
+ test script.
+ * g++.dg/analyzer/exception-path-unwind-multiple-2.C: Add SARIF
+ output, and use the above to check it.
+ * gcc.dg/analyzer/setjmp-3-sarif.py: New test script.
+ * gcc.dg/analyzer/setjmp-3.c: Add SARIF output, and use
+ the above to check it.
+
2025-11-03 Eric Botcazou <ebotcazou@adacore.com>
* gnat.dg/generic_inst15.adb: New test.
diff --git a/gcc/testsuite/gcc.target/loongarch/widen-mul-rtx-cost-signed.c b/gcc/testsuite/gcc.target/loongarch/widen-mul-rtx-cost-signed.c
index 1e1e75f..61d21a8 100644
--- a/gcc/testsuite/gcc.target/loongarch/widen-mul-rtx-cost-signed.c
+++ b/gcc/testsuite/gcc.target/loongarch/widen-mul-rtx-cost-signed.c
@@ -9,5 +9,4 @@ test (int a)
return a / 3;
}
-/* { dg-final { scan-assembler {\tmulw.d.w\t} } } */
/* { dg-final { scan-assembler-not {\tdiv.w\t} } } */
diff --git a/gcc/testsuite/gnat.dg/protected_subtype1.adb b/gcc/testsuite/gnat.dg/protected_subtype1.adb
new file mode 100644
index 0000000..cb003c8
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/protected_subtype1.adb
@@ -0,0 +1,26 @@
+-- { dg-do compile }
+
+procedure Protected_Subtype1 is
+
+ protected type Object with Lock_Free => True is
+ end Object;
+
+ protected body Object is
+ end Object;
+
+ A : Object;
+
+ subtype Object_Subtype is Object;
+
+ B : Object_Subtype;
+
+ type Rec is record
+ A : Object;
+ B : Object_Subtype;
+ end record;
+
+ C : Rec;
+
+begin
+ null;
+end;
generated by cgit v1.1 at 2025-11-05 11:14:26 +0000