diff options
author | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-11-11 00:17:22 +0000 |
---|---|---|
committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-11-11 00:17:22 +0000 |
commit | f225b813e4d1d337164b72361f23306c1b28d550 (patch) | |
tree | 88100c831be977723e0dc9d5f9c1deb3c3f4c1ff /gcc | |
parent | 5c6546ca7d8cab1f1c129f5b55f709e2ceee0f94 (diff) | |
download | gcc-f225b813e4d1d337164b72361f23306c1b28d550.zip gcc-f225b813e4d1d337164b72361f23306c1b28d550.tar.gz gcc-f225b813e4d1d337164b72361f23306c1b28d550.tar.bz2 |
Daily bump.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 73 | ||||
-rw-r--r-- | gcc/DATESTAMP | 2 | ||||
-rw-r--r-- | gcc/analyzer/ChangeLog | 49 | ||||
-rw-r--r-- | gcc/cp/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/d/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/fortran/ChangeLog | 77 | ||||
-rw-r--r-- | gcc/go/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 30 |
8 files changed, 246 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d96235e..e314cfa 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,76 @@ +2022-11-10 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/99671 + * tristate.h (tristate::is_unknown): New. + +2022-11-10 David Malcolm <dmalcolm@redhat.com> + + * doc/gcc/gcc-command-options/options-that-control-static-analysis.rst: + Add -Wanalyzer-deref-before-check. + +2022-11-10 Marek Polacek <polacek@redhat.com> + + * doc/gcc/gcc-command-options/options-controlling-c++-dialect.rst: + Extend the description of -Wdangling-reference. + +2022-11-10 Andrew Pinski <apinski@marvell.com> + + * config/bfin/bfin.h (SLOW_SHORT_ACCESS): Delete. + * config/i386/i386.h (SLOW_SHORT_ACCESS): Delete. + * system.h: Poison SLOW_SHORT_ACCESS + +2022-11-10 Aldy Hernandez <aldyh@redhat.com> + + * value-range.cc (frange::set_nonnegative): Remove NAN sign handling. + (range_tests_signed_zeros): Adjust test. + +2022-11-10 Richard Biener <rguenther@suse.de> + + PR tree-optimization/84646 + * tree-ssa-forwprop.cc (pass_forwprop::execute): Improve + copy propagation across PHIs. + +2022-11-10 Philipp Tomsich <philipp.tomsich@vrull.eu> + + * config/riscv/riscv-cores.def (RISCV_TUNE): Update + sifive-7-series to point to the sifive_7 pipeline description. + +2022-11-10 Richard Biener <rguenther@suse.de> + + PR tree-optimization/84646 + * tree-ssa-ccp.cc (set_lattice_value): Make sure we + allow a const -> copy transition and avoid using meet + in that case. + +2022-11-10 Martin Liska <mliska@suse.cz> + + * doc/cpp/conf.py: Add newline at last line. + * doc/cppinternals/conf.py: Add newline at last line. + * doc/gcc/conf.py: Add newline at last line. + * doc/gccint/conf.py: Add newline at last line. + * doc/install/conf.py: Add newline at last line. + +2022-11-10 Richard Biener <rguenther@suse.de> + + * tree-ssa-loop-unswitch.cc (init_loop_unswitch_info): First collect + candidates and determine the outermost loop to unswitch. + (tree_ssa_unswitch_loops): First perform all guard hoisting, + then perform unswitching on innermost loop predicates. + (find_unswitching_predicates_for_bb): Keep track of the + outermost loop to unswitch. + (evaluate_bbs): Adjust exit test. + (tree_unswitch_single_loop): Dump whether we unswitched an outer + loop. + (tree_unswitch_loop): Remove assert we unswitch only innermost + loops. + +2022-11-10 Jakub Jelinek <jakub@redhat.com> + + PR target/107585 + PR target/107546 + * config/i386/i386-expand.cc (ix86_expand_int_sse_cmp): Use + gen_int_mode rather than GEN_INT. + 2022-11-09 Martin Liska <mliska@suse.cz> Sinan <sinan.lin@linux.alibaba.com> diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 2a7f865..361ef5a 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221110 +20221111 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 61188e9..99dbe7c 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,52 @@ +2022-11-10 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/99671 + * analyzer.opt (Wanalyzer-deref-before-check): New warning. + * diagnostic-manager.cc + (null_assignment_sm_context::set_next_state): Only add state + change events for transition to "null" state. + (null_assignment_sm_context::is_transition_to_null): New. + * engine.cc (impl_region_model_context::on_pop_frame): New. + * exploded-graph.h (impl_region_model_context::on_pop_frame): New + decl. + * program-state.cc (sm_state_map::clear_any_state): New. + (sm_state_map::can_merge_with_p): New. + (program_state::can_merge_with_p): Replace requirement that + sm-states be equal in favor of an attempt to merge them. + * program-state.h (sm_state_map::clear_any_state): New decl. + (sm_state_map::can_merge_with_p): New decl. + * region-model.cc (region_model::eval_condition): Make const. + (region_model::pop_frame): Call ctxt->on_pop_frame. + * region-model.h (region_model::eval_condition): Make const. + (region_model_context::on_pop_frame): New vfunc. + (noop_region_model_context::on_pop_frame): New. + (region_model_context_decorator::on_pop_frame): New. + * sm-malloc.cc (enum resource_state): Add RS_ASSUMED_NON_NULL. + (allocation_state::dump_to_pp): Drop "final". + (struct assumed_non_null_state): New subclass. + (malloc_state_machine::m_assumed_non_null): New. + (assumed_non_null_p): New. + (class deref_before_check): New. + (assumed_non_null_state::dump_to_pp): New. + (malloc_state_machine::get_or_create_assumed_non_null_state_for_frame): + New. + (malloc_state_machine::maybe_assume_non_null): New. + (malloc_state_machine::on_stmt): Transition from start state to + "assumed-non-null" state for pointers passed to + __attribute__((nonnull)) arguments, and for pointers explicitly + dereferenced. Call maybe_complain_about_deref_before_check for + pointers explicitly compared against NULL. + (malloc_state_machine::maybe_complain_about_deref_before_check): + New. + (malloc_state_machine::on_deallocator_call): Also transition + "assumed-non-null" states to "freed". + (malloc_state_machine::on_pop_frame): New. + (malloc_state_machine::maybe_get_merged_states_nonequal): New. + * sm-malloc.dot: Update for changes to sm-malloc.cc. + * sm.h (state_machine::on_pop_frame): New. + (state_machine::maybe_get_merged_state): New. + (state_machine::maybe_get_merged_states_nonequal): New. + 2022-11-09 David Malcolm <dmalcolm@redhat.com> * checker-path.cc (checker_event::debug): New. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 2395751..82c47d2 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,11 @@ +2022-11-10 Marek Polacek <polacek@redhat.com> + + * call.cc (std_pair_ref_ref_p): New. + (do_warn_dangling_reference): Also warn when the function returns + std::pair<const T&, const T&>. Recurse into TARGET_EXPR_INITIAL. + (maybe_warn_dangling_reference): Don't return early if we're + initializing a std_pair_ref_ref_p. + 2022-11-09 Jakub Jelinek <jakub@redhat.com> * tree.cc (handle_carries_dependency_attribute): New function. diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index f11b50d..774a3ff 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska <mliska@suse.cz> + + * doc/conf.py: Add newline at last line. + 2022-11-09 Martin Liska <mliska@suse.cz> * doc/copyright.rst: diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index c3439bb..9ae909b 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,80 @@ +2022-11-10 Martin Liska <mliska@suse.cz> + + * doc/gfortran/intrinsic-procedures/abs.rst: Move label directly before title. + * doc/gfortran/intrinsic-procedures/acos.rst: Likewise. + * doc/gfortran/intrinsic-procedures/acosd.rst: Likewise. + * doc/gfortran/intrinsic-procedures/acosh.rst: Likewise. + * doc/gfortran/intrinsic-procedures/aimag.rst: Likewise. + * doc/gfortran/intrinsic-procedures/aint.rst: Likewise. + * doc/gfortran/intrinsic-procedures/anint.rst: Likewise. + * doc/gfortran/intrinsic-procedures/asin.rst: Likewise. + * doc/gfortran/intrinsic-procedures/asind.rst: Likewise. + * doc/gfortran/intrinsic-procedures/asinh.rst: Likewise. + * doc/gfortran/intrinsic-procedures/atan.rst: Likewise. + * doc/gfortran/intrinsic-procedures/atan2.rst: Likewise. + * doc/gfortran/intrinsic-procedures/atan2d.rst: Likewise. + * doc/gfortran/intrinsic-procedures/atand.rst: Likewise. + * doc/gfortran/intrinsic-procedures/atanh.rst: Likewise. + * doc/gfortran/intrinsic-procedures/besselj0.rst: Likewise. + * doc/gfortran/intrinsic-procedures/besselj1.rst: Likewise. + * doc/gfortran/intrinsic-procedures/besseljn.rst: Likewise. + * doc/gfortran/intrinsic-procedures/bessely0.rst: Likewise. + * doc/gfortran/intrinsic-procedures/bessely1.rst: Likewise. + * doc/gfortran/intrinsic-procedures/besselyn.rst: Likewise. + * doc/gfortran/intrinsic-procedures/btest.rst: Likewise. + * doc/gfortran/intrinsic-procedures/char.rst: Likewise. + * doc/gfortran/intrinsic-procedures/conjg.rst: Likewise. + * doc/gfortran/intrinsic-procedures/cos.rst: Likewise. + * doc/gfortran/intrinsic-procedures/cosd.rst: Likewise. + * doc/gfortran/intrinsic-procedures/cosh.rst: Likewise. + * doc/gfortran/intrinsic-procedures/cotan.rst: Likewise. + * doc/gfortran/intrinsic-procedures/cotand.rst: Likewise. + * doc/gfortran/intrinsic-procedures/dim.rst: Likewise. + * doc/gfortran/intrinsic-procedures/dprod.rst: Likewise. + * doc/gfortran/intrinsic-procedures/erf.rst: Likewise. + * doc/gfortran/intrinsic-procedures/erfc.rst: Likewise. + * doc/gfortran/intrinsic-procedures/exp.rst: Likewise. + * doc/gfortran/intrinsic-procedures/gamma.rst: Likewise. + * doc/gfortran/intrinsic-procedures/iand.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ibclr.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ibits.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ibset.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ichar.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ieor.rst: Likewise. + * doc/gfortran/intrinsic-procedures/index.rst: Likewise. + * doc/gfortran/intrinsic-procedures/int.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ior.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ishft.rst: Likewise. + * doc/gfortran/intrinsic-procedures/ishftc.rst: Likewise. + * doc/gfortran/intrinsic-procedures/len.rst: Likewise. + * doc/gfortran/intrinsic-procedures/lge.rst: Likewise. + * doc/gfortran/intrinsic-procedures/lgt.rst: Likewise. + * doc/gfortran/intrinsic-procedures/lle.rst: Likewise. + * doc/gfortran/intrinsic-procedures/llt.rst: Likewise. + * doc/gfortran/intrinsic-procedures/log.rst: Likewise. + * doc/gfortran/intrinsic-procedures/log10.rst: Likewise. + * doc/gfortran/intrinsic-procedures/loggamma.rst: Likewise. + * doc/gfortran/intrinsic-procedures/max.rst: Likewise. + * doc/gfortran/intrinsic-procedures/min.rst: Likewise. + * doc/gfortran/intrinsic-procedures/mod.rst: Likewise. + * doc/gfortran/intrinsic-procedures/mvbits.rst: Likewise. + * doc/gfortran/intrinsic-procedures/nint.rst: Likewise. + * doc/gfortran/intrinsic-procedures/not.rst: Likewise. + * doc/gfortran/intrinsic-procedures/real.rst: Likewise. + * doc/gfortran/intrinsic-procedures/sign.rst: Likewise. + * doc/gfortran/intrinsic-procedures/sin.rst: Likewise. + * doc/gfortran/intrinsic-procedures/sind.rst: Likewise. + * doc/gfortran/intrinsic-procedures/sinh.rst: Likewise. + * doc/gfortran/intrinsic-procedures/sqrt.rst: Likewise. + * doc/gfortran/intrinsic-procedures/tan.rst: Likewise. + * doc/gfortran/intrinsic-procedures/tand.rst: Likewise. + * doc/gfortran/intrinsic-procedures/tanh.rst: Likewise. + +2022-11-10 Martin Liska <mliska@suse.cz> + + * doc/gfc-internals/conf.py: Add newline at last line. + * doc/gfortran/conf.py: Add newline at last line. + 2022-11-09 Harald Anlauf <anlauf@gmx.de> PR fortran/107559 diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog index 2635a7a..c18f984 100644 --- a/gcc/go/ChangeLog +++ b/gcc/go/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska <mliska@suse.cz> + + * doc/conf.py: Add newline at last line. + 2022-11-10 Ian Lance Taylor <iant@golang.org> PR target/107581 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0f91253..71b45de 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,33 @@ +2022-11-10 David Malcolm <dmalcolm@redhat.com> + + * gcc.dg/analyzer/deref-before-check-1.c: New test. + * gcc.dg/analyzer/deref-before-check-2.c: New test. + * gcc.dg/analyzer/deref-before-check-pr77425.c: New test. + * gcc.dg/analyzer/malloc-1.c (test_51): New test. + +2022-11-10 Marek Polacek <polacek@redhat.com> + + * g++.dg/warn/Wdangling-reference6.C: New test. + +2022-11-10 Richard Biener <rguenther@suse.de> + + PR tree-optimization/84646 + * gcc.dg/tree-ssa/ssa-ccp-42.c: New testcase. + +2022-11-10 Richard Biener <rguenther@suse.de> + + * gcc.dg/loop-unswitch-18.c: New testcase. + * gcc.dg/tree-ssa/loopclosedphi.c: Disable unswitching, + adjust expected counts. + * gcc.dg/torture/pr71462.c: Add -w to ignore undefined + behavior diagnostics after now unswitching outer loops. + +2022-11-10 Jakub Jelinek <jakub@redhat.com> + + PR target/107585 + PR target/107546 + * gcc.dg/pr107585.c: New test. + 2022-11-09 Harald Anlauf <anlauf@gmx.de> PR fortran/107559 |