Daily bump.

This commit is contained in:
GCC Administrator 2022-05-19 00:16:32 +00:00
parent 7da9a08960
commit 1cda629f96
11 changed files with 463 additions and 1 deletions

View File

@ -1,3 +1,75 @@
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c/105131
* doc/invoke.texi: Document -Wenum-int-mismatch.
2022-05-18 Uros Bizjak <ubizjak@gmail.com>
* config/i386/gnu-user-common.h (defined): Only define
TARGET_CAN_SPLIT_STACK for glibc targets.
* config/i386/gnu.h (defined): Ditto.
2022-05-18 Roger Sayle <roger@nextmovesoftware.com>
* config/i386/i386.cc (ix86_rtx_costs) [MULT]: When mode size
is wider than word_mode, a multiplication costs three word_mode
multiplications and two word_mode additions.
2022-05-18 Roger Sayle <roger@nextmovesoftware.com>
* config/i386/i386.md (define_split): Split *andsi_1
and *andn_si_ccno after reload with -Oz.
2022-05-18 Frederik Harwath <frederik@codesourcery.com>
* graphite-scop-detection.cc (scop_detection::can_represent_loop):
Output reason for failure to dump file.
(scop_detection::harmful_loop_in_region): Likewise.
(scop_detection::graphite_can_represent_expr): Likewise.
(scop_detection::stmt_has_simple_data_refs_p): Likewise.
(scop_detection::stmt_simple_for_scop_p): Likewise.
(print_sese_loop_numbers): New function.
(scop_detection::add_scop): Use from here.
2022-05-18 liuhongt <hongtao.liu@intel.com>
PR middle-end/103462
* match.pd (bitwise_induction_p): New match.
* tree-scalar-evolution.cc (gimple_bitwise_induction_p):
Declare.
(analyze_and_compute_bitwise_induction_effect): New function.
(enum bit_op_kind): New enum.
(final_value_replacement_loop): Enhanced to handle bitwise
induction.
2022-05-18 Haochen Gui <guihaoc@gcc.gnu.org>
PR target/95737
* config/rs6000/rs6000.md (*subfsi3_carry_in_xx_64): New.
2022-05-18 liuhongt <hongtao.liu@intel.com>
PR target/104375
* config/i386/i386.md (*bmi2_bzhi_zero_extendsidi_4): New
define_insn.
2022-05-18 liuhongt <hongtao.liu@intel.com>
PR target/104610
* config/i386/i386-expand.cc (ix86_expand_branch): Use ptest
for QImode when code is EQ or NE.
* config/i386/i386.md (cbranchoi4): New expander.
2022-05-18 Peter Bergner <bergner@linux.ibm.com>
Segher Boessenkool <segher@kernel.crashing.org>
PR target/105556
* config/rs6000/mma.md (mma_<vv>, mma_<avv>, mma_<pv>, mma_<apv>,
mma_<vvi4i4i8>, mma_<avvi4i4i8>, mma_<vvi4i4i2>, mma_<avvi4i4i2>,
mma_<vvi4i4>, mma_<avvi4i4>, mma_<pvi4i2>, mma_<apvi4i2>,
mma_<vvi4i4i4>, mma_<avvi4i4i4>): Replace "wa" constraints with "v,?wa".
Update other operands accordingly.
2022-05-17 Marek Polacek <polacek@redhat.com>
* godump.cc (go_output_typedef): Use the DECL_INITIAL of the TREE_VALUE.

View File

@ -1 +1 @@
20220518
20220519

View File

