aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog127
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/ada/ChangeLog120
-rw-r--r--gcc/c/ChangeLog13
-rw-r--r--gcc/cp/ChangeLog14
-rw-r--r--gcc/fortran/ChangeLog13
-rw-r--r--gcc/testsuite/ChangeLog103
-rw-r--r--include/ChangeLog5
-rw-r--r--libcpp/ChangeLog6
-rw-r--r--libiberty/ChangeLog10
-rw-r--r--libsanitizer/ChangeLog22
-rw-r--r--libstdc++-v3/ChangeLog8
12 files changed, 442 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b14c2e0..819bfea 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,130 @@
+2023-11-28 Roger Sayle <roger@nextmovesoftware.com>
+
+ * config/arc/arc.md: Make output template whitespace consistent.
+
+2023-11-28 Jose E. Marchesi <jose.marchesi@oracle.com>
+
+ * varasm.cc (assemble_external_libcall): Refer in assert only ifdef
+ ASM_OUTPUT_EXTERNAL.
+
+2023-11-28 Andrew Pinski <quic_apinski@quicinc.com>
+
+ PR tree-optimization/112738
+ * match.pd (`(nop_convert)-(convert)a`): Reject
+ when the outer type is boolean.
+
+2023-11-28 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/112732
+ * tree.cc (build_opaque_vector_type): Reset TYPE_ALIAS_SET
+ of the newly built type.
+
+2023-11-28 Uros Bizjak <ubizjak@gmail.com>
+
+ PR target/112494
+ * config/i386/i386.md (cmpstrnqi_1): Set FLAGS_REG to its previous
+ value when operand 2 equals zero.
+ (*cmpstrnqi_1): Ditto.
+ (*cmpstrnqi_1 peephole2): Ditto.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ Revert:
+ 2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * config/bpf/bpf.cc (bpf_output_call): Report error in case the
+ function call is for a builtin.
+ (bpf_external_libcall): Added target hook to detect and report
+ error when other external calls that are not builtins.
+
+2023-11-28 Jose E. Marchesi <jose.marchesi@oracle.com>
+
+ PR target/109253
+ * varasm.cc (pending_libcall_symbols): New variable.
+ (process_pending_assemble_externals): Process
+ pending_libcall_symbols.
+ (assemble_external_libcall): Defer emitting external libcall
+ symbols to process_pending_assemble_externals.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * btfout.cc (btf_calc_num_vbytes): Fixed logic for enum64.
+ (btf_asm_enum_const): Corrected logic for enum64 and smaller
+ than 4 bytes values.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * config/bpf/bpf.cc (bpf_output_call): Report error in case the
+ function call is for a builtin.
+ (bpf_external_libcall): Added target hook to detect and report
+ error when other external calls that are not builtins.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * config/bpf/bpf.cc (bpf_use_by_pieces_infrastructure_p): Added
+ function to bypass default behaviour.
+ * config/bpf/bpf.h (COMPARE_MAX_PIECES): Defined to 1024 bytes.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * config/bpf/core-builtins.cc (core_mark_as_access_index):
+ Corrected check.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * config/bpf/core-builtins.cc
+ (bpf_resolve_overloaded_core_builtin): Removed call.
+ (execute_lower_bpf_core): Added all to remove_parser_plugin.
+
+2023-11-28 Juzhe-Zhong <juzhe.zhong@rivai.ai>
+
+ PR target/112694
+ * config/riscv/riscv-v.cc (expand_vec_perm_const): Disallow poly size (1, 1) VLA SLP.
+
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/112719
+ * match.pd (parity(X)^parity(Y) -> parity(X^Y)): Handle case of
+ mismatched types.
+ * gimple-match-exports.cc (build_call_internal): Add special-case for
+ bit query ifns on large/huge BITINT_TYPE before bitint lowering.
+
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/112719
+ * match.pd (popcount (X) + popcount (Y) -> POPCOUNT (X | Y)): Deal
+ with argument types with different precisions.
+
+2023-11-28 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/109077
+ * Makefile.in (PLUGIN_HEADERS): Add analyzer headers.
+ (install-plugin): Keep the directory structure for files in
+ "analyzer".
+
+2023-11-28 Juzhe-Zhong <juzhe.zhong@rivai.ai>
+
+ PR target/112713
+ * config/riscv/riscv-vsetvl.cc (pre_vsetvl::compute_lcm_local_properties): Fix regression.
+
+2023-11-28 David Malcolm <dmalcolm@redhat.com>
+
+ * diagnostic-show-locus.cc (layout::maybe_add_location_range):
+ Don't print annotation lines for ranges when there's no column
+ info.
+ (selftest::test_one_liner_no_column): New.
+ (selftest::test_diagnostic_show_locus_one_liner): Call it.
+
+2023-11-28 David Malcolm <dmalcolm@redhat.com>
+
+ * diagnostic.cc (diagnostic_get_location_text): Convert to...
+ (diagnostic_context::get_location_text): ...this, and convert
+ return type from char * to label_text.
+ (diagnostic_build_prefix): Update for above change.
+ (default_diagnostic_start_span_fn): Likewise.
+ (selftest::assert_location_text): Likewise.
+ * diagnostic.h (diagnostic_context::get_location_text): New decl.
+
2023-11-27 Andrew Pinski <quic_apinski@quicinc.com>
* config/aarch64/aarch64.cc (aarch64_if_then_else_costs):
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 1840026..09dce9b 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20231128
+20231129
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6fb7510..9c971ce 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,123 @@
+2023-11-28 Simon Wright <simon@pushface.org>
+
+ PR ada/111909
+ * adaint.c
+ (__gnat_get_file_names_case_sensitive): Split out the __APPLE__
+ check and remove the checks for __arm__, __arm64__. For Apple,
+ file names are by default case-insensitive unless TARGET_OS_IOS is
+ set.
+
+2023-11-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gcc-interface/decl.cc (annotate_value): Apply the same processing
+ for parameters as for variables.
+
+2023-11-28 Marc Poulhiès <poulhies@adacore.com>
+
+ * gcc-interface/utils2.cc (build_simple_component_ref): Add
+ comment on assertion.
+
+2023-11-28 Steve Baird <baird@adacore.com>
+
+ * exp_attr.adb (Expand_N_Attribute_Reference): In the case of a
+ Reduce attribute reference, fix bugs in initializing Accum_Typ.
+ The previous version was incorrect in the case where E1 refers to
+ the first of multiple possible overload resolution candidates and
+ that candidate does not turn out to be the right one. The previous
+ version also had code to compute Accum_Typ via a different method
+ if the initial computation turned out to yield a universal numeric
+ type. Delete that initial computation and use the second method in
+ all cases.
+
+2023-11-28 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_aggr.adb (Add_Discriminant_Values): Remove this procedure.
+ (Propagate_Discriminants): Remove this procedure.
+ (Resolve_Record_Aggregate): Remove code (the Capture_Discriminants
+ block statement) related to propagating discriminants and
+ generating initializations for subcomponents of a
+ discriminant-dependent box-defaulted subcomponent of a nonprivate
+ record type with discriminants, and handle all top-level
+ components that have a non-null base init proc directly, by
+ calling Add_Association with "Is_Box_Present => True". Also,
+ combine that elsif clause with the immediately preceding elsif
+ clause, since they now both contain the same statement (calls to
+ Add_Association with the same actuals).
+
+2023-11-28 Bob Duff <duff@adacore.com>
+
+ * sem_util.adb (Check_Result_And_Post_State): Disable this when
+ we're in an instance. Misc cleanup.
+
+2023-11-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch7.ads (Expand_Cleanup_Actions): Move declaration to the
+ Finalization Management section.
+ * exp_ch7.adb (Transient Scope Management): Move description down to
+ after that of the general finalization and make a few changes.
+ (Insert_Actions_In_Scope_Around): Call Process_Transients_In_Scope
+ only if cleanups are being handled.
+ (Process_Transients_In_Scope): Remove redundant test on Clean.
+ * exp_util.ads (Within_Case_Or_If_Expression): Adjust description.
+ * exp_util.adb (Within_Case_Or_If_Expression): Only return true if
+ within the dependent expressions of the conditional expressions.
+
+2023-11-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * doc/gnat_rm/the_implementation_of_standard_i_o.rst: Fix a couple
+ occurrences of incorrect quoting.
+ * gnat_rm.texi: Regenerate.
+
+2023-11-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * exp_ch6.adb (Build_Flag_For_Function): New function made up of the
+ code building the special flag for return object present...
+ (Expand_N_Extended_Return_Statement): ...in there. Replace the code
+ with a call to Build_Flag_For_Function. Add assertion for the flag.
+ (Expand_Non_Function_Return): For a nested return, if the return
+ object needs finalization actions, update the special flag.
+
+2023-11-28 Sebastian Poeplau <poeplau@adacore.com>
+
+ * einfo-utils.ads, einfo-utils.adb (Is_Address_Compatible_Type):
+ New function.
+
+2023-11-28 Gary Dismukes <dismukes@adacore.com>
+
+ * exp_aggr.adb (Expand_Container_Aggregate): Apply a conversion to the
+ size temp object passed as the second actual parameter on the call to
+ the New_Indexed_Subp function, to convert it to the index type of the
+ container type (taken from the first formal parameter of the function).
+
+2023-11-28 Eric Botcazou <ebotcazou@adacore.com>
+
+ * sem_attr.adb (Eval_Attribute): Do not proceed in a spec expression
+ for nonstatic representation attributes of a scalar subtype when the
+ subtype is not frozen.
+ * sem_ch3.adb (Analyze_Object_Declaration): Do not freeze the type
+ of the object in a spec expression.
+
+2023-11-28 Richard Kenner <kenner@adacore.com>
+
+ * exp_unst.adb (Note_Uplevel_Bound): Treat
+ N_Unchecked_Type_Conversion like N_Type_Conversion.
+
+2023-11-28 Yannick Moy <moy@adacore.com>
+
+ * libgnat/s-imgboo.adb: Remove with_clause now in spec file.
+ * libgnat/s-imgboo.ads: Remove dependency on System.Val_Bool.
+ (Image_Boolean): Replace call to Value_Boolean by passing value V
+ to updated ghost function Is_Boolean_Image_Ghost.
+ * libgnat/s-valboo.ads (Is_Boolean_Image_Ghost): Move to other
+ unit.
+ (Value_Boolean.): Update precondition.
+ * libgnat/s-valspe.ads (Is_Boolean_Image_Ghost): Move here. Add
+ new parameter for expected boolean value.
+
+2023-11-28 Tucker Taft <taft@adacore.com>
+
+ * sem_scil.adb: Handle discriminant specification.
+
2023-11-21 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/trans.cc (Loop_Statement_to_gnu): Always use the
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 7572306..e5ac210 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,16 @@
+2023-11-28 Jason Merrill <jason@redhat.com>
+
+ PR c++/94264
+ PR c++/53220
+ * c-typeck.cc (array_to_pointer_conversion): Adjust -Wc++-compat
+ diagnostic.
+
+2023-11-28 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/112741
+ * gimple-parser.cc (c_parser_parse_gimple_body): Also
+ set DECL_SEEN_IN_BIND_EXPR_Pfor locals.
+
2023-11-27 Alex Coplan <alex.coplan@arm.com>
Iain Sandoe <iain@sandoe.co.uk>
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index fb69bb5..ed86fa3 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,17 @@
+2023-11-28 Jason Merrill <jason@redhat.com>
+
+ PR c++/94264
+ PR c++/53220
+ * call.cc (convert_like_internal): Remove obsolete comment.
+ * typeck.cc (decay_conversion): Allow array prvalue.
+ (maybe_warn_about_returning_address_of_local): Check
+ for returning pointer to temporary.
+
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ * cp-objcp-common.cc (cp_feature_table): Evaluate
+ __has_extension (cxx_init_captures) to 1 even for -std=c++11.
+
2023-11-27 Alex Coplan <alex.coplan@arm.com>
Iain Sandoe <iain@sandoe.co.uk>
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 21c5f2a..d937291 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,16 @@
+2023-11-28 Andrew Jenner <andrew@codesourcery.com>
+ Tobias Burnus <tobias@codesourcery.com>
+
+ PR fortran/110415
+ * trans-expr.cc (trans_class_vptr_len_assignment): Add
+ from_vptrp parameter. Populate it. Don't check for DECL_P
+ when deciding whether to create temporary.
+ (trans_class_pointer_fcn, gfc_trans_pointer_assignment): Add
+ NULL argument to trans_class_vptr_len_assignment calls.
+ (trans_class_assignment): Get rhs_vptr from
+ trans_class_vptr_len_assignment and use it for determining size
+ for allocation/reallocation. Use return value from realloc.
+
2023-11-26 Harald Anlauf <anlauf@gmx.de>
PR fortran/111880
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0b51a0d..a2aa2d9 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,106 @@
+2023-11-28 Jason Merrill <jason@redhat.com>
+
+ PR c++/94264
+ PR c++/53220
+ * c-c++-common/array-lit.c: Adjust.
+ * g++.dg/cpp1z/array-prvalue1.C: New test.
+ * g++.dg/ext/complit17.C: New test.
+
+2023-11-28 Roger Sayle <roger@nextmovesoftware.com>
+
+ * gcc.target/arc/jli-1.c: Update dg-final whitespace.
+ * gcc.target/arc/jli-2.c: Likewise.
+ * gcc.target/arc/naked-1.c: Likewise.
+ * gcc.target/arc/naked-2.c: Likewise.
+ * gcc.target/arc/tmac-1.c: Likewise.
+ * gcc.target/arc/tmac-2.c: Likewise.
+
+2023-11-28 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/112741
+ * gcc.dg/ubsan/pr112741.c: New testcase.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ Revert:
+ 2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * gcc.target/bpf/atomic-cmpxchg-2.c: Adapted.
+ * gcc.target/bpf/atomic-fetch-op-3.c: Adapted.
+ * gcc.target/bpf/atomic-op-3.c: Adapted.
+ * gcc.target/bpf/atomic-xchg-2.c: Adapted.
+ * gcc.target/bpf/diag-sdiv.c: Adapted.
+ * gcc.target/bpf/diag-smod.c: Adapted.
+
+2023-11-28 Andrew Jenner <andrew@codesourcery.com>
+ Tobias Burnus <tobias@codesourcery.com>
+
+ PR fortran/110415
+ * gfortran.dg/pr110415.f90: New test.
+ * gfortran.dg/asan/pr110415-2.f90: New test.
+ * gfortran.dg/asan/pr110415-3.f90: New test.
+
+2023-11-28 Jose E. Marchesi <jose.marchesi@oracle.com>
+
+ PR target/109253
+ * gcc.target/bpf/divmod-libcall-1.c: New test.
+ * gcc.target/bpf/divmod-libcall-2.c: Likewise.
+ * gcc.c-torture/compile/libcall-2.c: Likewise.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * gcc.dg/debug/btf/btf-enum-small.c: Added test.
+
+2023-11-28 Cupertino Miranda <cupertino.miranda@oracle.com>
+
+ * gcc.target/bpf/atomic-cmpxchg-2.c: Adapted.
+ * gcc.target/bpf/atomic-fetch-op-3.c: Adapted.
+ * gcc.target/bpf/atomic-op-3.c: Adapted.
+ * gcc.target/bpf/atomic-xchg-2.c: Adapted.
+ * gcc.target/bpf/diag-sdiv.c: Adapted.
+ * gcc.target/bpf/diag-smod.c: Adapted.
+
+2023-11-28 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * gcc.dg/pr111409.c: Allow for " before .debug_macro.
+ Quote literals dots.
+
+2023-11-28 Juzhe-Zhong <juzhe.zhong@rivai.ai>
+
+ PR target/112694
+ * gcc.target/riscv/rvv/autovec/pr112694-2.c: New test.
+ * gcc.target/riscv/rvv/autovec/pr112694-3.c: New test.
+
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/111754
+ * gcc.dg/vect/pr111754.c: Use dg-additional-options rather than
+ dg-options, add -Wno-psabi and use -fdump-tree-forwprop1 rather than
+ -fdump-tree-optimized. Scan forwprop1 dump rather than optimized and
+ scan for either direct return or setting of <retval> to the vector.
+
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/112719
+ * gcc.dg/bitint-43.c: New test.
+
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/112719
+ * gcc.dg/pr112719.c: New file.
+
+2023-11-28 Lewis Hyatt <lhyatt@gmail.com>
+
+ PR preprocessor/112701
+ * gcc.dg/cpp/expr.c: Add additional tests to cover divide by 0 in an
+ unevaluated context, where the unsignedness still matters.
+
+2023-11-28 Juzhe-Zhong <juzhe.zhong@rivai.ai>
+
+ PR target/112713
+ * gcc.target/riscv/rvv/vsetvl/pr112713-1.c: New test.
+ * gcc.target/riscv/rvv/vsetvl/pr112713-2.c: New test.
+
2023-11-27 Andrew Pinski <quic_apinski@quicinc.com>
* gcc.target/aarch64/csinc-3.c: New test.
diff --git a/include/ChangeLog b/include/ChangeLog
index 56c2cd7..0806ca3 100644
--- a/include/ChangeLog
+++ b/include/ChangeLog
@@ -1,3 +1,8 @@
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ * sha1.h (sha1_process_bytes_fn): New typedef.
+ (sha1_choose_process_bytes): Declare.
+
2023-11-07 Kwok Cheung Yeung <kcy@codesourcery.com>
* gomp-constants.h (GOMP_VERSION): Increment to 3.
diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog
index 45d98bd..cad3da8 100644
--- a/libcpp/ChangeLog
+++ b/libcpp/ChangeLog
@@ -1,3 +1,9 @@
+2023-11-28 Lewis Hyatt <lhyatt@gmail.com>
+
+ PR preprocessor/112701
+ * expr.cc (num_div_op): Set unsignedp appropriately when returning a
+ stub value for divide by 0.
+
2023-11-27 Alex Coplan <alex.coplan@arm.com>
Iain Sandoe <iain@sandoe.co.uk>
diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog
index c452744..3776ab3 100644
--- a/libiberty/ChangeLog
+++ b/libiberty/ChangeLog
@@ -1,3 +1,13 @@
+2023-11-28 Jakub Jelinek <jakub@redhat.com>
+
+ * configure.ac (HAVE_X86_SHA1_HW_SUPPORT): New check.
+ * sha1.c: If HAVE_X86_SHA1_HW_SUPPORT is defined, include x86intrin.h
+ and cpuid.h.
+ (sha1_hw_process_bytes, sha1_hw_process_block,
+ sha1_choose_process_bytes): New functions.
+ * config.in: Regenerated.
+ * configure: Regenerated.
+
2023-11-15 Mark Wielaard <mjw@redhat.com>
* aclocal.m4: Rebuild.
diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog
index bb1feca..071acf9 100644
--- a/libsanitizer/ChangeLog
+++ b/libsanitizer/ChangeLog
@@ -1,3 +1,25 @@
+2023-11-28 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ * LOCAL_PATCHES: Update.
+
+2023-11-28 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ PR sanitizer/112563
+ * sanitizer_common/sanitizer_redefine_builtins.h: Check
+ HAVE_AS_SYM_ASSIGN.
+
+2023-11-28 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
+
+ PR sanitizer/112563
+ * configure.ac (libsanitizer_cv_as_sym_assign): Check for
+ assembler symbol assignment support.
+ * configure: Regenerate.
+ * asan/Makefile.am (DEFS): Add @AS_SYM_ASSIGN_DEFS@.
+ * Makefile.in, asan/Makefile.in, hwasan/Makefile.in,
+ interception/Makefile.in, libbacktrace/Makefile.in,
+ lsan/Makefile.in, sanitizer_common/Makefile.in, tsan/Makefile.in,
+ ubsan/Makefile.in: Regenerate.
+
2023-11-21 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/112562
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index fb48d2d..5ce37ae 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,11 @@
+2023-11-28 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/atomic_wait.h: Include <stdint.h>.
+
+2023-11-28 Jonathan Wakely <jwakely@redhat.com>
+
+ * include/bits/stl_uninitialized.h: Fix typo in comment.
+
2023-11-24 Jan Hubicka <jh@suse.cz>
PR middle-end/109849