From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id BC13C385736C; Thu, 19 May 2022 00:17:07 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org BC13C385736C MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-628] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 7da9a089608b0ca09683332ce014fb6184842724 X-Git-Newrev: 1cda629f96b4e982bb87343a35a6db39445d3962 Message-Id: <20220519001707.BC13C385736C@sourceware.org> Date: Thu, 19 May 2022 00:17:07 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 19 May 2022 00:17:07 -0000 https://gcc.gnu.org/g:1cda629f96b4e982bb87343a35a6db39445d3962 commit r13-628-g1cda629f96b4e982bb87343a35a6db39445d3962 Author: GCC Administrator Date: Thu May 19 00:16:32 2022 +0000 Daily bump. Diff: --- gcc/ChangeLog | 72 +++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 237 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 18 ++++ gcc/c/ChangeLog | 8 ++ gcc/cp/ChangeLog | 5 + gcc/fortran/ChangeLog | 10 ++ gcc/testsuite/ChangeLog | 80 ++++++++++++++++ include/ChangeLog | 12 +++ libgomp/ChangeLog | 9 ++ libiberty/ChangeLog | 11 +++ 11 files changed, 463 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1276f533247..66fe54bf59d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,75 @@ +2022-05-18 Marek Polacek + + PR c/105131 + * doc/invoke.texi: Document -Wenum-int-mismatch. + +2022-05-18 Uros Bizjak + + * 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 + + * 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 + + * config/i386/i386.md (define_split): Split *andsi_1 + and *andn_si_ccno after reload with -Oz. + +2022-05-18 Frederik Harwath + + * 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 + + 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 + + PR target/95737 + * config/rs6000/rs6000.md (*subfsi3_carry_in_xx_64): New. + +2022-05-18 liuhongt + + PR target/104375 + * config/i386/i386.md (*bmi2_bzhi_zero_extendsidi_4): New + define_insn. + +2022-05-18 liuhongt + + 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 + Segher Boessenkool + + PR target/105556 + * config/rs6000/mma.md (mma_, mma_, mma_, mma_, + mma_, mma_, mma_, mma_, + mma_, mma_, mma_, mma_, + mma_, mma_): Replace "wa" constraints with "v,?wa". + Update other operands accordingly. + 2022-05-17 Marek Polacek * godump.cc (go_output_typedef): Use the DECL_INITIAL of the TREE_VALUE. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index ca0d7746996..756cdcb1359 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220518 +20220519 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index a0577f1ec78..746aee8e771 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,240 @@ +2022-05-18 Claire Dross + + * libgnat/s-imageu.adb (Set_Image_Unsigned): Change assertion. + +2022-05-18 Doug Rupp + + * sigtramp-qnx.c: Change struct sigcontext * to mcontext_t *. + +2022-05-18 Doug Rupp + + * sigtramp-arm-qnx.c: Rewrite. + +2022-05-18 Yannick Moy + + * 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 + + * libgnat/s-valueu.adb (Scan_Raw_Unsigned): Add assertions. + +2022-05-18 Kévin Le Gouguec + + * libgnat/s-dwalin.adb (Read_Aranges_Header): Initialize output + parameter in case we return early. + +2022-05-18 Bob Duff + + * 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 + + * Makefile.rtl (arm-qnx): Use default (non-fma) target pair. + +2022-05-18 Kévin Le Gouguec + + * 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 + + * 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 + + * libgnarl/s-osinte__qnx.adb (To_Target_Priority): Perform + arithmetic in int. + +2022-05-18 Eric Botcazou + + * exp_ch7.adb (Build_BIP_Cleanup_Stmts): Use Needs_BIP_Alloc_Form. + +2022-05-18 Javier Miranda + + * 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 + + * 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 + + * 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 + + * 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 + + * 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 + + * 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 + + * 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 + + * sem_elab.adb (Is_Suitable_Construct): Fix for generated + constructs. + +2022-05-18 Marc Poulhiès + + * 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 + + * 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 + + * 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 + + * 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 + + * 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 + + * freeze.adb (Should_Freeze_Type): Fix handling of freezing in + instances. + +2022-05-18 Marc Poulhiès + + * sem_ch12.adb (Check_Generic_Parent): Use + Get_Unit_Instantiation_Node instead of Next. + +2022-05-18 Alexandre Oliva + + * 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 + + * sem_ch8.adb (Analyze_Subprogram_Renaming): Move final test on + In_Instance to outer condition. + +2022-05-18 Doug Rupp + + * 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 * sem_res.adb (Flag_Effectively_Volatile_Objects): Restore diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index a5fe2ce676a..2f69aebbc53 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,21 @@ +2022-05-18 Marek Polacek + + PR c/105131 + * c.opt (Wenum-int-mismatch): New. + +2022-05-18 Marek Polacek + + 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 + + * c-ada-spec.cc (dump_ada_node) : Deal with usual + floating-point complex types. + : Do not use limited_with clause if the designated + type is a scalar type. + 2022-05-17 Jakub Jelinek * c-omp.cc (c_finish_omp_depobj): Handle diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 25debc1a1ad..00e236c9ae2 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,11 @@ +2022-05-18 Marek Polacek + + 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 * c-decl.cc (finish_enum): Store the CONST_DECL into TREE_VALUE, not diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 0bbf7e2e74c..41a2615b9f5 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2022-05-18 Marek Polacek + + PR c++/105634 + * call.cc (maybe_warn_class_memaccess): Avoid % by zero. + 2022-05-17 Jason Merrill PR c++/102307 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 13d3fb0a9f7..1b9cb915b63 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,13 @@ +2022-05-18 Tobias Burnus + + * 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 * dump-parse-tree.cc (show_omp_namelist): Handle omp_all_memory. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 41d5346092e..e4c2c4614df 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,83 @@ +2022-05-18 Marek Polacek + + 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 + + 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 + + * gcc.target/i386/bmi-andn-3.c: New test case. + +2022-05-18 Marek Polacek + + PR c++/105497 + * c-c++-common/Wswitch-1.c: New test. + * g++.dg/warn/Wswitch-4.C: New test. + +2022-05-18 Marek Polacek + + 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 + + * gcc.target/powerpc/pr83660.C: Moved to... + * g++.target/powerpc/pr83660.C: ...here. + +2022-05-18 Frederik Harwath + + * gcc.dg/graphite/scop-22a.c: New test. + +2022-05-18 Tobias Burnus + + * 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 + + * 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 + + PR target/95737 + * gcc.target/powerpc/pr95737.c: New. + +2022-05-18 liuhongt + + * gcc.target/i386/pr104375.c: New test. + +2022-05-18 liuhongt + + * gcc.target/i386/pr104610.c: New test. + 2022-05-17 Jason Merrill PR c++/102307 diff --git a/include/ChangeLog b/include/ChangeLog index 4e96c66dd01..2f0b5f607c9 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,15 @@ +2022-05-18 Thomas Schwinge + + * 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 + + * cuda/cuda.h: For C++, wrap in 'extern "C"'. + 2022-05-17 Nathan Sidwell * demangle.h (enum demangle_component_type): Add diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 7b8307e0eb4..cc7ba37b3c6 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,12 @@ +2022-05-18 Tobias Burnus + + * 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 * libgomp.texi (OpenMP 5.1): Remove "Not inside target regions" diff --git a/libiberty/ChangeLog b/libiberty/ChangeLog index 61938ab146f..455dbbad288 100644 --- a/libiberty/ChangeLog +++ b/libiberty/ChangeLog @@ -1,3 +1,14 @@ +2022-05-18 Nathan Sidwell + + * 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 * cp-demangle.c (d_make_comp): Adjust.