@ -1,3 +1,240 @@
2022-05-18 Claire Dross <dross@adacore.com>
* libgnat/s-imageu.adb (Set_Image_Unsigned): Change assertion.
2022-05-18 Doug Rupp <rupp@adacore.com>
* sigtramp-qnx.c: Change struct sigcontext * to mcontext_t *.
2022-05-18 Doug Rupp <rupp@adacore.com>
* sigtramp-arm-qnx.c: Rewrite.
2022-05-18 Yannick Moy <moy@adacore.com>
* libgnat/s-aridou.adb (Big3): Change return type.
(Lemma_Mult_Non_Negative, Lemma_Mult_Non_Positive): Reorder
alphabetically.
(Lemma_Concat_Definition, Lemma_Double_Big_2xxsingle): New
lemmas.
(Double_Divide, Scaled_Divide): Add assertions.
2022-05-18 Claire Dross <dross@adacore.com>
* libgnat/s-valueu.adb (Scan_Raw_Unsigned): Add assertions.
2022-05-18 Kévin Le Gouguec <legouguec@adacore.com>
* libgnat/s-dwalin.adb (Read_Aranges_Header): Initialize output
parameter in case we return early.
2022-05-18 Bob Duff <duff@adacore.com>
* libgnat/a-crbtgo.ads, libgnat/a-rbtgbo.ads,
libgnat/a-cbdlli.adb, libgnat/a-cbhama.adb,
libgnat/a-cbhase.adb, libgnat/a-cdlili.adb,
libgnat/a-cfdlli.adb, libgnat/a-cfhama.adb,
libgnat/a-cfhase.adb, libgnat/a-cidlli.adb,
libgnat/a-cihama.adb, libgnat/a-cihase.adb,
libgnat/a-cohama.adb, libgnat/a-cohase.adb,
libgnat/a-crbtgo.adb, libgnat/a-crdlli.adb, libgnat/a-rbtgbo.adb
(Vet): Make the Vet functions do nothing when
Container_Checks'Enabled is False, and inline them, so the calls
disappear when optimizing.
2022-05-18 Doug Rupp <rupp@adacore.com>
* Makefile.rtl (arm-qnx): Use default (non-fma) target pair.
2022-05-18 Kévin Le Gouguec <legouguec@adacore.com>
* libgnat/s-dwalin.adb (Aranges_Lookup, Enable_Cache): Adapt to
changes in the signature of Read_Aranges_*.
(Debug_Info_Lookup): Do not control address size read from
DWARF.
(Read_Aranges_Header): Do not control address size read from
DWARF; return this size.
(Read_Aranges_Entry): Use the size returned by
Read_Aranges_Header.
2022-05-18 Gary Dismukes <dismukes@adacore.com>
* errout.ads (Error_Msg_GNAT_Extension): Add formal Loc and
revise comment.
* errout.adb (Error_Msg_GNAT_Extension): Condition message on
the flag Ada_Version_Pragma, and add suggestion to use of pragma
Extensions_Allowed in messages.
* par-ch3.adb, par-ch5.adb, par-ch6.adb, par-ch11.adb,
par-ch12.adb: Add actual Token_Ptr on calls to
Error_Msg_GNAT_Extension.
* par-ch4.adb: Change Error_Msg to Error_Msg_GNAT_Extension for
error calls related to use of extension features.
* sem_ch13.adb: Likewise.
2022-05-18 Johannes Kliemann <kliemann@adacore.com>
* libgnarl/s-osinte__qnx.adb (To_Target_Priority): Perform
arithmetic in int.
2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
* exp_ch7.adb (Build_BIP_Cleanup_Stmts): Use Needs_BIP_Alloc_Form.
2022-05-18 Javier Miranda <miranda@adacore.com>
* sem_ch6.adb (Find_Corresponding_Spec): Avoid calling
Is_Null_Extension with a class-wide type entity.
(Overrides_Visible_Function): Handle alias entities.
* sem_res.adb (Has_Applicable_User_Defined_Literal): Conversion
not needed if the result type of the call is class-wide or if
the result type matches the context type.
* sem_util.ads (Is_Null_Extension): Adding documentation.
(Is_Null_Extension_Of): Adding documentation.
* sem_util.adb (Is_Null_Extension): Adding assertion.
(Is_Null_Extension_Of): Adding assertions.
2022-05-18 Javier Miranda <miranda@adacore.com>
* snames.ads-tmpl (Name_Index): New attribute name.
(Attribute_Id): Adding Attribute_Index as regular attribute.
* sem_attr.adb (Attribute_22): Adding Attribute_Index as Ada
2022 attribute.
(Analyze_Index_Attribute): Check that 'Index appears in a
pre-/postcondition aspect or pragma associated with an entry
family.
(Analyze_Attribute): Adding semantic analysis for 'Index.
(Eval_Attribute): Register 'Index as can never be folded.
(Resolve_Attribute): Resolve attribute 'Index.
* sem_ch9.adb (Check_Wrong_Attribute_In_Postconditions): New
subprogram.
(Analyze_Requeue): Check that the requeue target shall not have
an applicable specific or class-wide postcondition which
includes an Index attribute reference.
* exp_attr.adb (Expand_N_Attribute_Reference): Transform
attribute Index into a renaming of the second formal of the
wrapper built for an entry family that has contract cases.
* einfo.ads (Is_Entry_Wrapper): Complete documentation.
2022-05-18 Yannick Moy <moy@adacore.com>
* libgnat/s-imagei.adb (Set_Digits): Add assertion.
* libgnat/s-imgboo.adb (Image_Boolean): Add assertions.
* libgnat/s-valueu.adb (Scan_Raw_Unsigned): Add assertion.
2022-05-18 Arnaud Charlet <charlet@adacore.com>
* sem_aux.adb (Is_Immutably_Limited_Type): Do not look through
private types as per RM 7.5(8.1).
* sem_ch6.adb (Analyze_Function_Return): Use
Is_Immutably_Limited_Type as per RM 6.5(5.10).
2022-05-18 Marc Poulhiès <poulhies@adacore.com>
* gen_il-gen-gen_nodes.adb (Gen_IL.Gen.Gen_Nodes): Add
Is_Homogeneous_Aggregate field for N_Delta_Aggregate nodes.
* par-ch4.adb (P_Aggregate_Or_Paren_Expr): Minor reformatting.
* sem_aggr.adb (Resolve_Delta_Aggregate): Reject square brackets
for record aggregate.
(Resolve_Record_Aggregate): Uniformise error message.
2022-05-18 Arnaud Charlet <charlet@adacore.com>
* ali.adb (Scan_ALI): Special case a-tags.ali when setting
Sec_Stack_Used.
* bindgen.adb (Gen_Adainit): Simplify handling of secondary
stack related code, and only import __gnat_binder_ss_count when
needed.
* libgnat/s-secsta.adb (Binder_SS_Count): Default initialize to
0.
2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
* libgnat/s-dourea.adb ("/"): Add guard for zero and infinite
divisor.
* libgnat/s-valuer.adb (Scan_Raw_Real): Add guard for very large
exponent values.
2022-05-18 Yannick Moy <moy@adacore.com>
* sem_elab.adb (Is_Suitable_Construct): Fix for generated
constructs.
2022-05-18 Marc Poulhiès <poulhies@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Skip predicate check
for type conversion if object's subtype and expression's subtype
statically match.
* exp_prag.adb (Expand_Pragma_Check): Typo fix in comment.
2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
* exp_dbug.ads (Build_Subprogram_Instance_Renamings): Fix typo.
* exp_dbug.adb (Build_Subprogram_Instance_Renamings): Build the
renaming only for actuals of formal objects.
2022-05-18 Gary Dismukes <dismukes@adacore.com>
* sem_ch3.adb (Check_Abstract_Overriding): If the type is
derived from an untagged type, then don't perform any of the
abstract overriding error checks.
2022-05-18 Piotr Trojanek <trojanek@adacore.com>
* exp_aggr.adb (Component_Count): Calculate size as an Uint and
only then check if it is in the range of Int, as otherwise the
multiplication of Int values can overflow.
2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add g-gfmafu$(objext).
(SIMD_PATH_TARGET_PAIRS): New variable.
(TRASYM_DWARF_COMMON_OBJS): Minor tweak.
(x86-64/Linux): Use SIMD_PATH_TARGET_PAIRS.
(x32/Linux): Likewise.
* doc/gnat_rm/the_gnat_library.rst (Generic_Fast_Math_Functions):
New entry.
* gnat_rm.texi: Regenerate.
* impunit.adb (Non_Imp_File_Names_95): Add g-gfmafu.
* sem_ch7.adb (Has_Referencer): Do not set In_Nested_Instance for
instances of generic packages that do not have a body.
* libgnat/a-nalofl__simd.ads: New SIMD-enabled version.
* libgnat/a-nuaufl__simd.ads: Likewise.
* libgnat/g-gfmafu.ads: New package renaming unit.
2022-05-18 Arnaud Charlet <charlet@adacore.com>
* freeze.adb (Should_Freeze_Type): Fix handling of freezing in
instances.
2022-05-18 Marc Poulhiès <poulhies@adacore.com>
* sem_ch12.adb (Check_Generic_Parent): Use
Get_Unit_Instantiation_Node instead of Next.
2022-05-18 Alexandre Oliva <oliva@adacore.com>
* libgnat/a-nagefl.ads: Replace mentions of C/unix math library
with intrinsics.
* libgnat/a-nallfl.ads: Likewise. State compatibility
requirements.
* libgnat/a-nalofl.ads: Likewise.
* libgnat/a-nuaufl.ads: Likewise.
2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch8.adb (Analyze_Subprogram_Renaming): Move final test on
In_Instance to outer condition.
2022-05-18 Doug Rupp <rupp@adacore.com>
* Makefile.rtl: Rename system-qnx-aarch64.ads to
system-qnx-arm.ads.
(AARCH64 QNX section): Modify to handle both arm and arch64.
* tracebak.c (__QNX__): Add new __ARMEL__ section.
* sigtramp-arm-qnx.c: New file.
* libgnat/system-qnx-aarch64.ads: Renamed to ...
* libgnat/system-qnx-arm.ads: this.
2022-05-17 Piotr Trojanek <trojanek@adacore.com>
* sem_res.adb (Flag_Effectively_Volatile_Objects): Restore

