Daily bump.

5 files changed, 207 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f1f3405..5c7dd7e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,79 @@
+2021-03-11  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/96374
+	* Makefile.in (ANALYZER_OBJS): Add analyzer/feasible-graph.o and
+	analyzer/trimmed-graph.o.
+	* doc/analyzer.texi (Analyzer Paths): Rewrite description of
+	feasibility checking to reflect new implementation.
+	* doc/invoke.texi (-fdump-analyzer-feasibility): Document new
+	option.
+	* shortest-paths.h (shortest_paths::get_shortest_distance): New.
+
+2021-03-11  David Malcolm  <dmalcolm@redhat.com>
+
+	* digraph.cc (selftest::test_shortest_paths): Update
+	shortest_paths init for new param.  Add test of
+	SPS_TO_GIVEN_TARGET.
+	* shortest-paths.h (enum shortest_path_sense): New.
+	(shortest_paths::shortest_paths): Add "sense" param.
+	Update for renamings.  Generalize to use "sense" param.
+	(shortest_paths::get_shortest_path): Rename param.
+	(shortest_paths::m_sense): New field.
+	(shortest_paths::m_prev): Rename...
+	(shortest_paths::m_best_edge): ...to this.
+	(shortest_paths::get_shortest_path): Update for renamings.
+	Conditionalize flipping of path on sense of traversal.
+
+2021-03-11  David Malcolm  <dmalcolm@redhat.com>
+
+	* digraph.cc (selftest::test_shortest_paths): Add test coverage
+	for paths from B and C.
+	* shortest-paths.h (shortest_paths::shortest_paths): Handle
+	unreachable nodes, rather than asserting.
+
+2021-03-11  David Edelsohn  <dje.gcc@gmail.com>
+
+	PR target/99094
+	* config/rs6000/rs6000.c (rs6000_xcoff_file_start): Don't create
+	xcoff_tbss_section_name.
+	* config/rs6000/xcoff.h (ASM_OUTPUT_TLS_COMMON): Use .lcomm.
+	* xcoffout.c (xcoff_tbss_section_name): Delete.
+	* xcoffout.h (xcoff_tbss_section_name): Delete.
+
+2021-03-11  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/99523
+	* tree-cfg.c (dump_function_to_file): Dump SSA names
+	w/o identifier to the decls section as well, not only those
+	without a VAR_DECL.
+
+2021-03-11  Jakub Jelinek  <jakub@redhat.com>
+
+	PR ipa/99517
+	* ipa-icf-gimple.c (func_checker::compare_gimple_call): For internal
+	function calls with lhs fail if the lhs don't have compatible types.
+
+2021-03-11  Hans-Peter Nilsson  <hp@axis.com>
+
+	* config/cris/cris.h (HARD_FRAME_POINTER_REGNUM): Define.
+	Change FRAME_POINTER_REGNUM to correspond to a new faked
+	register faked_fp, part of GENNONACR_REGS like faked_ap.
+	(CRIS_FAKED_REGS_CONTENTS): New helper macro.
+	(FIRST_PSEUDO_REGISTER, FIXED_REGISTERS, CALL_USED_REGISTERS):
+	(REG_ALLOC_ORDER, REG_CLASS_CONTENTS, REGNO_OK_FOR_BASE_P)
+	(ELIMINABLE_REGS, REGISTER_NAMES): Adjust accordingly.
+	* config/cris/cris.md (CRIS_FP_REGNUM): Renumber to new faked
+	register.
+	(CRIS_REAL_FP_REGNUM): New constant.
+	* config/cris/cris.c (cris_reg_saved_in_regsave_area): Check
+	for HARD_FRAME_POINTER_REGNUM instead of FRAME_POINTER_REGNUM.
+	(cris_initial_elimination_offset): Handle elimination changes
+	to HARD_FRAME_POINTER_REGNUM instead of FRAME_POINTER_REGNUM
+	and add one from FRAME_POINTER_REGNUM to
+	HARD_FRAME_POINTER_REGNUM.
+	(cris_expand_prologue, cris_expand_epilogue): Emit code for
+	hard_frame_pointer_rtx instead of frame_pointer_rtx.
+
 2021-03-10  David Edelsohn  <dje.gcc@gmail.com>
 
 	PR target/99492
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index f2ed86a..448fb4a 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210311
+20210312
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 9ed1624..94e87f6 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,59 @@
+2021-03-11  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/96374
+	* analyzer.opt (-param=analyzer-max-infeasible-edges=): New param.
+	(fdump-analyzer-feasibility): New flag.
+	* diagnostic-manager.cc: Include "analyzer/trimmed-graph.h" and
+	"analyzer/feasible-graph.h".
+	(epath_finder::epath_finder): Convert m_sep to a pointer and
+	only create it if !flag_analyzer_feasibility.
+	(epath_finder::~epath_finder): New.
+	(epath_finder::m_sep): Convert to a pointer.
+	(epath_finder::get_best_epath): Add param "diag_idx" and use it
+	when logging.  Rather than finding the shortest path and then
+	checking feasibility, instead use explore_feasible_paths unless
+	!flag_analyzer_feasibility, in which case simply use the shortest
+	path, and note if it is infeasible.  Update for m_sep becoming a
+	pointer.
+	(class feasible_worklist): New.
+	(epath_finder::explore_feasible_paths): New.
+	(epath_finder::process_worklist_item): New.
+	(class dump_eg_with_shortest_path): New.
+	(epath_finder::dump_trimmed_graph): New.
+	(epath_finder::dump_feasible_graph): New.
+	(saved_diagnostic::saved_diagnostic): Add "idx" param, using it
+	on new field m_idx.
+	(saved_diagnostic::to_json): Dump m_idx.
+	(saved_diagnostic::calc_best_epath): Pass m_idx to get_best_epath.
+	Remove assertion that m_problem was set when m_best_epath is NULL.
+	(diagnostic_manager::add_diagnostic): Pass an index when created
+	saved_diagnostic instances.
+	* diagnostic-manager.h (saved_diagnostic::saved_diagnostic): Add
+	"idx" param.
+	(saved_diagnostic::get_index): New accessor.
+	(saved_diagnostic::m_idx): New field.
+	* engine.cc (exploded_node::dump_dot): Call args.dump_extra_info.
+	Move code to...
+	(exploded_node::dump_processed_stmts): ...this new function and...
+	(exploded_node::dump_saved_diagnostics): ...this new function.
+	Add index of each diagnostic.
+	(exploded_edge::dump_dot):  Move bulk of code to...
+	(exploded_edge::dump_dot_label): ...this new function.
+	* exploded-graph.h (eg_traits::dump_args_t::dump_extra_info): New
+	vfunc.
+	(exploded_node::dump_processed_stmts): New decl.
+	(exploded_node::dump_saved_diagnostics): New decl.
+	(exploded_edge::dump_dot_label): New decl.
+	* feasible-graph.cc: New file.
+	* feasible-graph.h: New file.
+	* trimmed-graph.cc: New file.
+	* trimmed-graph.h: New file.
+
+2021-03-11  David Malcolm  <dmalcolm@redhat.com>
+
+	* diagnostic-manager.cc (epath_finder::epath_finder):
+	Update shortest_paths init for new param.
+
 2021-03-10  David Malcolm  <dmalcolm@redhat.com>
 
 	PR analyzer/96374
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 06c6dfa..6fb7bcf 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,21 @@
+2021-03-11  Nathan Sidwell  <nathan@acm.org>
+
+	PR c++/99248
+	* name-lookup.c (lookup_elaborated_type_1): Access slot not bind
+	when there's a binding vector.
+	* ptree.c (cxx_print_xnode): Lazy flags are no longer a thing.
+
+2021-03-11  Nathan Sidwell  <nathan@acm.org>
+
+	PR c++/99528
+	* module.cc (enum merge_kind): Delete MK_type_tmpl_spec,
+	MK_decl_tmpl_spec.
+	(trees_in::decl_value): Adjust add_mergeable_specialization call.
+	(trees_out::get_merge_kind): Adjust detecting a partial template
+	instantiation.
+	(trees_out::key_mergeable): Adjust handling same.
+	(trees_in::key_mergeabvle): Likewise.
+
 2021-03-10  Nathan Sidwell  <nathan@acm.org>
 
 	PR c++/99423
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7ed0052..4a59263 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,59 @@
+2021-03-11  David Malcolm  <dmalcolm@redhat.com>
+
+	PR analyzer/96374
+	* gcc.dg/analyzer/dot-output.c: Add -fdump-analyzer-feasibility
+	to options.
+	* gcc.dg/analyzer/feasibility-1.c (test_6): Remove xfail.
+	(test_7): New.
+	* gcc.dg/analyzer/pr93355-localealias-feasibility-2.c: Remove xfail.
+	* gcc.dg/analyzer/pr93355-localealias-feasibility-3.c: Remove xfails.
+	* gcc.dg/analyzer/pr93355-localealias-feasibility.c: Remove
+	-fno-analyzer-feasibility from options.
+	* gcc.dg/analyzer/pr93355-localealias.c: Likewise.
+	* gcc.dg/analyzer/unknown-fns-4.c: Remove xfail.
+
+2021-03-11  Nathan Sidwell  <nathan@acm.org>
+
+	PR c++/99248
+	* g++.dg/modules/pr99248.h: New.
+	* g++.dg/modules/pr99248_a.H: New.
+	* g++.dg/modules/pr99248_b.H: New.
+
+2021-03-11  Nathan Sidwell  <nathan@acm.org>
+
+	PR c++/99528
+	* g++.dg/modules/pr99528.h: New.
+	* g++.dg/modules/pr99528_a.H: New.
+	* g++.dg/modules/pr99528_b.H: New.
+	* g++.dg/modules/pr99528_c.C: New.
+
+2021-03-11  Richard Biener  <rguenther@suse.de>
+
+	PR testsuite/98245
+	* gcc.dg/vect/bb-slp-46.c: Scan for the scalar compute
+	instead of verifying the total number of adds.
+
+2021-03-11  Richard Biener  <rguenther@suse.de>
+
+	PR testsuite/97494
+	* gcc.dg/vect/pr97428.c: XFAIL on !vect_hw_misalign.
+
+2021-03-11  Richard Biener  <rguenther@suse.de>
+
+	PR testsuite/97494
+	* gcc.dg/vect/vect-complex-5.c: XFAIL on !vect_hw_misalign.
+
+2021-03-11  Richard Biener  <rguenther@suse.de>
+
+	PR testsuite/97494
+	* gcc.dg/vect/slp-21.c: Adjust for powerpc64*-*-*.
+
+2021-03-11  Jakub Jelinek  <jakub@redhat.com>
+
+	PR ipa/99517
+	* gcc.target/i386/avx2-pr99517-1.c: New test.
+	* gcc.target/i386/avx2-pr99517-2.c: New test.
+
 2021-03-10  David Edelsohn  <dje.gcc@gmail.com>
 
 	PR target/99492