public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: GCC Administrator <gccadmin@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-8640] Daily bump. Date: Thu, 28 Jul 2022 00:19:34 +0000 (GMT) [thread overview] Message-ID: <20220728001934.D527E38582B2@sourceware.org> (raw) https://gcc.gnu.org/g:b2ae75fd2afc7d92f5f71748540390b7aebde4c6 commit r12-8640-gb2ae75fd2afc7d92f5f71748540390b7aebde4c6 Author: GCC Administrator <gccadmin@gcc.gnu.org> 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 <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: 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 <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. 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 <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:
reply other threads:[~2022-07-28 0:19 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20220728001934.D527E38582B2@sourceware.org \ --to=gccadmin@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).