Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 37440642808ec20dfbbf45b2b939b2712d9cd251..ef261da4193e96c0a9306dd0056fc814b3c7ac2c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,124 @@
+2023-06-08  Andrew MacLeod  <amacleod@redhat.com>
+
+       * gimple-range-op.cc
+       (gimple_range_op_handler::gimple_range_op_handler): Adjust.
+       (gimple_range_op_handler::maybe_builtin_call): Adjust.
+       * gimple-range-op.h (operand1, operand2): Use m_operator.
+       * range-op.cc (integral_table, pointer_table): Relocate.
+       (get_op_handler): Rename from get_handler and handle all types.
+       (range_op_handler::range_op_handler): Relocate.
+       (range_op_handler::set_op_handler): Relocate and adjust.
+       (range_op_handler::range_op_handler): Relocate.
+       (dispatch_trio): New.
+       (RO_III, RO_IFI, RO_IFF, RO_FFF, RO_FIF, RO_FII): New consts.
+       (range_op_handler::dispatch_kind): New.
+       (range_op_handler::fold_range): Relocate and Use new dispatch value.
+       (range_op_handler::op1_range): Ditto.
+       (range_op_handler::op2_range): Ditto.
+       (range_op_handler::lhs_op1_relation): Ditto.
+       (range_op_handler::lhs_op2_relation): Ditto.
+       (range_op_handler::op1_op2_relation): Ditto.
+       (range_op_handler::set_op_handler): Use m_operator member.
+       * range-op.h (range_op_handler::operator bool): Use m_operator.
+       (range_op_handler::dispatch_kind): New.
+       (range_op_handler::m_valid): Delete.
+       (range_op_handler::m_int): Delete
+       (range_op_handler::m_float): Delete
+       (range_op_handler::m_operator): New.
+       (range_op_table::operator[]): Relocate from .cc file.
+       (range_op_table::set): Ditto.
+       * value-range.h (class vrange): Make range_op_handler a friend.
+
+2023-06-08  Andrew MacLeod  <amacleod@redhat.com>
+
+       * gimple-range-op.cc (cfn_constant_float_p): Change base class.
+       (cfn_pass_through_arg1): Adjust using statemenmt.
+       (cfn_signbit): Change base class, adjust using statement.
+       (cfn_copysign): Ditto.
+       (cfn_sqrt): Ditto.
+       (cfn_sincos): Ditto.
+       * range-op-float.cc (fold_range): Change class to range_operator.
+       (rv_fold): Ditto.
+       (op1_range): Ditto
+       (op2_range): Ditto
+       (lhs_op1_relation): Ditto.
+       (lhs_op2_relation): Ditto.
+       (op1_op2_relation): Ditto.
+       (foperator_*): Ditto.
+       (class float_table): New.  Inherit from range_op_table.
+       (floating_tree_table) Change to range_op_table pointer.
+       (class floating_op_table): Delete.
+       * range-op.cc (operator_equal): Adjust using statement.
+       (operator_not_equal): Ditto.
+       (operator_lt, operator_le, operator_gt, operator_ge): Ditto.
+       (operator_minus, operator_cast): Ditto.
+       (operator_bitwise_and, pointer_plus_operator): Ditto.
+       (get_float_handle): Change return type.
+       * range-op.h (range_operator_float): Delete.  Relocate all methods
+       into class range_operator.
+       (range_op_handler::m_float): Change type to range_operator.
+       (floating_op_table): Delete.
+       (floating_tree_table): Change type.
+
+2023-06-08  Andrew MacLeod  <amacleod@redhat.com>
+
+       * range-op.cc (range_operator::fold_range): Call virtual routine.
+       (range_operator::update_bitmask): New.
+       (operator_equal::update_bitmask): New.
+       (operator_not_equal::update_bitmask): New.
+       (operator_lt::update_bitmask): New.
+       (operator_le::update_bitmask): New.
+       (operator_gt::update_bitmask): New.
+       (operator_ge::update_bitmask): New.
+       (operator_ge::update_bitmask): New.
+       (operator_plus::update_bitmask): New.
+       (operator_minus::update_bitmask): New.
+       (operator_pointer_diff::update_bitmask): New.
+       (operator_min::update_bitmask): New.
+       (operator_max::update_bitmask): New.
+       (operator_mult::update_bitmask): New.
+       (operator_div:operator_div):New.
+       (operator_div::update_bitmask): New.
+       (operator_div::m_code): New member.
+       (operator_exact_divide::operator_exact_divide): New constructor.
+       (operator_lshift::update_bitmask): New.
+       (operator_rshift::update_bitmask): New.
+       (operator_bitwise_and::update_bitmask): New.
+       (operator_bitwise_or::update_bitmask): New.
+       (operator_bitwise_xor::update_bitmask): New.
+       (operator_trunc_mod::update_bitmask): New.
+       (op_ident, op_unknown, op_ptr_min_max): New.
+       (op_nop, op_convert): Delete.
+       (op_ssa, op_paren, op_obj_type): Delete.
+       (op_realpart, op_imagpart): Delete.
+       (op_ptr_min, op_ptr_max): Delete.
+       (pointer_plus_operator:update_bitmask): New.
+       (range_op_table::set): Do not use m_code.
+       (integral_table::integral_table): Adjust to single instances.
+       * range-op.h (range_operator::range_operator): Delete.
+       (range_operator::m_code): Delete.
+       (range_operator::update_bitmask): New.
+
+2023-06-08  Andrew MacLeod  <amacleod@redhat.com>
+
+       * range-op-float.cc (range_operator_float::fold_range): Return
+       NAN of the result type.
+
+2023-06-08  Jakub Jelinek  <jakub@redhat.com>
+
+       * optabs.cc (expand_ffs): Add forward declaration.
+       (expand_doubleword_clz): Rename to ...
+       (expand_doubleword_clz_ctz_ffs): ... this.  Add UNOPTAB argument,
+       handle also doubleword CTZ and FFS in addition to CLZ.
+       (expand_unop): Adjust caller.  Also call it for doubleword
+       ctz_optab and ffs_optab.
+
+2023-06-08  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/110152
+       * config/i386/i386-expand.cc (ix86_expand_vector_init_general): For
+       n_words == 2 recurse with mmx_ok as first argument rather than false.
+
 2023-06-07  Roger Sayle  <roger@nextmovesoftware.com>
 
        * wide-int.cc (wi::bitreverse_large): Use HOST_WIDE_INT_1U to

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 73ca44c893e1261a0cfa0c0603e2dd3e543c9c98..a4ca097fc3e4de65362af0842e3f7536de0d9093 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230608
+20230609

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 44230bc089d0e6c4585977917cce577e91ef88a4..430419a951d7e3f2e4ea17410f0b58bda4346185 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,14 @@
+2023-06-08  Benjamin Priour  <vultkayn@gcc.gnu.org>
+
+       * bounds-checking.cc (region_model::check_symbolic_bounds): Returns whether the BASE_REG
+       region access was OOB.
+       (region_model::check_region_bounds): Likewise.
+       * region-model.cc (region_model::get_store_value): Creates an
+       unknown svalue on OOB-read access to REG.
+       (region_model::check_region_access): Returns whether an unknown svalue needs be created.
+       (region_model::check_region_for_read): Passes check_region_access return value.
+       * region-model.h: Update prior function definitions.
+
 2023-06-02  David Malcolm  <dmalcolm@redhat.com>
 
        PR analyzer/109015

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 26df2f561c15b61afeaf0fcac07a08625c896c6e..14d2cf23892fef5047f04b7bf7f3aa19d65bc4b9 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,26 @@
+2023-06-08  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/87477
+       PR fortran/99350
+       PR fortran/107821
+       PR fortran/109451
+       * decl.cc (char_len_param_value): Simplify a copy of the expr
+       and replace the original if there is no error.
+       * gfortran.h : Remove the redundant field 'rankguessed' from
+       'gfc_association_list'.
+       * resolve.cc (resolve_assoc_var): Remove refs to 'rankguessed'.
+       (resolve_variable): Associate names with constant or structure
+       constructor targets cannot have array refs.
+       * trans-array.cc (gfc_conv_expr_descriptor): Guard expression
+       character length backend decl before using it. Suppress the
+       assignment if lhs equals rhs.
+       * trans-io.cc (gfc_trans_transfer): Scalarize transfer of
+       associate variables pointing to a variable. Add comment.
+       * trans-stmt.cc (trans_associate_var): Remove requirement that
+       the character length be deferred before assigning the value
+       returned by gfc_conv_expr_descriptor. Also, guard the backend
+       decl before testing with VAR_P.
+
 2023-06-06  Kwok Cheung Yeung  <kcy@codesourcery.com>
            Tobias Burnus  <tobias@codesourcery.com>
 

diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog
index 1d87464c0c6d1766c37d30b7ac4a95f0d8f9f1f6..2067dc84ceddfe32463e1cdcb638cc58944b6e2d 100644 (file)
--- a/gcc/m2/ChangeLog
+++ b/gcc/m2/ChangeLog
@@ -1,3 +1,51 @@
+2023-06-08  Gaius Mulley  <gaiusmod2@gmail.com>
+
+       PR modula2/110126
+       * gm2-compiler/M2GenGCC.mod (BuildTreeFromInterface): Remove
+       tokenno parameter.  Use object tok instead of tokenno.
+       (BuildTrashTreeFromInterface): Use object tok instead of
+       GetDeclaredMod.
+       (CodeInline): Remove tokenno from parameter list to BuildTreeFromInterface.
+       * gm2-compiler/M2Quads.def (BuildAsmElement): Exported and
+       defined.
+       * gm2-compiler/M2Quads.mod (BuildOptimizeOff): Reformatted.
+       (BuildInline): Reformatted.
+       (BuildLineNo): Reformatted.
+       (UseLineNote): Reformatted.
+       (BuildAsmElement): New procedure.
+       * gm2-compiler/P0SyntaxCheck.bnf (AsmOperands): Use
+       ConstExpression instead of string.
+       (AsmElement): Use ConstExpression instead of string.
+       (TrashList): Use ConstExpression instead of string.
+       * gm2-compiler/P1Build.bnf (AsmOperands): Use
+       ConstExpression instead of string.
+       (AsmElement): Use ConstExpression instead of string.
+       (TrashList): Use ConstExpression instead of string.
+       * gm2-compiler/P2Build.bnf (AsmOperands): Use
+       ConstExpression instead of string.
+       (AsmElement): Use ConstExpression instead of string.
+       (TrashList): Use ConstExpression instead of string.
+       * gm2-compiler/P3Build.bnf (AsmOperands): Rewrite.
+       (AsmOperandSpec): Rewrite.
+       (AsmOutputList): New rule.
+       (AsmInputList): New rule.
+       (TrashList): Rewrite.
+       * gm2-compiler/PCBuild.bnf (AsmOperands): Use
+       ConstExpression instead of string.
+       (AsmElement): Use ConstExpression instead of string.
+       (TrashList): Use ConstExpression instead of string.
+       * gm2-compiler/PHBuild.bnf (AsmOperands): Use
+       ConstExpression instead of string.
+       (AsmElement): Use ConstExpression instead of string.
+       (TrashList): Use ConstExpression instead of string.
+       * gm2-compiler/SymbolTable.def (PutRegInterface):
+       Rewrite interface.
+       (GetRegInterface): Rewrite interface.
+       * gm2-compiler/SymbolTable.mod (SetFirstUsed): New procedure.
+       (PutFirstUsed): New procedure.
+       (PutRegInterface): Rewrite.
+       (GetRegInterface): Rewrite.
+
 2023-06-07  Jakub Jelinek  <jakub@redhat.com>
 
        * Make-lang.in: Build $(generated_files) before building

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3f970b0aaef58975363c8f7520a39543b2bf4098..e13336e8f7fe671f7ab287d2b790cd009291ec1c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,47 @@
+2023-06-08  Gaius Mulley  <gaiusmod2@gmail.com>
+
+       PR modula2/110126
+       * gm2/pim/pass/fooasm3.mod: New test.
+
+2023-06-08  Pan Li  <pan2.li@intel.com>
+
+       * gcc.target/riscv/rvv/base/zvfh-intrinsic.c: Add new cases.
+       * gcc.target/riscv/rvv/base/zvfh-over-zvfhmin.c: New test.
+
+2023-06-08  Benjamin Priour  <vultkayn@gcc.gnu.org>
+
+       * gcc.dg/analyzer/out-of-bounds-2.c: Cleaned test for uninitialized-value warning
+       * gcc.dg/analyzer/out-of-bounds-5.c: Likewise.
+       * gcc.dg/analyzer/pr101962.c: Likewise.
+       * gcc.dg/analyzer/realloc-5.c: Likewise.
+       * gcc.dg/analyzer/pr109439.c: New test.
+
+2023-06-08  Jakub Jelinek  <jakub@redhat.com>
+
+       * gcc.target/i386/ctzll-1.c: New test.
+       * gcc.target/i386/ffsll-1.c: New test.
+
+2023-06-08  Paul Thomas  <pault@gcc.gnu.org>
+
+       PR fortran/99350
+       PR fortran/107821
+       PR fortran/109451
+       * gfortran.dg/pr99350.f90 : New test.
+       * gfortran.dg/associate_5.f03 : Changed error message.
+       * gfortran.dg/pr107821.f90 : New test.
+       * gfortran.dg/associate_61.f90 : New test
+
+2023-06-08  Alexandre Oliva  <oliva@adacore.com>
+
+       * gcc.dg/vect/tsvc/vect-tsvc-s116.c: Bump timeout factor.
+       * gcc.dg/vect/tsvc/vect-tsvc-s241.c: Likewise.
+       * gcc.dg/vect/tsvc/vect-tsvc-s254.c: Likewise.
+       * gcc.dg/vect/tsvc/vect-tsvc-s271.c: Likewise.
+       * gcc.dg/vect/tsvc/vect-tsvc-s2711.c: Likewise.
+       * gcc.dg/vect/tsvc/vect-tsvc-s2712.c: Likewise.
+       * gcc.dg/vect/tsvc/vect-tsvc-s276.c: Likewise.
+       * gcc.dg/vect/tsvc/vect-tsvc-vdotr.c: Likewise.
+
 2023-06-07  Roger Sayle  <roger@nextmovesoftware.com>
            Uros Bizjak  <ubizjak@gmail.com>