From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id D527E38582B2; Thu, 28 Jul 2022 00:19:34 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D527E38582B2 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-8640] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/releases/gcc-12 X-Git-Oldrev: 7455e982f09832418fd98b7b0c2152eb7e3c1765 X-Git-Newrev: b2ae75fd2afc7d92f5f71748540390b7aebde4c6 Message-Id: <20220728001934.D527E38582B2@sourceware.org> Date: Thu, 28 Jul 2022 00:19:34 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 28 Jul 2022 00:19:34 -0000 https://gcc.gnu.org/g:b2ae75fd2afc7d92f5f71748540390b7aebde4c6 commit r12-8640-gb2ae75fd2afc7d92f5f71748540390b7aebde4c6 Author: GCC Administrator Date: Thu Jul 28 00:19:00 2022 +0000 Daily bump. Diff: --- gcc/ChangeLog | 70 +++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 76 +++++++++++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 64 +++++++++++++++++++++++++++++++++++++++++ 4 files changed, 211 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c1df19d6648..a3cb2c54f43 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,73 @@ +2022-07-27 David Malcolm + + * json.cc (string::print): Fix escaping of '\'. + +2022-07-27 David Malcolm + + * doc/invoke.texi (-fdump-analyzer-feasibility): Mention the + fpath.txt output. + +2022-07-27 Maciej W. Rozycki + + Backported from master: + 2022-07-27 Maciej W. Rozycki + + * config/riscv/riscv.md (stack_protect_set_): Remove + duplicate backslashes. + +2022-07-27 Richard Biener + + Backported from master: + 2022-07-26 Richard Biener + + PR tree-optimization/106189 + * gimple-array-bounds.cc (array_bounds_checker::check_mem_ref): + Divide using offset_ints. + +2022-07-27 Joseph Myers + + Backported from master: + 2022-06-30 Joseph Myers + + 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 + + Backported from master: + 2022-07-09 Andrew Pinski + + 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 + + Backported from master: + 2022-07-08 Tamar Christina + + PR tree-optimization/106063 + * match.pd: Do not apply pattern after veclower is not supported. + +2022-07-27 Alexandre Oliva + + Backported from master: + 2022-06-03 Alexandre Oliva + + 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 Backported from master: diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b7375eb6cba..12a06716f5a 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220727 +20220728 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 26c070ac19b..24d9c537b35 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,79 @@ +2022-07-27 David Malcolm + + * region.h (code_region::get_element): Remove stray decl. + (function_region::get_element): Likewise. + +2022-07-27 David Malcolm + + 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 + + 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 + + * 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 + + * 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 + + 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 + + * 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. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ae9c156b22c..bacd3196c38 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,67 @@ +2022-07-27 David Malcolm + + 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 + + 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 + + * 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 + + PR analyzer/105285 + * gcc.dg/analyzer/symbolic-12.c: New test. + +2022-07-27 Richard Biener + + Backported from master: + 2022-07-26 Richard Biener + + PR tree-optimization/106189 + * gcc.dg/pr106189.c: New testcase. + +2022-07-27 Andrew Pinski + + Backported from master: + 2022-07-09 Andrew Pinski + + PR tree-optimization/106087 + * gcc.c-torture/compile/inline-asm-1.c: New test. + +2022-07-27 Dimitar Dimitrov + + Backported from master: + 2022-07-10 Dimitar Dimitrov + + PR tree-optimization/106063 + * gcc.dg/pr106063.c: Require effective target int128. + +2022-07-27 Tamar Christina + + Backported from master: + 2022-07-08 Tamar Christina + + PR tree-optimization/106063 + * gcc.dg/pr106063.c: New test. + +2022-07-27 Alexandre Oliva + + Backported from master: + 2022-06-03 Alexandre Oliva + + PR tree-optimization/105665 + PR tree-optimization/100810 + * gcc.dg/torture/pr105665.c: New. + 2022-07-26 Harald Anlauf Backported from master: