OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Daily bump.

This commit is contained in:
GCC Administrator 2022-07-28 00:19:00 +00:00
parent 7455e982f0
commit b2ae75fd2a
4 changed files with 211 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

70
gcc/ChangeLog
View File

@ -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:

2
gcc/DATESTAMP
View File

@ -1 +1 @@
20220727
20220728

76
gcc/analyzer/ChangeLog
View File

@ -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.

64
gcc/testsuite/ChangeLog
View File

@ -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: