diff --git a/ChangeLog b/ChangeLog index 234b732df76..c664c897411 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,14 @@ +2022-11-10 Martin Liska + + * doc/baseconf.py: Modernize by using pathlib. + +2022-11-10 Arsen Arsenović + + * doc/baseconf.py: Inject dirname(__file__)/'modules' to path + instead of just ``.''. + * doc/gcc_sphinx.py: Moved to... + * doc/modules/gcc_sphinx.py: ...here. + 2022-11-09 Martin Liska * configure.ac: Use new install URL. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d96235eb0d0..e314cfae70e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,76 @@ +2022-11-10 David Malcolm + + PR analyzer/99671 + * tristate.h (tristate::is_unknown): New. + +2022-11-10 David Malcolm + + * doc/gcc/gcc-command-options/options-that-control-static-analysis.rst: + Add -Wanalyzer-deref-before-check. + +2022-11-10 Marek Polacek + + * doc/gcc/gcc-command-options/options-controlling-c++-dialect.rst: + Extend the description of -Wdangling-reference. + +2022-11-10 Andrew Pinski + + * 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 + + * value-range.cc (frange::set_nonnegative): Remove NAN sign handling. + (range_tests_signed_zeros): Adjust test. + +2022-11-10 Richard Biener + + PR tree-optimization/84646 + * tree-ssa-forwprop.cc (pass_forwprop::execute): Improve + copy propagation across PHIs. + +2022-11-10 Philipp Tomsich + + * config/riscv/riscv-cores.def (RISCV_TUNE): Update + sifive-7-series to point to the sifive_7 pipeline description. + +2022-11-10 Richard Biener + + 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 + + * 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 + + * 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 + + 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 Sinan diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 2a7f865a5c1..361ef5a71d9 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20221110 +20221111 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 61188e92d8a..99dbe7c95f4 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,52 @@ +2022-11-10 David Malcolm + + 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 * checker-path.cc (checker_event::debug): New. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 2395751be2c..82c47d29c43 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,11 @@ +2022-11-10 Marek Polacek + + * call.cc (std_pair_ref_ref_p): New. + (do_warn_dangling_reference): Also warn when the function returns + std::pair. 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 * tree.cc (handle_carries_dependency_attribute): New function. diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index f11b50dda91..774a3ffbc5e 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska + + * doc/conf.py: Add newline at last line. + 2022-11-09 Martin Liska * doc/copyright.rst: diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index c3439bb687b..9ae909b2494 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,80 @@ +2022-11-10 Martin Liska + + * 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 + + * doc/gfc-internals/conf.py: Add newline at last line. + * doc/gfortran/conf.py: Add newline at last line. + 2022-11-09 Harald Anlauf PR fortran/107559 diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog index 2635a7a26f3..c18f9845008 100644 --- a/gcc/go/ChangeLog +++ b/gcc/go/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska + + * doc/conf.py: Add newline at last line. + 2022-11-10 Ian Lance Taylor PR target/107581 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0f912532dd7..71b45de5451 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,33 @@ +2022-11-10 David Malcolm + + * 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 + + * g++.dg/warn/Wdangling-reference6.C: New test. + +2022-11-10 Richard Biener + + PR tree-optimization/84646 + * gcc.dg/tree-ssa/ssa-ccp-42.c: New testcase. + +2022-11-10 Richard Biener + + * 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 + + PR target/107585 + PR target/107546 + * gcc.dg/pr107585.c: New test. + 2022-11-09 Harald Anlauf PR fortran/107559 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index e4e291e7938..228271fa7f9 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska + + * doc/conf.py: Add newline at last line. + 2022-11-09 Martin Liska * Makefile.in: Add missing HAS_SPHINX_BUILD. diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog index 30f596924ae..81f28e4ce3c 100644 --- a/libiberty/ChangeLog +++ b/libiberty/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska + + * doc/conf.py: Add newline at last line. + 2022-11-09 Martin Liska * doc/bsd.rst: diff --git a/libitm/ChangeLog b/libitm/ChangeLog index ed986cbf509..1c381140c11 100644 --- a/libitm/ChangeLog +++ b/libitm/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska + + * doc/conf.py: Add newline at last line. + 2022-11-09 Martin Liska * Makefile.in: Add missing HAS_SPHINX_BUILD. diff --git a/libquadmath/ChangeLog b/libquadmath/ChangeLog index d2d973d055b..25cf7101ee8 100644 --- a/libquadmath/ChangeLog +++ b/libquadmath/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska + + * doc/conf.py: Add newline at last line. + 2022-11-09 Martin Liska * Makefile.in: Add missing HAS_SPHINX_BUILD. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 23a2ca5c79a..f562aca2cd2 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,11 @@ +2022-11-10 Jonathan Wakely + + * include/std/concepts (__detail::__destructible_impl) + (__detail::__destructible): New variable templates. + (destructible): Use __detail::__destructible. + * testsuite/std/concepts/concepts.lang/concept.destructible/1.cc: + Add more checks for array and reference types. + 2022-11-08 Jonathan Wakely * testsuite/18_support/new_nothrow.cc: Add missing noexcept diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 9d9c92347c2..de633fcfa11 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,7 @@ +2022-11-10 Martin Liska + + * crontab: Fix superfluous 'sh' for Python script. + 2022-11-09 Martin Liska * update_web_docs_git.py: Create sources tarball.