View File

@ -1,3 +1,21 @@
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c/105131
* c.opt (Wenum-int-mismatch): New.
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c++/105497
* c-warn.cc (c_do_switch_warnings): Don't warn about unhandled
enumerator when it was marked with attribute unused.
2022-05-18 Eric Botcazou <ebotcazou@adacore.com>
* c-ada-spec.cc (dump_ada_node) <COMPLEX_TYPE>: Deal with usual
floating-point complex types.
<POINTER_TYPE>: Do not use limited_with clause if the designated
type is a scalar type.
2022-05-17 Jakub Jelinek <jakub@redhat.com>
* c-omp.cc (c_finish_omp_depobj): Handle

View File

@ -1,3 +1,11 @@
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c/105131
* c-decl.cc (diagnose_mismatched_decls): Warn about enum/integer type
mismatches.
* c-tree.h (comptypes_check_enum_int): Declare.
* c-typeck.cc (comptypes): No longer static.
2022-05-17 Marek Polacek <polacek@redhat.com>
* c-decl.cc (finish_enum): Store the CONST_DECL into TREE_VALUE, not

View File

@ -1,3 +1,8 @@
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c++/105634
* call.cc (maybe_warn_class_memaccess): Avoid % by zero.
2022-05-17 Jason Merrill <jason@redhat.com>
PR c++/102307

