Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2d8c237df6059a953e23a1ce9a23a33654d9242a..0154e462eeab960d17f857ea217f6017206ce6ff 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,113 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * gimple-ssa-warn-access.cc (warn_string_no_nul): Add
+       auto_diagnostic_group to group any warning with its note.
+       (maybe_warn_for_bound): Likewise.
+       (check_access): Likewise.
+       (warn_dealloc_offset): Likewise.
+       (pass_waccess::maybe_warn_memmodel): Likewise.
+       (pass_waccess::maybe_check_dealloc_call): Likewise.
+       (pass_waccess::warn_invalid_pointer): Likewise.
+       (pass_waccess::check_dangling_stores): Likewise.
+
+2022-06-16  Jason Merrill  <jason@redhat.com>
+
+       * opts.cc (common_handle_option) [OPT_fsanitize_]: Set
+       opts_set->x_flag_sanitize.
+
+2022-06-16  Jason Merrill  <jason@redhat.com>
+
+       * flags.h (issue_strict_overflow_warning): Comment #endif.
+
+2022-06-16  Andrew MacLeod  <amacleod@redhat.com>
+
+       * gimple-range-cache.cc (ranger_cache::apply_inferred_ranges): If name
+       was invaraint before, clear the invariant bit.
+       * gimple-range-gori.cc (gori_map::set_range_invariant): Add a flag.
+       * gimple-range-gori.h (gori_map::set_range_invariant): Adjust prototype.
+
+2022-06-16  Andrew MacLeod  <amacleod@redhat.com>
+
+       * tree-ssa-propagate.cc (before_dom_children): Call value_of_stmt.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/105983
+       * match.pd (y == XXX_MIN || x < y -> x <= y - 1,
+       y != XXX_MIN && x >= y -> x > y - 1): Use :cs instead of :s
+       on non-equality comparisons.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/105984
+       * match.pd (__builtin_mul_overflow_p (x, cst, (stype) 0) ->
+       x > stype_max / cst || x < stype_min / cst): fold_convert @1
+       to TREE_TYPE (@0) just once and test for negative divisor
+       also on that folded constant instead of on @1.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/105951
+       * tree-ssa-ccp.cc (optimize_atomic_bit_test_and,
+       optimize_atomic_op_fetch_cmp_0): Remember gimple_call_fn (call)
+       as last argument to the internal functions.
+       * builtins.cc (expand_ifn_atomic_bit_test_and): Adjust for the
+       extra call argument to ifns.  If expand_atomic_fetch_op fails for the
+       lhs == NULL_TREE case, fall through into the optab code with
+       gen_reg_rtx (mode) as target.  If second expand_atomic_fetch_op
+       fails, construct a CALL_EXPR and expand that.
+       (expand_ifn_atomic_op_fetch_cmp_0): Adjust for the extra call argument
+       to ifns.  If expand_atomic_fetch_op fails, construct a CALL_EXPR and
+       expand that.
+
+2022-06-16  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+       PR target/103316
+       * config/rs6000/rs6000-builtin.cc (rs6000_gimple_fold_builtin): Enable
+       gimple folding for RS6000_BIF_VCMPEQUT, RS6000_BIF_VCMPNET,
+       RS6000_BIF_CMPGE_1TI, RS6000_BIF_CMPGE_U1TI, RS6000_BIF_VCMPGTUT,
+       RS6000_BIF_VCMPGTST, RS6000_BIF_CMPLE_1TI, RS6000_BIF_CMPLE_U1TI.
+       * config/rs6000/vector.md (VEC_IC): New mode iterator.  Add support
+       for new Power10 V1TI instructions.
+       (vec_cmp<mode><mode>): Set mode iterator to VEC_IC.
+       (vec_cmpu<mode><mode>): Likewise.
+       (vector_nlt<mode>): Set mode iterator to VEC_IC.
+       (vector_nltv1ti): Remove.
+       (vector_gtu<mode>): Set mode iterator to VEC_IC.
+       (vector_gtuv1ti): Remove.
+       (vector_nltu<mode>): Set mode iterator to VEC_IC.
+       (vector_nltuv1ti): Remove.
+       (vector_geu<mode>): Set mode iterator to VEC_IC.
+       (vector_ngt<mode>): Likewise.
+       (vector_ngtv1ti): Remove.
+       (vector_ngtu<mode>): Set mode iterator to VEC_IC.
+       (vector_ngtuv1ti): Remove.
+       (vector_gtu_<mode>_p): Set mode iterator to VEC_IC.
+       (vector_gtu_v1ti_p): Remove.
+       (vrotl<mode>3): Set mode iterator to VEC_IC.  Emit insns for V1TI.
+       (vrotlv1ti3): Remove.
+       (vashr<mode>3): Set mode iterator to VEC_IC.  Emit insns for V1TI.
+       (vashrv1ti3): Remove.
+
+2022-06-16  Martin Liska  <mliska@suse.cz>
+
+       * gengtype-state.cc (read_a_state_token): Do not skip extra
+       character after escaped sequence.
+
+2022-06-16  Martin Liska  <mliska@suse.cz>
+
+       PR driver/105564
+       * spellcheck.cc (test_find_closest_string): Add new test.
+       * spellcheck.h (class best_match): Prefer a difference in
+       trailing sign symbol.
+
+2022-06-16  liuhongt  <hongtao.liu@intel.com>
+
+       PR tree-optimization/53533
+       * match.pd: Simplify (B * v + C) * D -> BD * v + CD and
+       (v + B) * C + D -> C * v + BCD when B,C,D are all INTEGER_CST,
+       and there's no overflow or !TYPE_OVERFLOW_UNDEFINED.
+
 2022-06-15  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
 
        * config/xtensa/xtensa.md (DSC): New split pattern and mode iterator.

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 3d5679990258cda01fdcbadae87bc5b1454f265d..0ebec288c7fc7a60c223460fe1532f2e6eef09ca 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220616
+20220617

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index eca4b9468945f5ef84d59f3844c4cd9a02115987..f69a5b68b42065c8da852764bb08d5ea7e88aafa 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,19 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * varargs.cc (va_arg_type_mismatch::emit): Associate the warning
+       with CWE-686 ("Function Call With Incorrect Argument Type").
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * varargs.cc: Include "diagnostic-metadata.h".
+       (va_list_exhausted::emit): Associate the warning with
+       CWE-685 ("Function Call With Incorrect Number of Arguments").
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * sm-file.cc (double_fclose::emit): Associate the warning with
+       CWE-1341 ("Multiple Releases of Same Resource or Handle").
+
 2022-06-15  David Malcolm  <dmalcolm@redhat.com>
 
        PR analyzer/105962

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 5be39413b623b235b051fa129ba23ef86df5d5fe..077b726d09ceab947b1d271d0e56e2bce4418f76 100644 (file)
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,26 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * c-decl.cc (implicitly_declare): Add auto_diagnostic_group to
+       group the warning with any note.
+       (warn_about_goto): Likewise to group error or warning with note.
+       Bail out if the warning wasn't emitted, to avoid emitting orphan
+       notes.
+       (lookup_label_for_goto): Add auto_diagnostic_group to
+       group the error with the note.
+       (check_earlier_gotos): Likewise.
+       (c_check_switch_jump_warnings): Likewise for any error/warning.
+       Conditionalize emission of the notes.
+       (diagnose_uninitialized_cst_member): Likewise for warning,
+       conditionalizing emission of the note.
+       (grokdeclarator): Add auto_diagnostic_group to group the "array
+       type has incomplete element type" error with any note.
+       (parser_xref_tag): Add auto_diagnostic_group to group warnings
+       with their notes.  Conditionalize emission of notes.
+       (start_struct): Add auto_diagnostic_group to group the
+       "redefinition of" errors with any note.
+       (start_enum): Likewise for "redeclaration of %<enum %E%>" error.
+       (check_for_loop_decls): Likewise for pre-C99 error.
+
 2022-06-07  Jakub Jelinek  <jakub@redhat.com>
 
        * c-parser.cc (c_parser_omp_clause_linear): Parse OpenMP 5.2

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6223cc224ac740eeffb4330b2cb34e09a7f70938..658525d60344d13a09a7f5203817392949e5b21e 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,14 @@
+2022-06-16  Nathan Sidwell  <nathan@acm.org>
+
+       * decl2.cc (finish_objects): Add startp parameter, adjust.
+       (generate_ctor_or_dtor_function): Detect empty fn, and don't
+       generate unnecessary code.  Remove objc startup here ...
+       (c_parse_final_cleanyps): ... do it here.
+
+2022-06-16  Martin Liska  <mliska@suse.cz>
+
+       * decl2.cc (struct priority_map_traits): Remove unused param.
+
 2022-06-15  Nathan Sidwell  <nathan@acm.org>
 
        * module.cc (module_state::write_readme): Use less confusing

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c8664b314450012399b41df600c089274f3193ea..5cdb3905d17b389dc12dad25195324bb4db8f27d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,60 @@
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * gcc.dg/analyzer/stdarg-1.c
+       (__analyzer_called_by_test_type_mismatch_1): Verify that
+       -Wanalyzer-va-arg-type-mismatch is associated with CWE-686.
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * gcc.dg/analyzer/stdarg-1.c
+       (__analyzer_called_by_test_not_enough_args): Verify that
+       -Wanalyzer-va-list-exhausted is associated with CWE-685.
+
+2022-06-16  David Malcolm  <dmalcolm@redhat.com>
+
+       * gcc.dg/analyzer/file-1.c (test_1): Verify that double-fclose is
+       associated with CWE-1341.
+
+2022-06-16  Nathan Sidwell  <nathan@acm.org>
+
+       * g++.dg/modules/init-2_b.C: Add init check.
+       * g++.dg/modules/init-2_c.C: Add init check.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/105983
+       * gcc.dg/tree-ssa/pr105983.c: New test.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/105984
+       * gcc.c-torture/execute/pr105984.c: New test.
+
+2022-06-16  Jakub Jelinek  <jakub@redhat.com>
+
+       PR middle-end/105951
+       * gcc.target/i386/pr105951-1.c: New test.
+       * gcc.target/i386/pr105951-2.c: New test.
+
+2022-06-16  Haochen Gui  <guihaoc@gcc.gnu.org>
+
+       PR target/103316
+       * gcc.target/powerpc/pr103316.c: New.
+       * gcc.target/powerpc/fold-vec-cmp-int128.c: New.
+
+2022-06-16  Jia-wei Chen  <jiawei@iscas.ac.cn>
+
+       * gcc.target/riscv/pr105666.c: New options.
+
+2022-06-16  liuhongt  <hongtao.liu@intel.com>
+
+       * gcc.target/i386/pr53533-1.c: New test.
+       * gcc.target/i386/pr53533-2.c: New test.
+       * gcc.target/i386/pr53533-3.c: New test.
+       * gcc.target/i386/pr53533-4.c: New test.
+       * gcc.target/i386/pr53533-5.c: New test.
+       * gcc.dg/vect/slp-11a.c: Adjust testcase.
+
 2022-06-15  Takayuki 'January June' Suwa  <jjsuwa_sys3175@yahoo.co.jp>
 
        * gcc.target/xtensa/sibcalls.c: New.

diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 80ca871a5587233fd8b06ec9cc4929bc2cd67106..c061aeb17b2cbd4470dc7c24e6ff0815eb14381d 100644 (file)
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,16 @@
+2022-06-16  Jonathan Wakely  <jwakely@redhat.com>
+
+       PR libstdc++/105995
+       * include/bits/basic_string.h (_M_use_local_data): Initialize
+       the entire SSO buffer.
+       * testsuite/21_strings/basic_string/cons/char/105995.cc: New test.
+
+2022-06-16  Jonathan Wakely  <jwakely@redhat.com>
+
+       PR libstdc++/101482
+       * include/ext/vstring.h (operator==): Always check lengths
+       before comparing.
+
 2022-06-15  François Dumont  <fdumont@gcc.gnu.org>
 
        PR libstdc++/105717