+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ * json.cc (string::print): Fix escaping of '\'.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ * doc/invoke.texi (-fdump-analyzer-feasibility): Mention the
+ fpath.txt output.
+
+2022-07-27 Maciej W. Rozycki <macro@embecosm.com>
+
+ Backported from master:
+ 2022-07-27 Maciej W. Rozycki <macro@embecosm.com>
+
+ * config/riscv/riscv.md (stack_protect_set_<mode>): Remove
+ duplicate backslashes.
+
+2022-07-27 Richard Biener <rguenther@suse.de>
+
+ Backported from master:
+ 2022-07-26 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/106189
+ * gimple-array-bounds.cc (array_bounds_checker::check_mem_ref):
+ Divide using offset_ints.
+
+2022-07-27 Joseph Myers <joseph@codesourcery.com>
+
+ Backported from master:
+ 2022-06-30 Joseph Myers <joseph@codesourcery.com>
+
+ PR lto/106129
+ * lto-wrapper.cc (find_option): Add argument start.
+ (merge_and_complain): Loop over existing_opt_index and
+ existing_opt2_index for Xassembler check. Update calls to
+ find_option.
+ (find_and_merge_options): Add argument first to determine whether
+ to merge options with those passed in *opts.
+ (run_gcc): Update calls to find_and_merge_options.
+
+2022-07-27 Andrew Pinski <apinski@marvell.com>
+
+ Backported from master:
+ 2022-07-09 Andrew Pinski <apinski@marvell.com>
+
+ PR tree-optimization/106087
+ * tree-ssa-dce.cc (simple_dce_from_worklist): Check
+ to make sure the statement is only defining one operand.
+
+2022-07-27 Tamar Christina <tamar.christina@arm.com>
+
+ Backported from master:
+ 2022-07-08 Tamar Christina <tamar.christina@arm.com>
+
+ PR tree-optimization/106063
+ * match.pd: Do not apply pattern after veclower is not supported.
+
+2022-07-27 Alexandre Oliva <oliva@adacore.com>
+
+ Backported from master:
+ 2022-06-03 Alexandre Oliva <oliva@adacore.com>
+
+ PR tree-optimization/105665
+ PR tree-optimization/100810
+ * tree-ssa-loop-ivopts.cc
+ (ssa_name_maybe_undef_p, ssa_name_set_maybe_undef): New.
+ (ssa_name_any_use_dominates_bb_p, mark_ssa_maybe_undefs): New.
+ (find_ssa_undef): Check precomputed flag and intervening uses.
+ (tree_ssa_iv_optimize): Call mark_ssa_maybe_undefs.
+
2022-07-25 Sebastian Huber <sebastian.huber@embedded-brains.de>
Backported from master:
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ * region.h (code_region::get_element): Remove stray decl.
+ (function_region::get_element): Likewise.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/106225
+ * sm-taint.cc (taint_state_machine::on_stmt): Move handling of
+ assignments from division to...
+ (taint_state_machine::check_for_tainted_divisor): ...this new
+ function. Reject warning when the divisor is known to be non-zero.
+ * sm.cc: Include "analyzer/program-state.h".
+ (sm_context::get_old_region_model): New.
+ * sm.h (sm_context::get_old_region_model): New decl.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/106204
+ * region-model.cc (within_short_circuited_stmt_p): Move extraction
+ of assign_stmt to caller.
+ (due_to_ifn_deferred_init_p): New.
+ (region_model::check_for_poison): Move extraction of assign_stmt
+ from within_short_circuited_stmt_p to here. Share logic with
+ call to due_to_ifn_deferred_init_p.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ * diagnostic-manager.cc (saved_diagnostic::dump_dot_id): New.
+ (saved_diagnostic::dump_as_dot_node): New.
+ * diagnostic-manager.h (saved_diagnostic::dump_dot_id): New decl.
+ (saved_diagnostic::dump_as_dot_node): New decl.
+ * engine.cc (exploded_node::dump_dot): Add nodes for saved
+ diagnostics.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ * checker-path.cc (state_change_event::get_desc): Call maybe_free
+ on label_text temporaries.
+ * diagnostic-manager.cc
+ (diagnostic_manager::prune_for_sm_diagnostic): Likewise.
+ * engine.cc (exploded_graph::~exploded_graph): Fix leak of
+ m_per_point_data and m_per_call_string_data values. Simplify
+ cleanup of m_per_function_stats and m_per_point_data values.
+ (feasibility_state::maybe_update_for_edge): Fix leak of result of
+ superedge::get_description.
+ * region-model-manager.cc
+ (region_model_manager::~region_model_manager): Move cleanup of
+ m_setjmp_values to match the ordering of the fields within
+ region_model_manager. Fix leak of values within
+ m_repeated_values_map, m_bits_within_values_map,
+ m_asm_output_values_map, and m_const_fn_result_values_map.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/105285
+ * store.cc (binding_cluster::get_any_binding): Handle accessing
+ sub_svalues of clusters where the base region has a symbolic
+ binding.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ * diagnostic-manager.cc (epath_finder::process_worklist_item):
+ Call dump_feasible_path when a path that reaches the the target
+ enode is found.
+ (epath_finder::dump_feasible_path): New.
+ * engine.cc (feasibility_state::dump_to_pp): New.
+ * exploded-graph.h (feasibility_state::dump_to_pp): New decl.
+ * feasible-graph.cc (feasible_graph::dump_feasible_path): New.
+ * feasible-graph.h (feasible_graph::dump_feasible_path): New
+ decls.
+ * program-point.cc (function_point::print): Fix missing trailing
+ newlines.
+ * program-point.h (program_point::print_source_line): Remove
+ unimplemented decl.
+
2022-05-06 Release Manager
* GCC 12.1.0 released.
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/106225
+ * gcc.dg/analyzer/taint-divisor-1.c: Add test coverage for various
+ correct and incorrect checks against zero.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/106204
+ * gcc.dg/analyzer/torture/uninit-pr106204.c: New test.
+ * gcc.dg/analyzer/uninit-pr106204.c: New test.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ * gcc.dg/analyzer/uninit-1.c: Add test coverage of attempts
+ to jump through an uninitialized function pointer, and of attempts
+ to pass an uninitialized value to a function call.
+
+2022-07-27 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/105285
+ * gcc.dg/analyzer/symbolic-12.c: New test.
+
+2022-07-27 Richard Biener <rguenther@suse.de>
+
+ Backported from master:
+ 2022-07-26 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/106189
+ * gcc.dg/pr106189.c: New testcase.
+
+2022-07-27 Andrew Pinski <apinski@marvell.com>
+
+ Backported from master:
+ 2022-07-09 Andrew Pinski <apinski@marvell.com>
+
+ PR tree-optimization/106087
+ * gcc.c-torture/compile/inline-asm-1.c: New test.
+
+2022-07-27 Dimitar Dimitrov <dimitar@dinux.eu>
+
+ Backported from master:
+ 2022-07-10 Dimitar Dimitrov <dimitar@dinux.eu>
+
+ PR tree-optimization/106063
+ * gcc.dg/pr106063.c: Require effective target int128.
+
+2022-07-27 Tamar Christina <tamar.christina@arm.com>
+
+ Backported from master:
+ 2022-07-08 Tamar Christina <tamar.christina@arm.com>
+
+ PR tree-optimization/106063
+ * gcc.dg/pr106063.c: New test.
+
+2022-07-27 Alexandre Oliva <oliva@adacore.com>
+
+ Backported from master:
+ 2022-06-03 Alexandre Oliva <oliva@adacore.com>
+
+ PR tree-optimization/105665
+ PR tree-optimization/100810
+ * gcc.dg/torture/pr105665.c: New.
+
2022-07-26 Harald Anlauf <anlauf@gmx.de>
Backported from master:
projects / thirdparty / gcc.git / commitdiff
