diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2d8c237df60..0154e462eea 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,113 @@ +2022-06-16 David Malcolm + + * 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 + + * opts.cc (common_handle_option) [OPT_fsanitize_]: Set + opts_set->x_flag_sanitize. + +2022-06-16 Jason Merrill + + * flags.h (issue_strict_overflow_warning): Comment #endif. + +2022-06-16 Andrew MacLeod + + * 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 + + * tree-ssa-propagate.cc (before_dom_children): Call value_of_stmt. + +2022-06-16 Jakub Jelinek + + 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 + + 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 + + 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 + + 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): Set mode iterator to VEC_IC. + (vec_cmpu): Likewise. + (vector_nlt): Set mode iterator to VEC_IC. + (vector_nltv1ti): Remove. + (vector_gtu): Set mode iterator to VEC_IC. + (vector_gtuv1ti): Remove. + (vector_nltu): Set mode iterator to VEC_IC. + (vector_nltuv1ti): Remove. + (vector_geu): Set mode iterator to VEC_IC. + (vector_ngt): Likewise. + (vector_ngtv1ti): Remove. + (vector_ngtu): Set mode iterator to VEC_IC. + (vector_ngtuv1ti): Remove. + (vector_gtu__p): Set mode iterator to VEC_IC. + (vector_gtu_v1ti_p): Remove. + (vrotl3): Set mode iterator to VEC_IC. Emit insns for V1TI. + (vrotlv1ti3): Remove. + (vashr3): Set mode iterator to VEC_IC. Emit insns for V1TI. + (vashrv1ti3): Remove. + +2022-06-16 Martin Liska + + * gengtype-state.cc (read_a_state_token): Do not skip extra + character after escaped sequence. + +2022-06-16 Martin Liska + + 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 + + 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 * config/xtensa/xtensa.md (DSC): New split pattern and mode iterator. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 3d567999025..0ebec288c7f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220616 +20220617 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index eca4b946894..f69a5b68b42 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,19 @@ +2022-06-16 David Malcolm + + * varargs.cc (va_arg_type_mismatch::emit): Associate the warning + with CWE-686 ("Function Call With Incorrect Argument Type"). + +2022-06-16 David Malcolm + + * 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 + + * sm-file.cc (double_fclose::emit): Associate the warning with + CWE-1341 ("Multiple Releases of Same Resource or Handle"). + 2022-06-15 David Malcolm PR analyzer/105962 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 5be39413b62..077b726d09c 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,26 @@ +2022-06-16 David Malcolm + + * 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 %" error. + (check_for_loop_decls): Likewise for pre-C99 error. + 2022-06-07 Jakub Jelinek * c-parser.cc (c_parser_omp_clause_linear): Parse OpenMP 5.2 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 6223cc224ac..658525d6034 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,14 @@ +2022-06-16 Nathan Sidwell + + * 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 + + * decl2.cc (struct priority_map_traits): Remove unused param. + 2022-06-15 Nathan Sidwell * module.cc (module_state::write_readme): Use less confusing diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c8664b31445..5cdb3905d17 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,60 @@ +2022-06-16 David Malcolm + + * 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 + + * 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 + + * gcc.dg/analyzer/file-1.c (test_1): Verify that double-fclose is + associated with CWE-1341. + +2022-06-16 Nathan Sidwell + + * 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 + + PR tree-optimization/105983 + * gcc.dg/tree-ssa/pr105983.c: New test. + +2022-06-16 Jakub Jelinek + + PR tree-optimization/105984 + * gcc.c-torture/execute/pr105984.c: New test. + +2022-06-16 Jakub Jelinek + + 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 + + PR target/103316 + * gcc.target/powerpc/pr103316.c: New. + * gcc.target/powerpc/fold-vec-cmp-int128.c: New. + +2022-06-16 Jia-wei Chen + + * gcc.target/riscv/pr105666.c: New options. + +2022-06-16 liuhongt + + * 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 * gcc.target/xtensa/sibcalls.c: New. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 80ca871a558..c061aeb17b2 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,16 @@ +2022-06-16 Jonathan Wakely + + 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 + + PR libstdc++/101482 + * include/ext/vstring.h (operator==): Always check lengths + before comparing. + 2022-06-15 François Dumont PR libstdc++/105717