aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog103
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/analyzer/ChangeLog56
-rw-r--r--gcc/c-family/ChangeLog8
-rw-r--r--gcc/cp/ChangeLog6
-rw-r--r--gcc/d/ChangeLog28
-rw-r--r--gcc/fortran/ChangeLog4
-rw-r--r--gcc/testsuite/ChangeLog76
8 files changed, 282 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 90f6649..33e0e3e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,106 @@
+2022-11-30 John David Anglin <danglin@gcc.gnu.org>
+
+ * config/pa/pa.md (addvdi3): Force operand 2 to a register.
+ Remove "addi,tsv,*" instruction from unamed pattern.
+ (subvdi3): Force operand 1 to a register.
+ Remove "subi,tsv" instruction from from unamed pattern.
+
+2022-11-30 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
+
+ * config/aarch64/aarch64.md (aarch64_cpymemdi): Specify clobber of CC reg.
+ (*aarch64_cpymemdi): Likewise.
+ (aarch64_movmemdi): Likewise.
+ (aarch64_setmemdi): Likewise.
+ (*aarch64_setmemdi): Likewise.
+
+2022-11-30 Martin Liska <mliska@suse.cz>
+
+ * tree-switch-conversion.cc (bit_test_cluster::emit): Remove
+ dead variable bt_range.
+
+2022-11-30 Iskander Shakirzyanov <iskander@ispras.ru>
+ Franz Sirl <Franz.Sirl-kernel@lauterbach.com>
+
+ PR driver/107787
+ * common.opt (Warray-bounds): Turn into alias of
+ -Warray-bounds=1.
+ * builtins.cc (c_strlen): Use OPT_Warray_bounds_
+ instead of OPT_Warray_bounds.
+ * diagnostic-spec.cc (nowarn_spec_t::nowarn_spec_t): Ditto.
+ * gimple-array-bounds.cc (array_bounds_checker::check_array_ref,
+ array_bounds_checker::check_mem_ref,
+ array_bounds_checker::check_addr_expr,
+ array_bounds_checker::check_array_bounds): Ditto.
+ * gimple-ssa-warn-restrict.cc (maybe_diag_access_bounds): Ditto.
+
+2022-11-30 Martin Liska <mliska@suse.cz>
+
+ PR tree-optimization/101301
+ PR tree-optimization/103680
+ * tree-switch-conversion.cc (bit_test_cluster::emit):
+ Handle correctly remaining probability.
+ (switch_decision_tree::try_switch_expansion): Fix BB's count
+ where a cluster expansion happens.
+ (switch_decision_tree::emit_cmp_and_jump_insns): Fill up also
+ BB count.
+ (switch_decision_tree::do_jump_if_equal): Likewise.
+ (switch_decision_tree::emit_case_nodes): Handle special case
+ for BT expansion which can also fallback to a default BB.
+ * tree-switch-conversion.h (cluster::cluster): Add
+ m_default_prob probability.
+
+2022-11-30 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107919
+ * gimple-predicate-analysis.cc (simplify_1): Rename to ...
+ (simplify_1a): .. this.
+ (simplify_1b): New.
+ (predicate::simplify): Call both simplify_1a and simplify_1b.
+
+2022-11-30 Richard Biener <rguenther@suse.de>
+
+ * tree-ssa-uninit.cc (find_uninit_use): Dump the edge for a
+ PHI node.
+
+2022-11-30 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107919
+ * gimple-predicate-analysis.cc (predicate::simplify_2):
+ Handle predicates of arbitrary length.
+
+2022-11-30 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/107835
+ * tree-chrec.cc (chrec_apply): Don't handle "{a, +, a} (x-1)"
+ as "a*x" if type is a pointer type.
+
+2022-11-30 Paul-Antoine Arras <pa@codesourcery.com>
+
+ * config/gcn/gcn.cc (gcn_omp_device_kind_arch_isa): Add gfx803.
+ * config/gcn/t-omp-device: Add gfx803.
+
+2022-11-30 Lulu Cheng <chenglulu@loongson.cn>
+
+ * config/loongarch/linux.h (STACK_CHECK_MOVING_SP):
+ Define this macro to 1.
+ * config/loongarch/loongarch.cc (STACK_CLASH_PROTECTION_GUARD_SIZE):
+ Size of guard page.
+ (loongarch_first_stack_step): Return the size of the first drop stack
+ according to whether stack checking is performed.
+ (loongarch_emit_probe_stack_range): Adjust the method of stack checking in prologue.
+ (loongarch_output_probe_stack_range): Delete useless code.
+ (loongarch_expand_prologue): Adjust the method of stack checking in prologue.
+ (loongarch_option_override_internal): Enforce that interval is the same
+ size as size so the mid-end does the right thing.
+ * config/loongarch/loongarch.h (STACK_CLASH_MAX_UNROLL_PAGES):
+ New macro decide whether to loop stack detection.
+
+2022-11-30 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/103546
+ * doc/invoke.texi (Static Analyzer Options): Add isatty, ferror,
+ fileno, and getc to the list of functions known to the analyzer.
+
2022-11-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/107852
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index e6a7597..f0a26d3 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20221130
+20221201
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index aa7ce88..a7724cd 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,59 @@
+2022-11-30 David Malcolm <dmalcolm@redhat.com>
+
+ * region-model-impl-calls.cc (class kf_fgets): Move to sm-file.cc.
+ (kf_fgets::impl_call_pre): Likewise.
+ (class kf_fread): Likewise.
+ (kf_fread::impl_call_pre): Likewise.
+ (class kf_getchar): Likewise.
+ (class kf_stdio_output_fn): Likewise.
+ (register_known_functions): Move registration of
+ BUILT_IN_FPRINTF, BUILT_IN_FPRINTF_UNLOCKED, BUILT_IN_FPUTC,
+ BUILT_IN_FPUTC_UNLOCKED, BUILT_IN_FPUTS, BUILT_IN_FPUTS_UNLOCKED,
+ BUILT_IN_FWRITE, BUILT_IN_FWRITE_UNLOCKED, BUILT_IN_PRINTF,
+ BUILT_IN_PRINTF_UNLOCKED, BUILT_IN_PUTC, BUILT_IN_PUTCHAR,
+ BUILT_IN_PUTCHAR_UNLOCKED, BUILT_IN_PUTC_UNLOCKED, BUILT_IN_PUTS,
+ BUILT_IN_PUTS_UNLOCKED, BUILT_IN_VFPRINTF, BUILT_IN_VPRINTF,
+ "getchar", "fgets", "fgets_unlocked", and "fread" to
+ register_known_file_functions.
+ * sm-file.cc (class kf_stdio_output_fn): Move here from
+ region-model-impl-calls.cc.
+ (class kf_fgets): Likewise.
+ (class kf_fread): Likewise.
+ (class kf_getchar): Likewise.
+ (register_known_file_functions): Move registration of
+ BUILT_IN_FPRINTF, BUILT_IN_FPRINTF_UNLOCKED, BUILT_IN_FPUTC,
+ BUILT_IN_FPUTC_UNLOCKED, BUILT_IN_FPUTS, BUILT_IN_FPUTS_UNLOCKED,
+ BUILT_IN_FWRITE, BUILT_IN_FWRITE_UNLOCKED, BUILT_IN_PRINTF,
+ BUILT_IN_PRINTF_UNLOCKED, BUILT_IN_PUTC, BUILT_IN_PUTCHAR,
+ BUILT_IN_PUTCHAR_UNLOCKED, BUILT_IN_PUTC_UNLOCKED, BUILT_IN_PUTS,
+ BUILT_IN_PUTS_UNLOCKED, BUILT_IN_VFPRINTF, BUILT_IN_VPRINTF,
+ "fgets", "fgets_unlocked", "fread", and "getchar" to here from
+ register_known_functions.
+
+2022-11-30 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/103546
+ * analyzer.h (register_known_file_functions): New decl.
+ * program-state.cc (sm_state_map::replay_call_summary): Rejct
+ attempts to store sm-state for caller_sval that can't have
+ associated state.
+ * region-model-impl-calls.cc (register_known_functions): Call
+ register_known_file_functions.
+ * sm-fd.cc (class kf_isatty): New.
+ (register_known_fd_functions): Register it.
+ * sm-file.cc (class kf_ferror): New.
+ (class kf_fileno): New.
+ (class kf_getc): New.
+ (register_known_file_functions): New.
+
+2022-11-30 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/105784
+ * region-model-manager.cc
+ (region_model_manager::maybe_fold_binop): For POINTER_PLUS_EXPR,
+ PLUS_EXPR and MINUS_EXPR, eliminate requirement that the final
+ type matches that of arg0 in favor of a cast.
+
2022-11-24 Martin Liska <mliska@suse.cz>
* varargs.cc: Fix Clang warnings.
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index e53acbd..008b26e 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,11 @@
+2022-11-30 Iskander Shakirzyanov <iskander@ispras.ru>
+ Franz Sirl <Franz.Sirl-kernel@lauterbach.com>
+
+ PR driver/107787
+ * c-common.cc (fold_offsetof,
+ convert_vector_to_array_for_subscript): Use OPT_Warray_bounds_
+ instead of OPT_Warray_bounds.
+
2022-11-24 Jakub Jelinek <jakub@redhat.com>
* c.opt (fcontract-role=, fcontract-semantic=): Terminate descriptions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 02274f6..0cc1897 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2022-11-30 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/107542
+ * typeck.cc (cp_build_binary_op): In the SPACESHIP_EXPR case,
+ handle an error_mark_node result type.
+
2022-11-29 Patrick Palka <ppalka@redhat.com>
PR c++/107864
diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog
index 6691a43..74346ea 100644
--- a/gcc/d/ChangeLog
+++ b/gcc/d/ChangeLog
@@ -1,3 +1,31 @@
+2022-11-30 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * Make-lang.in (D_TEXI_FILES): Add d/implement-d.texi.
+ * gdc.texi: Adjust introduction, include implement-d.texi.
+ * implement-d.texi: New file.
+
+2022-11-30 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * Make-lang.in: Only include doc/include when building documentation.
+ (d.html): Rename html directory to $(build_htmldir)/gdc.
+
+2022-11-30 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * gdc.texi: Separate indices into options and keywords.
+
+2022-11-30 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ * gdc.texi: Update gdc option documentation.
+ * lang.opt (frevert=intpromote): Correct documentation.
+
+2022-11-30 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ PR d/107592
+ * toir.cc (IRVisitor::push_unrolled_continue_label): New method.
+ (IRVisitor::pop_unrolled_continue_label): New method.
+ (IRVisitor::visit (UnrolledLoopStatement *)): Use them instead of
+ push_continue_label and pop_continue_label.
+
2022-11-23 Martin Liska <mliska@suse.cz>
* Make-lang.in: Use it as $DO_LINK_MUTEX.
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index e3d6684..fbb7ed5 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,7 @@
+2022-11-30 Martin Liska <mliska@suse.cz>
+
+ * parse.cc (parse_omp_structured_block): Remove extra semicolon.
+
2022-11-29 Harald Anlauf <anlauf@gmx.de>
Steven G. Kargl <kargl@gcc.gnu.org>
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0660d56..fdcc303 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,79 @@
+2022-11-30 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
+
+ * gcc.target/aarch64/mops_5.c: New test.
+ * gcc.target/aarch64/mops_6.c: Likewise.
+ * gcc.target/aarch64/mops_7.c: Likewise.
+
+2022-11-30 Iain Buclaw <ibuclaw@gdcproject.org>
+
+ PR d/107592
+ * gdc.dg/pr107592.d: New test.
+
+2022-11-30 Iskander Shakirzyanov <iskander@ispras.ru>
+ Franz Sirl <Franz.Sirl-kernel@lauterbach.com>
+
+ PR driver/107787
+ * gcc.dg/Warray-bounds-34.c: Correct the regular expression
+ for -Warray-bounds=.
+ * gcc.dg/Warray-bounds-43.c: Likewise.
+ * gcc.dg/pr107787.c: New test.
+
+2022-11-30 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/107919
+ * g++.dg/warn/Wuninitialized-pr107919-1.C: New testcase.
+
+2022-11-30 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/107835
+ * gcc.c-torture/compile/pr107835.c: New test.
+
+2022-11-30 Alexandre Oliva <oliva@adacore.com>
+
+ PR target/107304
+ * gcc.target/i386/pr107304.c: dg-require ifunc support.
+
+2022-11-30 Lulu Cheng <chenglulu@loongson.cn>
+
+ * lib/target-supports.exp:
+ * gcc.target/loongarch/stack-check-alloca-1.c: New test.
+ * gcc.target/loongarch/stack-check-alloca-2.c: New test.
+ * gcc.target/loongarch/stack-check-alloca-3.c: New test.
+ * gcc.target/loongarch/stack-check-alloca-4.c: New test.
+ * gcc.target/loongarch/stack-check-alloca-5.c: New test.
+ * gcc.target/loongarch/stack-check-alloca-6.c: New test.
+ * gcc.target/loongarch/stack-check-alloca.h: New test.
+ * gcc.target/loongarch/stack-check-cfa-1.c: New test.
+ * gcc.target/loongarch/stack-check-cfa-2.c: New test.
+ * gcc.target/loongarch/stack-check-prologue-1.c: New test.
+ * gcc.target/loongarch/stack-check-prologue-2.c: New test.
+ * gcc.target/loongarch/stack-check-prologue-3.c: New test.
+ * gcc.target/loongarch/stack-check-prologue-4.c: New test.
+ * gcc.target/loongarch/stack-check-prologue-5.c: New test.
+ * gcc.target/loongarch/stack-check-prologue-6.c: New test.
+ * gcc.target/loongarch/stack-check-prologue-7.c: New test.
+ * gcc.target/loongarch/stack-check-prologue.h: New test.
+
+2022-11-30 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/103546
+ * gcc.dg/analyzer/ferror-1.c: New test.
+ * gcc.dg/analyzer/fileno-1.c: New test.
+ * gcc.dg/analyzer/flex-with-call-summaries.c: New test.
+ * gcc.dg/analyzer/flex-without-call-summaries.c: New test.
+ * gcc.dg/analyzer/getc-1.c: New test.
+ * gcc.dg/analyzer/isatty-1.c: New test.
+
+2022-11-30 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/105784
+ * gcc.dg/analyzer/torture/fold-ptr-arith-pr105784.c: New test.
+
+2022-11-30 Patrick Palka <ppalka@redhat.com>
+
+ PR c++/107542
+ * g++.dg/cpp2a/spaceship-sfinae2.C: New test.
+
2022-11-29 Harald Anlauf <anlauf@gmx.de>
Steven G. Kargl <kargl@gcc.gnu.org>