+2021-07-15 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * MAINTAINERS: Add myself to DCO section.
+
2021-07-09 Iain Sandoe <iain@sandoe.co.uk>
* configure: Regenerate.
+2021-07-15 Uroš Bizjak <ubizjak@gmail.com>
+
+ PR target/101346
+ * config/i386/i386.h (VALID_SSE_REG_MODE): Add TDmode.
+ (VALID_INT_MODE_P): Add SDmode and DDmode.
+ Add TDmode for TARGET_64BIT.
+ (VALID_DFP_MODE_P): Remove.
+ * config/i386/i386.c (ix86_hard_regno_mode_ok):
+ Do not use VALID_DFP_MODE_P.
+
+2021-07-15 Andrew MacLeod <amacleod@redhat.com>
+
+ * gimple-range-fold.cc (adjust_pointer_diff_expr): Use
+ gimple_range_type.
+ (fold_using_range::fold_stmt): Ditto.
+ (fold_using_range::range_of_range_op): Ditto.
+ (fold_using_range::range_of_phi): Ditto.
+ (fold_using_range::range_of_call): Ditto.
+ (fold_using_range::range_of_builtin_ubsan_call): Ditto.
+ (fold_using_range::range_of_builtin_call): Ditto.
+ (fold_using_range::range_of_cond_expr): Ditto.
+ * gimple-range-fold.h (gimple_range_type): New.
+
+2021-07-15 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/97027
+ * tree-ssa-strlen.c (handle_assign): New function.
+ (maybe_warn_overflow): Add argument.
+ (nonzero_bytes_for_type): New function.
+ (count_nonzero_bytes): Handle more tree types. Call
+ nonzero_bytes_for_tye.
+ (count_nonzero_bytes): Handle types.
+ (handle_store): Handle stores from function calls.
+ (strlen_check_and_optimize_call): Move code to handle_assign. Call
+ it for assignments from function calls.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/95006
+ PR analyzer/94713
+ PR analyzer/94714
+ * doc/invoke.texi: Add -Wanalyzer-use-of-uninitialized-value.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ * doc/invoke.texi (-fdump-analyzer-exploded-paths): New.
+
+2021-07-15 Martin Sebor <msebor@redhat.com>
+
+ PR c/101289
+ PR c/97548
+ * fold-const.c (operand_compare::operand_equal_p): Handle OEP_DECL_NAME.
+ (operand_compare::verify_hash_value): Same.
+ * tree-core.h (OEP_DECL_NAME): New.
+
+2021-07-15 Martin Jambor <mjambor@suse.cz>
+
+ * profile-count.h (profile_count::value): Change the return type to
+ uint64_t.
+ * gimple-pretty-print.c (dump_gimple_bb_header): Adjust print
+ statement.
+ * tree-cfg.c (dump_function_to_file): Likewise.
+
+2021-07-15 Bill Schmidt <wschmidt@linux.ibm.com>
+
+ PR target/101129
+ * config/rs6000/rs6000-p8swap.c (has_part_mult): New.
+ (rs6000_analyze_swaps): Insns containing a subreg of a mult are
+ not swappable.
+
+2021-07-15 Richard Biener <rguenther@suse.de>
+
+ * tree-vectorizer.h (vect_gen_while): Match up with
+ vect_gen_while_not.
+ * tree-vect-stmts.c (vect_gen_while): Adjust API to that
+ of vect_gen_while_not.
+ (vect_gen_while_not): Adjust.
+ * tree-vect-loop-manip.c (vect_set_loop_controls_directly): Likewise.
+
+2021-07-15 Aldy Hernandez <aldyh@redhat.com>
+
+ * gimple-range-cache.cc (non_null_ref::adjust_range): New.
+ (ranger_cache::range_of_def): Call adjust_range.
+ (ranger_cache::entry_range): Same.
+ * gimple-range-cache.h (non_null_ref::adjust_range): New.
+ * gimple-range.cc (gimple_ranger::range_of_expr): Call
+ adjust_range.
+ (gimple_ranger::range_on_entry): Same.
+
+2021-07-15 Tamar Christina <tamar.christina@arm.com>
+
+ Revert:
+ 2021-07-14 Tamar Christina <tamar.christina@arm.com>
+
+ * config/arm/neon.md (<sup>dot_prod<vsi2qi>): Drop statements.
+
+2021-07-15 Tamar Christina <tamar.christina@arm.com>
+
+ Revert:
+ 2021-07-14 Tamar Christina <tamar.christina@arm.com>
+
+ * config/aarch64/aarch64-simd-builtins.def (udot, sdot): Rename to...
+ (sdot_prod, udot_prod): ...These.
+ * config/aarch64/aarch64-simd.md (<sur>dot_prod<vsi2qi>): Remove.
+ (aarch64_<sur>dot<vsi2qi>): Rename to...
+ (<sur>dot_prod<vsi2qi>): ...This.
+ * config/aarch64/arm_neon.h (vdot_u32, vdotq_u32, vdot_s32, vdotq_s32):
+ Update builtins.
+
+2021-07-15 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/101437
+ * gimplify.c (gimplify_expr): Throw away volatile reads from empty
+ types even if they have non-BLKmode TYPE_MODE.
+
+2021-07-15 Richard Biener <rguenther@suse.de>
+
+ PR driver/101383
+ * gcc.c (process_command): Process -gtoggle like process_options
+ would after parsing options.
+
+2021-07-15 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * cfgexpand.c (expand_asm_loc): Adjust.
+ (expand_asm_stmt): Likewise.
+ * config/arm/aarch-common-protos.h (arm_md_asm_adjust): Likewise.
+ * config/arm/aarch-common.c (arm_md_asm_adjust): Likewise.
+ * config/arm/arm.c (thumb1_md_asm_adjust): Likewise.
+ * config/avr/avr.c (avr_md_asm_adjust): Likewise.
+ * config/cris/cris.c (cris_md_asm_adjust): Likewise.
+ * config/i386/i386.c (ix86_md_asm_adjust): Likewise.
+ * config/mn10300/mn10300.c (mn10300_md_asm_adjust): Likewise.
+ * config/nds32/nds32.c (nds32_md_asm_adjust): Likewise.
+ * config/pdp11/pdp11.c (pdp11_md_asm_adjust): Likewise.
+ * config/rs6000/rs6000.c (rs6000_md_asm_adjust): Likewise.
+ * config/s390/s390.c (s390_md_asm_adjust): Likewise.
+ * config/vax/vax.c (vax_md_asm_adjust): Likewise.
+ * config/visium/visium.c (visium_md_asm_adjust): Likewise.
+ * doc/tm.texi: Regenerate.
+ * target.def: Add location argument to md_asm_adjust.
+
+2021-07-15 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * tree-diagnostic.c (diagnostic_report_current_function): Use the
+ diagnostic's location, not input_location.
+
+2021-07-15 Trevor Saunders <tbsaunde@tbsaunde.org>
+
+ * cfgexpand.c (tree_conflicts_with_clobbers_p): Pass location to
+ diagnostics.
+ (expand_asm_stmt): Likewise.
+
2021-07-14 Peter Bergner <bergner@linux.ibm.com>
* config/rs6000/rs6000.c (adjacent_mem_locations): Return the lower
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ * svalue.h (is_a_helper <placeholder_svalue *>::test): Make
+ param and template param const.
+ (is_a_helper <widening_svalue *>::test): Likewise.
+ (is_a_helper <compound_svalue *>::test): Likewise.
+ (is_a_helper <conjured_svalue *>::test): Likewise.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/95006
+ PR analyzer/94713
+ PR analyzer/94714
+ * analyzer.cc (maybe_reconstruct_from_def_stmt): Split out
+ GIMPLE_ASSIGN case into...
+ (get_diagnostic_tree_for_gassign_1): New.
+ (get_diagnostic_tree_for_gassign): New.
+ * analyzer.h (get_diagnostic_tree_for_gassign): New decl.
+ * analyzer.opt (Wanalyzer-write-to-string-literal): New.
+ * constraint-manager.cc (class svalue_purger): New.
+ (constraint_manager::purge_state_involving): New.
+ * constraint-manager.h
+ (constraint_manager::purge_state_involving): New.
+ * diagnostic-manager.cc (saved_diagnostic::supercedes_p): New.
+ (dedupe_winners::handle_interactions): New.
+ (diagnostic_manager::emit_saved_diagnostics): Call it.
+ * diagnostic-manager.h (saved_diagnostic::supercedes_p): New decl.
+ * engine.cc (impl_region_model_context::warn): Convert return type
+ to bool. Return false if the diagnostic isn't saved.
+ (impl_region_model_context::purge_state_involving): New.
+ (impl_sm_context::get_state): Use NULL ctxt when querying old
+ rvalue.
+ (impl_sm_context::set_next_state): Use new sval when querying old
+ state.
+ (class dump_path_diagnostic): Move to region-model.cc
+ (exploded_node::on_stmt): Move to on_stmt_pre and on_stmt_post.
+ Remove call to purge_state_involving.
+ (exploded_node::on_stmt_pre): New, based on the above. Move most
+ of it to region_model::on_stmt_pre.
+ (exploded_node::on_stmt_post): Likewise, moving to
+ region_model::on_stmt_post.
+ (class stale_jmp_buf): Fix parent class to use curiously recurring
+ template pattern.
+ (feasibility_state::maybe_update_for_edge): Call on_call_pre and
+ on_call_post on gcalls.
+ * exploded-graph.h (impl_region_model_context::warn): Return bool.
+ (impl_region_model_context::purge_state_involving): New decl.
+ (exploded_node::on_stmt_pre): New decl.
+ (exploded_node::on_stmt_post): New decl.
+ * pending-diagnostic.h (pending_diagnostic::use_of_uninit_p): New.
+ (pending_diagnostic::supercedes_p): New.
+ * program-state.cc (sm_state_map::get_state): Inherit state for
+ conjured_svalue as well as initial_svalue.
+ (sm_state_map::purge_state_involving): Also support SK_CONJURED.
+ * region-model-impl-calls.cc (call_details::get_uncertainty):
+ Handle m_ctxt being NULL.
+ (call_details::get_or_create_conjured_svalue): New.
+ (region_model::impl_call_fgets): New.
+ (region_model::impl_call_fread): New.
+ * region-model-manager.cc
+ (region_model_manager::get_or_create_initial_value): Return an
+ uninitialized poisoned value for regions that can't have initial
+ values.
+ * region-model-reachability.cc
+ (reachable_regions::mark_escaped_clusters): Handle ctxt being
+ NULL.
+ * region-model.cc (region_to_value_map::purge_state_involving): New.
+ (poisoned_value_diagnostic::use_of_uninit_p): New.
+ (poisoned_value_diagnostic::emit): Handle POISON_KIND_UNINIT.
+ (poisoned_value_diagnostic::describe_final_event): Likewise.
+ (region_model::check_for_poison): New.
+ (region_model::on_assignment): Call it.
+ (class dump_path_diagnostic): Move here from engine.cc.
+ (region_model::on_stmt_pre): New, based on exploded_node::on_stmt.
+ (region_model::on_call_pre): Move the setting of the LHS to a
+ conjured svalue to before the checks for specific functions.
+ Handle "fgets", "fgets_unlocked", and "fread".
+ (region_model::purge_state_involving): New.
+ (region_model::handle_unrecognized_call): Handle ctxt being NULL.
+ (region_model::get_rvalue): Call check_for_poison.
+ (selftest::test_stack_frames): Use NULL for context when getting
+ uninitialized rvalue.
+ (selftest::test_alloca): Likewise.
+ * region-model.h (region_to_value_map::purge_state_involving): New
+ decl.
+ (call_details::get_or_create_conjured_svalue): New decl.
+ (region_model::on_stmt_pre): New decl.
+ (region_model::purge_state_involving): New decl.
+ (region_model::impl_call_fgets): New decl.
+ (region_model::impl_call_fread): New decl.
+ (region_model::check_for_poison): New decl.
+ (region_model_context::warn): Return bool.
+ (region_model_context::purge_state_involving): New.
+ (noop_region_model_context::warn): Return bool.
+ (noop_region_model_context::purge_state_involving): New.
+ (test_region_model_context:: warn): Return bool.
+ * region.cc (region::get_memory_space): New.
+ (region::can_have_initial_svalue_p): New.
+ (region::involves_p): New.
+ * region.h (enum memory_space): New.
+ (region::get_memory_space): New decl.
+ (region::can_have_initial_svalue_p): New decl.
+ (region::involves_p): New decl.
+ * sm-malloc.cc (use_after_free::supercedes_p): New.
+ * store.cc (binding_cluster::purge_state_involving): New.
+ (store::purge_state_involving): New.
+ * store.h (class symbolic_binding): New forward decl.
+ (binding_key::dyn_cast_symbolic_binding): New.
+ (symbolic_binding::dyn_cast_symbolic_binding): New.
+ (binding_cluster::purge_state_involving): New.
+ (store::purge_state_involving): New.
+ * svalue.cc (svalue::can_merge_p): Reject attempts to merge
+ poisoned svalues with other svalues, so that we identify
+ paths in which a variable is conditionally uninitialized.
+ (involvement_visitor::visit_conjured_svalue): New.
+ (svalue::involves_p): Also handle SK_CONJURED.
+ (poison_kind_to_str): Handle POISON_KIND_UNINIT.
+ (poisoned_svalue::maybe_fold_bits_within): New.
+ * svalue.h (enum poison_kind): Add POISON_KIND_UNINIT.
+ (poisoned_svalue::maybe_fold_bits_within): New decl.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ * analyzer.opt (fdump-analyzer-exploded-paths): New.
+ * diagnostic-manager.cc
+ (diagnostic_manager::emit_saved_diagnostic): Implement it.
+ * engine.cc (exploded_path::dump_to_pp): Add ext_state param and
+ use it to dump states if non-NULL.
+ (exploded_path::dump): Likewise.
+ (exploded_path::dump_to_file): New.
+ * exploded-graph.h (exploded_path::dump_to_pp): Add ext_state
+ param.
+ (exploded_path::dump): Likewise.
+ (exploded_path::dump): Likewise.
+ (exploded_path::dump_to_file): New.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ * analyzer.cc (fixup_tree_for_diagnostic_1): Use DECL_DEBUG_EXPR
+ if it's available.
+ * engine.cc (readability): Likewise.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ * state-purge.cc (self_referential_phi_p): New.
+ (state_purge_per_ssa_name::process_point): Don't purge an SSA name
+ at its def-stmt if the def-stmt is self-referential.
+
2021-07-07 David Malcolm <dmalcolm@redhat.com>
* diagnostic-manager.cc (null_assignment_sm_context::get_state):
+2021-07-15 Martin Sebor <msebor@redhat.com>
+
+ PR c/101289
+ PR c/97548
+ * c-warn.c (warn_parm_array_mismatch): Use OEP_DECL_NAME.
+
2021-07-14 Jason Merrill <jason@redhat.com>
* c-opts.c (c_common_post_options): Set -fdelete-dead-exceptions.
+2021-07-15 Martin Sebor <msebor@redhat.com>
+
+ PR c/101289
+ PR c/97548
+ * c-decl.c (get_parm_array_spec): Strip nops.
+
2021-07-06 Martin Sebor <msebor@redhat.com>
* c-objc-common.c (c_tree_printer): Remove support for %G and %K.
+2021-07-15 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/101443
+ * cp-gimplify.c (cp_fold): For comparisons with NULLPTR_TYPE
+ operands, fold them right away to true or false.
+
+2021-07-15 Jason Merrill <jason@redhat.com>
+
+ PR c++/101095
+ * cp-objcp-common.c (cp_common_init_ts): Mark types as types.
+ (cp_tree_size): Remove redundant entries.
+
2021-07-14 Patrick Palka <ppalka@redhat.com>
PR c++/88252
+2021-07-15 Uroš Bizjak <ubizjak@gmail.com>
+
+ PR target/101346
+ * gcc.target/i386/pr101346.c: New test.
+
+2021-07-15 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/97027
+ * gcc.dg/Wstringop-overflow-15.c: Remove an xfail.
+ * gcc.dg/Wstringop-overflow-47.c: Adjust xfails.
+ * gcc.dg/torture/pr69170.c: Avoid valid warnings.
+ * gcc.dg/torture/pr70025.c: Prune out a false positive.
+ * gcc.dg/vect/pr97769.c: Initialize a loop control variable.
+ * gcc.target/i386/pr92658-avx512bw-trunc.c: Increase buffer size
+ to avoid overflow.
+ * gcc.target/i386/pr92658-avx512f.c: Same.
+ * gcc.dg/Wstringop-overflow-68.c: New test.
+ * gcc.dg/Wstringop-overflow-69.c: New test.
+ * gcc.dg/Wstringop-overflow-70.c: New test.
+ * gcc.dg/Wstringop-overflow-71.c: New test.
+ * gcc.dg/strlenopt-95.c: New test.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/95006
+ PR analyzer/94713
+ PR analyzer/94714
+ * g++.dg/analyzer/pr93212.C: Update location of warning.
+ * g++.dg/analyzer/pr94011.C: Add
+ -Wno-analyzer-use-of-uninitialized-value.
+ * g++.dg/analyzer/pr94503.C: Likewise.
+ * gcc.dg/analyzer/clobbers-1.c: Convert "f" from a local to a
+ param to avoid uninitialized warning.
+ * gcc.dg/analyzer/data-model-1.c (test_12): Add test for
+ uninitialized value on result of alloca.
+ (test_12a): Add expected warning.
+ (test_12c): Likewise.
+ (test_19): Likewise.
+ (test_29b): Likewise.
+ (test_29c): Likewise.
+ (test_37): Remove xfail.
+ (test_37a): Likewise.
+ * gcc.dg/analyzer/data-model-20.c: Add warning about leak.
+ * gcc.dg/analyzer/explode-2.c: Remove params; add
+ -Wno-analyzer-too-complex, -Wno-analyzer-malloc-leak, and xfails.
+ Initialize the locals.
+ * gcc.dg/analyzer/explode-2a.c: Initialize the locals. Add
+ expected leak.
+ * gcc.dg/analyzer/fgets-1.c: New test.
+ * gcc.dg/analyzer/fread-1.c: New test.
+ * gcc.dg/analyzer/malloc-1.c (test_16): Add expected warning.
+ (test_40): Likewise.
+ * gcc.dg/analyzer/memset-CVE-2017-18549-1.c: Check for
+ uninitialized padding.
+ * gcc.dg/analyzer/pr93355-localealias-feasibility.c (fread): New
+ decl.
+ (read_alias_file): Call it.
+ * gcc.dg/analyzer/pr94047.c: Add expected warnings.
+ * gcc.dg/analyzer/pr94851-2.c: Likewise.
+ * gcc.dg/analyzer/pr96841.c: Convert local to a param.
+ * gcc.dg/analyzer/pr98628.c: Likewise.
+ * gcc.dg/analyzer/pr99042.c: Updated expected location of leak
+ diagnostics.
+ * gcc.dg/analyzer/symbolic-1.c: Add expected warnings.
+ * gcc.dg/analyzer/symbolic-7.c: Likewise.
+ * gcc.dg/analyzer/torture/pr93649.c: Add expected warning. Skip
+ with -fno-fat-lto-objects.
+ * gcc.dg/analyzer/uninit-1.c: New test.
+ * gcc.dg/analyzer/uninit-2.c: New test.
+ * gcc.dg/analyzer/uninit-3.c: New test.
+ * gcc.dg/analyzer/uninit-4.c: New test.
+ * gcc.dg/analyzer/uninit-pr94713.c: New test.
+ * gcc.dg/analyzer/uninit-pr94714.c: New test.
+ * gcc.dg/analyzer/use-after-free-2.c: New test.
+ * gcc.dg/analyzer/use-after-free-3.c: New test.
+ * gcc.dg/analyzer/zlib-3.c: Add expected warning.
+ * gcc.dg/analyzer/zlib-6.c: Convert locals to params to avoid
+ uninitialized warnings. Remove xfail.
+ * gcc.dg/analyzer/zlib-6a.c: New test, based on the old version
+ of the above.
+ * gfortran.dg/analyzer/pr97668.f: Add
+ -Wno-analyzer-use-of-uninitialized-value and
+ -Wno-analyzer-too-complex.
+
+2021-07-15 David Malcolm <dmalcolm@redhat.com>
+
+ * gcc.dg/analyzer/phi-1.c: New test.
+
+2021-07-15 Christophe Lyon <christophe.lyon@foss.st.com>
+
+ * lib/target-supports.exp (arm_v8_2a_imm8_neon_ok_nocache):
+ Delete.
+
+2021-07-15 Christophe Lyon <christophe.lyon@foss.st.com>
+
+ * gcc.target/arm/simd/vusdot-autovec.c: Use arm_v8_2a_i8mm_ok
+ effective-target.
+
+2021-07-15 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/101443
+ * g++.dg/cpp0x/nullptr46.C: New test.
+
+2021-07-15 Tamar Christina <tamar.christina@arm.com>
+
+ PR middle-end/101457
+ * gcc.dg/vect/vect-reduc-dot-17.c: Fix signs of scalar code.
+ * gcc.dg/vect/vect-reduc-dot-18.c: Likewise.
+ * gcc.dg/vect/vect-reduc-dot-22.c: Likewise.
+ * gcc.dg/vect/vect-reduc-dot-9.c: Likewise.
+
+2021-07-15 Martin Sebor <msebor@redhat.com>
+
+ * gcc.dg/Wvla-parameter-12.c: New test.
+
+2021-07-15 Bill Schmidt <wschmidt@linux.ibm.com>
+
+ PR target/101129
+ * gcc.target/powerpc/pr101129.c: New.
+
+2021-07-15 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/101437
+ * gcc.c-torture/compile/pr101437.c: New test.
+
2021-07-14 Peter Bergner <bergner@linux.ibm.com>
* gcc.target/powerpc/mma-builtin-9.c: New test.
+2021-07-15 Alan Modra <amodra@gmail.com>
+
+ * config/rs6000/morestack.S (R2_SAVE): Define.
+ (__morestack): Save and restore r2. Set up r2 for called
+ functions.
+
2021-07-01 H.J. Lu <hjl.tools@gmail.com>
* soft-fp/extendhfxf2.c: New file.
+2021-07-15 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/101427
+ * include/std/tuple (tuple_element): Improve static_assert text.
+ (__get_helper): Add deleted overload.
+ (get<i>(tuple<T...>&&), get<i>(const tuple<T...>&&)): Use
+ __get_helper directly.
+ (__get_helper2): Remove.
+ (__find_uniq_type_in_pack): New constexpr helper function.
+ (get<T>): Use __find_uniq_type_in_pack and __get_helper instead
+ of __get_helper2.
+ * testsuite/20_util/tuple/element_access/get_neg.cc: Adjust
+ expected errors.
+ * testsuite/20_util/tuple/element_access/101427.cc: New test.
+
+2021-07-15 Jonathan Wakely <jwakely@redhat.com>
+
+ PR libstdc++/101429
+ * include/bits/c++config (__replacement_assert): Add noexcept.
+ [!_GLIBCXX_VERBOSE] (__glibcxx_assert_impl): Use __builtin_trap
+ instead of __replacement_assert.
+
2021-07-14 Jonathan Wakely <jwakely@redhat.com>
* include/std/string_view (basic_string_view(It, End)): Add
projects / thirdparty / gcc.git / commitdiff
