Daily bump.

6 files changed, 264 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 17032b5..73748ca 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,137 @@
+2022-09-08  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR c++/106838
+	* doc/extend.texi (Type Traits): Fix requirements. Document
+	__is_aggregate and __is_final.
+
+2022-09-08  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106625
+	* doc/invoke.texi:
+	State that the checker also reasons about symbolic values.
+
+2022-09-08  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR tree-optimization/106886
+	* tree-vect-slp.cc (vect_optimize_slp_pass::get_result_with_layout):
+	Fix copying of scalar stmts.
+
+2022-09-08  Chung-Lin Tang  <cltang@codesourcery.com>
+
+	* config/nios2/linux.h (MUSL_DYNAMIC_LINKER): Add #undef before #define.
+
+2022-09-08  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/106870
+	* gimple-harden-conditionals.cc (insert_check_and_trap):
+	Set the control-altering flag on the built IFN_TRAP.
+	* gimple.cc (gimple_build_builtin_unreachable): Likewise.
+	* tree-cfg.cc (handle_abnormal_edges): Set the control-altering
+	flag on the .ABNORMAL_DISPATCHER call.
+	* tree-cfgcleanup.cc (cleanup_call_ctrl_altering_flag): Avoid
+	resetting the control altering flag for ECF_NORETURN calls.
+	(cleanup_control_flow_bb): Set the control altering flag on
+	discovered noreturn calls.
+	* symtab-thunks.cc (expand_thunk): Set the control altering
+	flag for the noreturn tailcall case.
+	* tree-eh.cc (lower_resx): Likewisw for trap and unwind_resume
+	calls.
+
+2022-09-08  Jakub Jelinek  <jakub@redhat.com>
+
+	* omp-expand.cc (expand_omp_ordered_sink): Add CONT_BB argument.
+	Add doacross(sink:omp_cur_iteration-1) support.
+	(expand_omp_ordered_source_sink): Clear counts[fd->ordered + 1].
+	Adjust expand_omp_ordered_sink caller.
+	(expand_omp_for_ordered_loops): If counts[fd->ordered + 1] is
+	non-NULL, set that variable to true at the start of outermost
+	non-collapsed loop and set it to false at the end of innermost
+	ordered loop.
+	(expand_omp_for_generic): If fd->ordered, allocate
+	1 + (fd->ordered - fd->collapse) further elements in counts array.
+	Copy to counts + 2 + fd->ordered the counts of fd->collapse ..
+	fd->ordered - 1 loop if any.
+
+2022-09-08  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106881
+	* gimple-predicate-analysis.cc (compute_control_dep_chain_pdom):
+	Add only non-fallthru edges and avoid the same set of edges
+	as the caller does.
+
+2022-09-08  Aldy Hernandez  <aldyh@redhat.com>
+
+	* gimple-range-fold.cc
+	(fold_using_range::range_of_builtin_int_call): Use fpclassify like API.
+	* range-op-float.cc (finite_operand_p): Same.
+	(finite_operands_p): Same.
+	(foperator_lt::fold_range): Same.
+	(foperator_le::fold_range): Same.
+	(foperator_gt::fold_range): Same.
+	(foperator_ge::fold_range): Same.
+	(foperator_unordered::fold_range): Same.
+	(foperator_unordered::op1_range): Same.
+	(foperator_ordered::fold_range): Same.
+	* value-range.cc (frange::set_nan): Same.
+	(frange::set_signbit): Same.
+	(frange::union_): Same.
+	(frange::intersect): Same.
+	(frange::operator==): Same.
+	(frange::singleton_p): Same.
+	(frange::verify_range): Same.
+	(range_tests_nan): Same.
+	(range_tests_floats): Same.
+	* value-range.h(frange::known_finite): New.
+	(frange::maybe_inf): New.
+	(frange::known_inf): New.
+	(frange::maybe_nan): New.
+	(frange::known_nan): New.
+	(frange::known_signbit): New.
+
+2022-09-08  Iain Buclaw  <ibuclaw@gdcproject.org>
+
+	* config/darwin-d.cc: Include tm.h.
+	* config/dragonfly-d.cc: Likewise.
+	* config/freebsd-d.cc: Remove memmodel.h.
+	* config/glibc-d.cc: Likewise.
+	* config/netbsd-d.cc: Include tm.h.
+	* config/openbsd-d.cc: Likewise.
+	* config/sol2-d.cc: Likewise.
+
+2022-09-08  Christophe Lyon  <christophe.lyon@arm.com>
+
+	* config/arm/mve.md (mve_vqshluq_n_s<mode>): Use
+	MVE_pred/MVE_constraint instead of mve_imm_7/Ra.
+	(mve_vqshluq_m_n_s<mode>): Likewise.
+	(mve_vqrshrnbq_n_<supf><mode>): Use MVE_pred3/MVE_constraint3
+	instead of mve_imm_8/Rb.
+	(mve_vqrshrunbq_n_s<mode>): Likewise.
+	(mve_vqrshrntq_n_<supf><mode>): Likewise.
+	(mve_vqrshruntq_n_s<mode>): Likewise.
+	(mve_vrshrnbq_n_<supf><mode>): Likewise.
+	(mve_vrshrntq_n_<supf><mode>): Likewise.
+	(mve_vqrshrnbq_m_n_<supf><mode>): Likewise.
+	(mve_vqrshrntq_m_n_<supf><mode>): Likewise.
+	(mve_vrshrnbq_m_n_<supf><mode>): Likewise.
+	(mve_vrshrntq_m_n_<supf><mode>): Likewise.
+	(mve_vqrshrunbq_m_n_s<mode>): Likewise.
+	(mve_vsriq_n_<supf><mode): Use MVE_pred2/MVE_constraint2 instead
+	of mve_imm_selective_upto_8/Rg.
+	(mve_vsriq_m_n_<supf><mode>): Likewise.
+
+2022-09-08  Jiufu Guo  <guojiufu@linux.ibm.com>
+
+	* config/rs6000/rs6000.md (splitter for set to and_mask constants):
+	Use int_reg_operand (instead of int_reg_operand_not_pseudo).
+	(splitter for multi-insn constant loads): Ditto.
+
+2022-09-08  Sebastian Huber  <sebastian.huber@embedded-brains.de>
+
+	* config/rs6000/rtems.h (CPP_OS_DEFAULT_SPEC): Define __PPC_VRSAVE__ if
+	-mvrsave is present.
+	* config/rs6000/t-rtems: Add -mvrsave multilib variants for
+	-mcpu=e6500.
+
 2022-09-07  Martin Liska  <mliska@suse.cz>
 
 	* configure.ac: Restore detection of  HAVE_XCOFF_DWARF_EXTRAS.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 2e552cf..56639c3 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220908