View File

@ -1,3 +1,13 @@
2022-05-18 Tobias Burnus <tobias@codesourcery.com>
* gfortran.h (enum gfc_omp_depend_op): Add OMP_DEPEND_INOUTSET.
(gfc_omp_clauses): Enlarge ENUM_BITFIELD.
* dump-parse-tree.cc (show_omp_namelist, show_omp_clauses): Handle
'inoutset' depend modifier.
* openmp.cc (gfc_match_omp_clauses, gfc_match_omp_depobj): Likewise.
* trans-openmp.cc (gfc_trans_omp_clauses, gfc_trans_omp_depobj):
Likewise.
2022-05-17 Tobias Burnus <tobias@codesourcery.com>
* dump-parse-tree.cc (show_omp_namelist): Handle omp_all_memory.

View File

@ -1,3 +1,83 @@
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c/105131
* gcc.dg/Wenum-int-mismatch-1.c: New test.
* gcc.dg/Wenum-int-mismatch-2.c: New test.
* gcc.dg/Wenum-int-mismatch-3.c: New test.
* gcc.dg/Wenum-int-mismatch-4.c: New test.
* gcc.dg/Wenum-int-mismatch-5.c: New test.
2022-05-18 Paul A. Clarke <pc@us.ibm.com>
PR target/105620
* g++.target/powerpc/pr69667.C: Move to ...
* g++.dg/pr69667.C: here. Also, revert recent dg directives changes.
2022-05-18 Roger Sayle <roger@nextmovesoftware.com>
* gcc.target/i386/bmi-andn-3.c: New test case.
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c++/105497
* c-c++-common/Wswitch-1.c: New test.
* g++.dg/warn/Wswitch-4.C: New test.
2022-05-18 Marek Polacek <polacek@redhat.com>
PR c++/105634
* g++.dg/Wclass-memaccess-2.C: Moved to...
* g++.dg/warn/Wclass-memaccess-2.C: ...here.
* g++.dg/Wclass-memaccess-3.C: Moved to...
* g++.dg/warn/Wclass-memaccess-3.C: ...here.
* g++.dg/Wclass-memaccess-4.C: Moved to...
* g++.dg/warn/Wclass-memaccess-4.C: ...here.
* g++.dg/Wclass-memaccess-5.C: Moved to...
* g++.dg/warn/Wclass-memaccess-5.C: ...here.
* g++.dg/Wclass-memaccess-6.C: Moved to...
* g++.dg/warn/Wclass-memaccess-6.C: ...here.
* g++.dg/Wclass-memaccess.C: Moved to...
* g++.dg/warn/Wclass-memaccess.C: ...here.
* g++.dg/warn/Wclass-memaccess-7.C: New test.
2022-05-18 Kewen Lin <linkw@linux.ibm.com>
* gcc.target/powerpc/pr83660.C: Moved to...
* g++.target/powerpc/pr83660.C: ...here.
2022-05-18 Frederik Harwath <frederik@codesourcery.com>
* gcc.dg/graphite/scop-22a.c: New test.
2022-05-18 Tobias Burnus <tobias@codesourcery.com>
* gfortran.dg/gomp/all-memory-1.f90: Add inoutset test.
* gfortran.dg/gomp/all-memory-2.f90: Likewise.
* gfortran.dg/gomp/depobj-1.f90: Likewise.
* gfortran.dg/gomp/depobj-2.f90: Likewise.
2022-05-18 liuhongt <hongtao.liu@intel.com>
* gcc.target/i386/pr103462-1.c: New test.
* gcc.target/i386/pr103462-2.c: New test.
* gcc.target/i386/pr103462-3.c: New test.
* gcc.target/i386/pr103462-4.c: New test.
* gcc.target/i386/pr103462-5.c: New test.
* gcc.target/i386/pr103462-6.c: New test.
2022-05-18 Haochen Gui <guihaoc@gcc.gnu.org>
PR target/95737
* gcc.target/powerpc/pr95737.c: New.
2022-05-18 liuhongt <hongtao.liu@intel.com>
* gcc.target/i386/pr104375.c: New test.
2022-05-18 liuhongt <hongtao.liu@intel.com>
* gcc.target/i386/pr104610.c: New test.
2022-05-17 Jason Merrill <jason@redhat.com>
PR c++/102307

