diff options
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 103 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/analyzer/ChangeLog | 56 | ||||
-rw-r--r-- | gcc/c-family/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/d/ChangeLog | 28 | ||||
-rw-r--r-- | gcc/fortran/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 76 |
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> |