+20220909
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 3ad3096..7263e74 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,54 @@
+2022-09-08  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106625
+	* analyzer.h (region_offset): Eliminate m_is_symbolic member.
+	* region-model-impl-calls.cc (region_model::impl_call_realloc):
+	Refine implementation to be more precise.
+	* region-model.cc (class symbolic_past_the_end):
+	Abstract diagnostic class to complain about accesses past the end
+	with symbolic values.
+	(class symbolic_buffer_overflow):
+	Concrete diagnostic class to complain about buffer overflows with
+	symbolic values.
+	(class symbolic_buffer_overread):
+	Concrete diagnostic class to complain about buffer overreads with
+	symbolic values.
+	(region_model::check_symbolic_bounds): New function.
+	(maybe_get_integer_cst_tree): New helper function.
+	(region_model::check_region_bounds):
+	Add call to check_symbolic_bounds if offset is not concrete.
+	(region_model::eval_condition_without_cm):
+	Add support for EQ_EXPR and GT_EXPR with binaryop_svalues.
+	(is_positive_svalue): New hleper function.
+	(region_model::symbolic_greater_than):
+	New function to handle GT_EXPR comparisons with symbolic values.
+	(region_model::structural_equality): New function to compare
+	whether two svalues are structured the same, i.e. evaluate to
+	the same value.
+	(test_struct): Reflect changes to region::calc_offset.
+	(test_var): Likewise.
+	(test_array_2): Likewise and add selftest with symbolic i.
+	* region-model.h (class region_model): Add check_symbolic_bounds,
+	symbolic_greater_than and structural_equality.
+	* region.cc (region::get_offset):
+	Reflect changes to region::calc_offset.
+	(region::calc_offset):
+	Compute the symbolic offset if the offset is not concrete.
+	(region::get_relative_symbolic_offset): New function to return the
+	symbolic offset in bytes relative to its parent.
+	(field_region::get_relative_symbolic_offset): Likewise.
+	(element_region::get_relative_symbolic_offset): Likewise.
+	(offset_region::get_relative_symbolic_offset): Likewise.
+	(bit_range_region::get_relative_symbolic_offset): Likewise.
+	* region.h: Add get_relative_symbolic_offset.
+	* store.cc (binding_key::make):
+	Reflect changes to region::calc_offset.
+	(binding_map::apply_ctor_val_to_range): Likewise.
+	(binding_map::apply_ctor_pair_to_child_region): Likewise.
+	(binding_cluster::bind_compound_sval): Likewise.
+	(binding_cluster::get_any_binding): Likewise.
+	(binding_cluster::maybe_get_compound_binding): Likewise.
+
 2022-09-05  Tim Lange  <mail@tim-lange.me>
 
 	* region-model-impl-calls.cc (region_model::impl_call_strcpy):
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 02aecfc..0f37423 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,20 @@
+2022-09-08  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR c++/106838
+	* class.cc (type_has_virtual_destructor): Return false for
+	union types.
+	* semantics.cc (check_trait_type): Add KIND parameter to support
+	different sets of requirements.
+	(finish_trait_expr): Pass KIND argument for relevant traits.
+
+2022-09-08  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/99130
+	* decl2.cc (maybe_instantiate_decl): Adjust function comment.
+	Check VAR_OR_FUNCTION_DECL_P.  Pull out the disjunction into ...
+	(mark_used): ... here, removing the decl_maybe_constant_var_p
+	part of it.
+
 2022-09-07  Jason Merrill  <jason@redhat.com>
 
 	PR c++/106793
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index ebd29cd..e6c4c2c 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,10 @@
+2022-09-08  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR fortran/106670
+	* scanner.cc (skip_fixed_omp_sentinel): Add -Wsurprising warning
+	for 'omx' sentinels with -fopenmp.
+	* invoke.texi (-Wsurprising): Document additional warning case.
+
 2022-09-06  Tobias Burnus  <tobias@codesourcery.com>
 
 	* openmp.cc (resolve_omp_clauses): Remove ordered/linear
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7b47665..b027c5a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,57 @@
+2022-09-08  Tobias Burnus  <tobias@codesourcery.com>
+
+	PR fortran/106670
+	* c-c++-common/gomp/ompx-1.c: New test.
+	* c-c++-common/gomp/ompx-2.c: New test.
+	* g++.dg/gomp/ompx-attrs-1.C: New test.
+	* gfortran.dg/gomp/ompx-1.f90: New test.
+	* gfortran.dg/gomp/omx-1.f: New test.
+	* gfortran.dg/gomp/omx-2.f: New test.
+
+2022-09-08  Jonathan Wakely  <jwakely@redhat.com>
+
+	PR c++/106838
+	* g++.dg/ext/array4.C: Fix invalid use of __is_constructible.
+	* g++.dg/ext/unary_trait_incomplete.C: Fix tests for traits with
+	different requirements.
+
+2022-09-08  Tim Lange  <mail@tim-lange.me>
+
+	PR analyzer/106625
+	* gcc.dg/analyzer/data-model-1.c: Change expected result.
+	* gcc.dg/analyzer/out-of-bounds-5.c: New test.
+	* gcc.dg/analyzer/out-of-bounds-realloc-grow.c: New test.
+	* gcc.dg/analyzer/symbolic-gt-1.c: New test.
+
+2022-09-08  Richard Sandiford  <richard.sandiford@arm.com>
+
+	PR tree-optimization/106886
+	* gcc.dg/vect/bb-slp-layout-21.c: New test.
+
+2022-09-08  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/99209
+	* g++.dg/cpp2a/lambda-uneval17.C: New test.
+
+2022-09-08  Patrick Palka  <ppalka@redhat.com>
+
+	PR c++/99130
+	* g++.dg/cpp0x/constexpr-decltype5.C: New test.
+
+2022-09-08  Jakub Jelinek  <jakub@redhat.com>
+
+	* c-c++-common/gomp/doacross-7.c: New test.
+
+2022-09-08  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/106881
+	* gcc.dg/uninit-pr106881.c: New testcase.
+
+2022-09-08  Richard Biener  <rguenther@suse.de>
+
+	PR testsuite/106872
+	* gcc.dg/uninit-pred-12.c: Adjust.
+
 2022-09-07  Jason Merrill  <jason@redhat.com>
 
 	PR c++/106793