View File

@ -1,3 +1,15 @@
2022-05-18 Thomas Schwinge <thomas@codesourcery.com>
* cuda/cuda.h (enum CUjit_option): Add
'CU_JIT_GENERATE_DEBUG_INFO', 'CU_JIT_GENERATE_LINE_INFO'.
(enum CUlimit): Add 'CU_LIMIT_STACK_SIZE',
'CU_LIMIT_MALLOC_HEAP_SIZE'.
(cuCtxSetLimit, cuGetErrorName): Add.
2022-05-18 Thomas Schwinge <thomas@codesourcery.com>
* cuda/cuda.h: For C++, wrap in 'extern "C"'.
2022-05-17 Nathan Sidwell <nathan@acm.org>
* demangle.h (enum demangle_component_type): Add

View File

@ -1,3 +1,12 @@
2022-05-18 Tobias Burnus <tobias@codesourcery.com>
* libgomp.texi (OpenMP 5.1): Set 'inoutset' to Y.
(OpenMP Context Selectors): Add missing comma.
* testsuite/libgomp.fortran/depend-5.f90: Add inoutset test.
* testsuite/libgomp.fortran/depend-6.f90: Likewise.
* testsuite/libgomp.fortran/depend-7.f90: Likewise.
* testsuite/libgomp.fortran/depend-inoutset-1.f90: New test.
2022-05-17 Jakub Jelinek <jakub@redhat.com>
* libgomp.texi (OpenMP 5.1): Remove "Not inside target regions"

View File

@ -1,3 +1,14 @@
2022-05-18 Nathan Sidwell <nathan@acm.org>
* cp-demangle.c (d_name): Add SUBSTABLE parameter,
push substitution if requested. Adjust unscoped name handling.
(d_prefix): Reorder main loop. Adjust all calls.
(d_unqualified_name): Add SCOPE parameter, create qualified
name here. Adjust all calls.
(cplus_demangle_type): Do not handle 'S' here, leave all
to d_class_enum_type.
(d_class_enum_type): Add SUBSTABLE parameter.
2022-05-17 Nathan Sidwell <nathan@acm.org>
* cp-demangle.c (d_make_comp): Adjust.