From 43997608a0887341160d50f83ad2d0159b387aae Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Wed, 13 Jul 2022 00:16:33 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 45 +++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 328 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/fortran/ChangeLog | 7 ++ gcc/testsuite/ChangeLog | 33 +++++ include/ChangeLog | 7 ++ libgomp/ChangeLog | 10 ++ libstdc++-v3/ChangeLog | 22 ++++ lto-plugin/ChangeLog | 7 ++ 9 files changed, 460 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3db624b..88d9838 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,48 @@ +2022-07-12 Aldy Hernandez + + * range-op.cc (unsigned_singleton_p): Remove. + (operator_bitwise_and::remove_impossible_ranges): Remove. + (operator_bitwise_and::fold_range): Set nonzero bits. * + * value-range.cc (irange::get_nonzero_bits): Remove + legacy_mode_p assert. + (irange::dump_bitmasks): Remove legacy_mode_p check. + +2022-07-12 Richard Sandiford + + PR target/106253 + * predict.h (insn_optimization_type): Declare. + * predict.cc (insn_optimization_type): New function. + * internal-fn.def (IFN_ICEIL, IFN_IFLOOR, IFN_IRINT, IFN_IROUND) + (IFN_LCEIL, IFN_LFLOOR, IFN_LRINT, IFN_LROUND, IFN_LLCEIL) + (IFN_LLFLOOR, IFN_LLRINT, IFN_LLROUND): New internal functions. + * internal-fn.cc (unary_convert_direct): New macro. + (expand_convert_optab_fn): New function. + (expand_unary_convert_optab_fn): New macro. + (direct_unary_convert_optab_supported_p): Likewise. + * optabs.cc (expand_sfix_optab): Pass insn_optimization_type to + convert_optab_handler. + * config/aarch64/aarch64-protos.h + (aarch64_builtin_vectorized_function): Delete. + * config/aarch64/aarch64-builtins.cc + (aarch64_builtin_vectorized_function): Delete. + * config/aarch64/aarch64.cc + (TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Delete. + * config/i386/i386.cc (ix86_optab_supported_p): Handle lround_optab. + * config/i386/i386.md (lround2): Remove + optimize_insn_for_size_p test. + +2022-07-12 Richard Biener + + * tree-vect-loop-manip.cc (create_lcssa_for_virtual_phi): + Remove. + (vect_do_peeling): Do not call it, adjust comment. + +2022-07-12 Richard Sandiford + + * config/aarch64/aarch64-builtins.cc + (aarch64_builtin_vectorized_function): Remove handling of + floor, ceil, trunc, round, nearbyint, sqrt, clz and ctz. + 2022-07-11 Andrew MacLeod PR tree-optimization/106234 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 40dba6d..e8fa68b 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220712 +20220713 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 02490f0..e8ea2a7 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,331 @@ +2022-07-12 Piotr Trojanek + + * exp_ch11.adb (Expand_N_Exception_Declaration): Sync comment + with declaration in System.Standard_Library. + +2022-07-12 Marc Poulhiès + + * libgnat/s-secsta.adb (Has_Enough_Free_Memory): Check for full + chunk before computing the available size. + +2022-07-12 Steve Baird + + * exp_ch4.adb (Expand_Nonbinary_Modular_Op.Expand_Modular_Op): + Reimplement choice of which predefined type to use for the + implementation of a predefined operation of a modular type with + a non-power-of-two modulus. + +2022-07-12 Justin Squirek + + * einfo.ads: Modify documentation for In_Use flag to include + scope stack manipulation. + * sem_ch8.adb (Use_One_Type): Add condition to return when + attempting to detect redundant use_type_clauses in child units + in certain cases. + +2022-07-12 Eric Botcazou + + * restrict.ads (type ND_Entry): Add System_Child component. + (Check_Restriction_No_Dependence_On_System): Declare. + * restrict.adb (Global_Restriction_No_Tasking): Move around. + (Violation_Of_No_Dependence): New procedure. + (Check_Restriction_No_Dependence): Call Violation_Of_No_Dependence + to report a violation. + (Check_Restriction_No_Dependence_On_System): New procedure. + (Set_Restriction_No_Dependenc): Set System_Child component if the + unit is a child of System. + * snames.ads-tmpl (Name_Arith_64): New package name. + (Name_Arith_128): Likewise. + (Name_Memory): Likewise. + (Name_Stack_Checking): Likewise. + * fe.h (Check_Restriction_No_Dependence_On_System): Declare. + +2022-07-12 Bob Duff + + * par.adb (P_Declarative_Items): New function to parse a + sequence of declarative items. + (P_Sequence_Of_Statements): Add Handled flag, to indicate + whether to wrap the result in a block statement. + * par-ch3.adb (P_Declarative_Item): Rename P_Declarative_Items + to be P_Declarative_Item, because it really only parses a single + declarative item, and to avoid conflict with the new + P_Declarative_Items. Add In_Statements. We keep the old + error-recovery mechanisms in place when In_Statements is False. + When True, we don't want to complain about statements, because + we are parsing a sequence of statements. + (P_Identifier_Declarations): If In_Statements, and we see what + looks like a statement, we no longer give an error. We return to + P_Sequence_Of_Statements with Done = True, so it can parse the + statement. + * par-ch5.adb (P_Sequence_Of_Statements): Call + P_Declarative_Items to parse declarative items that appear in + the statement list. Remove error handling code that complained + about such items. Check some errors conservatively. Wrap the + result in a block statement when necessary. + * par-ch11.adb (P_Handled_Sequence_Of_Statements): Pass + Handled => True to P_Sequence_Of_Statements. + * types.ads (No, Present): New functions for querying + Source_Ptrs (equal, not equal No_Location). + +2022-07-12 Piotr Trojanek + + * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings): + Fix range of iteration. + +2022-07-12 Piotr Trojanek + + * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings): + Do not process expression of unknown restrictions. + +2022-07-12 Vasiliy Fofanov + + * makeusg.adb, + doc/gnat_ugn/building_executable_programs_with_gnat.rst: Move -P + to the top of switches list and make it clear that gnatmake + passes the ball to gprbuild if -P is set. + * gnat_ugn.texi: Regenerate. + +2022-07-12 Bob Duff + + * libgnat/g-socthi__vxworks.adb (C_Connect): Suppress new warning. + +2022-07-12 Piotr Trojanek + + * sem_attr.adb (Set_Boolean_Result): Simplify using + Boolean_Literals. + +2022-07-12 Yannick Moy + + * errout.adb (Record_Compilation_Errors): Remove global + variable. + (Compilation_Errors): Simplify. + (Initialize): Inline Reset_Warnings. + (Reset_Warnings): Remove. + * errout.ads (Reset_Warnings): Remove. + (Compilation_Errors): Update comment. + * gnat1drv.adb (Adjust_Global_Switches): Ignore all frontend + warnings in GNATprove mode, except regarding elaboration and + suspicious contracts. + +2022-07-12 Eric Botcazou + + * sem_util.adb (Caller_Known_Size_Record): Make entry assertion + more robust and add guard for null argument. For protected + types, invoke Caller_Known_Size_Record on + Corresponding_Record_Type. + (Needs_Secondary_Stack): Likewise. + +2022-07-12 Doug Rupp + + * libgnat/system-vxworks7-ppc-rtp.ads: Remove + * libgnat/system-vxworks7-x86-rtp.ads: Likewise. + +2022-07-12 Piotr Trojanek + + * sem_ch12.adb (Analyze_Package_Instantiation): Remove dubious + call to Set_Comes_From_Source. + +2022-07-12 Bob Duff + + * sem_ch5.adb (Check_Unreachable_Code): Refine heuristics. + * sem_util.ads, sem_util.adb (Is_Static_Constant_Name): Remove + this; instead we have a new function Is_Simple_Case in + Sem_Ch5.Check_Unreachable_Code. + +2022-07-12 Bob Duff + + * gnatls.adb (Output_License_Information): Remove pragma + No_Return; call sites deal with Exit_Program. + * libgnat/g-socthi.adb (C_Connect): Suppress warning about + unreachable code. + * sem_ch5.adb (Check_Unreachable_Code): Special-case if + statements with static conditions. If we remove unreachable + code (including the return statement) from a function, add + "raise Program_Error", so we won't warn about missing returns. + Remove Original_Node in test for N_Raise_Statement; it's not + needed. Remove test for CodePeer_Mode; if Operating_Mode = + Generate_Code, then CodePeer_Mode can't be True. Misc cleanup. + Do not reuse Nxt variable for unrelated purpose (the usage in + the Kill_Dead_Code loop is entirely local to the loop). + * sem_ch6.adb: Add check for Is_Transfer. Misc cleanup. + * sem_prag.adb: Minor. + * sem_res.adb: Minor. + * sem_util.adb: Minor cleanup. + (Is_Trivial_Boolean): Move to nonnested place, so it can be + called from elsewhere. + (Is_Static_Constant_Boolean): New function. + * sem_util.ads (Is_Trivial_Boolean): Export. + (Is_Static_Constant_Boolean): New function. + +2022-07-12 Eric Botcazou + + * libgnat/s-stchop.ads: Use a double underscore prefix for symbols. + +2022-07-12 Ed Schonberg + + * freeze.adb (Check_Expression_Function.Find_Constant): Add a + check that a type that is referenced as the prefix of an + attribute is fully declared. + (Freeze_And_Append): Do not freeze the profile when freezing an + expression function. + (Freeze_Entity): When a tagged type is frozen, also freeze any + primitive operations of the type that are expression functions. + * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not prevent + freezing associated with an expression function body if the + function is a dispatching op. + +2022-07-12 Piotr Trojanek + + * sem_ch7.adb (Analyze_Package_Declaration): Check references to + unset objects. + +2022-07-12 Piotr Trojanek + + * sem_ch13.adb (Analyze_Aspect_Yield): Look at the entity kind, + not at the declaration kind. + +2022-07-12 Joffrey Huguet + + * libgnarl/a-reatim.ads, libgnat/a-cfdlli.ads, + libgnat/a-cfhama.ads, libgnat/a-cfhase.ads, + libgnat/a-cfinse.ads, libgnat/a-cfinve.ads, + libgnat/a-cforma.ads, libgnat/a-cforse.ads, + libgnat/a-chahan.ads, libgnat/a-cofove.ads, + libgnat/a-cofuma.ads, libgnat/a-cofuse.ads, + libgnat/a-cofuve.ads, libgnat/a-nbnbin.ads, + libgnat/a-nbnbre.ads, libgnat/a-ngelfu.ads, + libgnat/a-nlelfu.ads, libgnat/a-nllefu.ads, + libgnat/a-nselfu.ads, libgnat/a-nuelfu.ads, + libgnat/a-strbou.ads, libgnat/a-strfix.ads, + libgnat/a-strmap.ads, libgnat/a-strunb.ads, + libgnat/a-strunb__shared.ads, libgnat/a-strsea.ads, + libgnat/a-textio.ads, libgnat/a-tideio.ads, + libgnat/a-tienio.ads, libgnat/a-tifiio.ads, + libgnat/a-tiflio.ads, libgnat/a-tiinio.ads, + libgnat/a-timoio.ads, libgnat/i-c.ads, libgnat/interfac.ads, + libgnat/interfac__2020.ads, libgnat/s-atacco.ads, + libgnat/s-stoele.ads: Annotate packages and subprograms with + returning annotations. + +2022-07-12 Eric Botcazou + + * rtsfind.ads (RE_Id): Remove RE_Str_Concat_Bounds_N values. + (RE_Unit_Table): Remove RE_Str_Concat_Bounds_N entries. + * libgnat/s-conca2.ads (Str_Concat_2): Adjust head comment. + (Str_Concat_Bounds_2): Delete. + * libgnat/s-conca2.adb (Str_Concat_2): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_2): Delete. + * libgnat/s-conca3.ads (Str_Concat_3): Adjust head comment. + (Str_Concat_Bounds_3): Delete. + * libgnat/s-conca3.adb (Str_Concat_3): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_3): Delete. + * libgnat/s-conca4.ads (Str_Concat_4): Adjust head comment. + (Str_Concat_Bounds_4): Delete. + * libgnat/s-conca4.adb (Str_Concat_4): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_4): Delete. + * libgnat/s-conca5.ads (Str_Concat_5): Adjust head comment. + (Str_Concat_Bounds_5): Delete. + * libgnat/s-conca5.adb (Str_Concat_5): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_5): Delete. + * libgnat/s-conca6.ads (Str_Concat_6): Adjust head comment. + (Str_Concat_Bounds_6): Delete. + * libgnat/s-conca6.adb (Str_Concat_6): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_6): Delete. + * libgnat/s-conca7.ads (Str_Concat_7): Adjust head comment. + (Str_Concat_Bounds_7): Delete. + * libgnat/s-conca7.adb (Str_Concat_7): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_7): Delete. + * libgnat/s-conca8.ads (Str_Concat_8): Adjust head comment. + (Str_Concat_Bounds_8): Delete. + * libgnat/s-conca8.adb (Str_Concat_8): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_8): Delete. + * libgnat/s-conca9.ads (Str_Concat_9): Adjust head comment. + (Str_Concat_Bounds_9): Delete. + * libgnat/s-conca9.adb (Str_Concat_9): Use the length of the last + input to size the last assignment. + (Str_Concat_Bounds_9): Delete. + +2022-07-12 Bob Duff + + * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Use _Next and + _Previous in the optimized expansion of "for ... of". No longer + need to check parameter profiles for these, because the + leading-underscore names are unique. + * libgnat/a-convec.ads (_Next, _Previous): Renamings of Next and + Previous, to avoid namespace pollution. + * libgnat/a-cbdlli.ads, libgnat/a-cbhama.ads, + libgnat/a-cbhase.ads, libgnat/a-cbmutr.ads, + libgnat/a-cborma.ads, libgnat/a-cborse.ads, + libgnat/a-cdlili.ads, libgnat/a-cidlli.ads, + libgnat/a-cihama.ads, libgnat/a-cihase.ads, + libgnat/a-cimutr.ads, libgnat/a-ciorma.ads, + libgnat/a-ciorse.ads, libgnat/a-cobove.ads, + libgnat/a-cohama.ads, libgnat/a-cohase.ads, + libgnat/a-coinve.ads, libgnat/a-comutr.ads, + libgnat/a-coorma.ads, libgnat/a-coorse.ads: Likewise. Also, + remove duplicated comments -- refer to one comment about _Next, + _Previous, Pseudo_Reference in libgnat/a-convec.ads. DRY. + * scng.adb (Scan): Allow leading underscores in identifiers in + the run-time library. + * snames.ads-tmpl (Name_uNext, Name_uPrevious): New names with + leading underscores. + +2022-07-12 Piotr Trojanek + + * sem_ch5.adb (Check_Unreachable_Code): Extend suppression to + calls with No_Return aspect, but narrow it to functions. + * sem_res.adb (Resolve_Call): Warn about unreachable code after + calls with No_Return. + +2022-07-12 Bob Duff + + * scans.ads: Fix obsolete comments about Tok_Special, and give + Special_Character a predicate assuring it is one of the two + characters used in preprocessing. + * scng.ads: Clean up comments. + * scng.adb: Clean up handling of Tok_Special. Remove comment + about '@' (target_name), which doesn't seem very helpful. + Set_Special_Character will now blow up if given anything other + than '#' and '$', because of the predicate on Special_Character; + it's not clear why it used to say "when others => null;". + Remove Comment_Is_Token, which is not used. + * scn.ads: Remove commented-out use clause. Remove redundant + comment. + * ali-util.adb: Use "is null" for do-nothing procedures. + * gprep.adb (Post_Scan): Use "is null". + +2022-07-12 Bob Duff + + * libgnarl/s-solita.adb (Task_Termination_Handler_T): Ignore all + exceptions propagated by Specific_Handler. + * libgnarl/s-tassta.adb, libgnarl/s-taskin.ads: Minor. + +2022-07-12 Marc Poulhiès + + * sem.adb (Preanalyze): Suppress checks when not in GNATprove + mode. + * sem_res.adb (Preanalyze_And_Resolve): Add cross reference in + comment to above procedure. + * sinfo.ads: Typo fix in comment. + +2022-07-12 Julien Bortolussi + + * libgnat/a-cfidll.adb, libgnat/a-cfidll.ads: Implementation + files of the formal unbounded indefinite list. + * Makefile.rtl, impunit.adb: Take into account the add of the + new files. + +2022-07-12 Piotr Trojanek + + * sem_util.adb (Is_Variable): Remove excessive guard. + 2022-07-06 Piotr Trojanek * gcc-interface/Make-lang.in (ada/generated/gnatvsn.ads): diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 9bde368..f13ce09 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2022-07-12 Harald Anlauf + + PR fortran/106049 + * simplify.cc (is_constant_array_expr): A non-zero-sized constant + array shall have a non-empty constructor. When the constructor is + empty or missing, treat as non-constant. + 2022-07-04 Tobias Burnus Jakub Jelinek diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7b95680..ea12f2f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,36 @@ +2022-07-12 Harald Anlauf + + PR fortran/106049 + * gfortran.dg/pack_simplify_1.f90: New test. + +2022-07-12 Richard Sandiford + + PR target/106253 + * gcc.target/aarch64/vect_unary_1.c: Add tests for iroundf, + llround, iceilf, llceil, ifloorf, llfloor, irintf and llrint. + * gfortran.dg/vect/pr106253.f: New test. + +2022-07-12 Piotr Trojanek + + * gnat.dg/specs/discr5.ads: Expect new warnings. + * gnat.dg/specs/empty_variants.ads: Likewise. + * gnat.dg/specs/pack13.ads: Likewise. + +2022-07-12 Richard Sandiford + + * gcc.target/aarch64/vect_unary_1.c: New test. + +2022-07-12 Alexandre Oliva + + * gcc.target/i386/cet-sjlj-6a.c: Cope with --enable-default-pie. + * gcc.target/i386/cet-sjlj-6b.c: Likewise. + * gcc.target/i386/fentryname3.c: Likewise. + * gcc.target/i386/mvc7.c: Likewise. + * gcc.target/i386/pr24414.c: Likewise. + * gcc.target/i386/pr93492-3.c: Likewise. + * gcc.target/i386/pr93492-5.c: Likewise. + * gcc.target/i386/pr98482-1.c: Likewise. + 2022-07-11 Roger Sayle * gcc.target/i386/sse4_1-stv-2.c: New test case, pand. diff --git a/include/ChangeLog b/include/ChangeLog index 07f2b7c..ee23c30 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,10 @@ +2022-07-12 Martin Liska + + * plugin-api.h (enum linker_api_version): New enum. + (ld_plugin_get_api_version): New. + (enum ld_plugin_tag): Add LDPT_GET_API_VERSION. + (struct ld_plugin_tv): Add tv_get_api_version. + 2022-07-06 Thomas Schwinge * gomp-constants.h (OMP_REQUIRES_[...]): Update comment. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index f2a282c..5a836a9 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,13 @@ +2022-07-12 Tobias Burnus + + * target.c (gomp_target_init): Added tailing '\n' to gomp_debug. + +2022-07-12 Thomas Schwinge + + PR middle-end/101551 + * testsuite/libgomp.oacc-c-c++-common/reduction-5.c: XFAIL + 'offloading_enabled' diagnostics issue. + 2022-07-11 Thomas Schwinge * testsuite/libgomp.oacc-c-c++-common/reduction-5.c: Enhance diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 6abc8fe..5f0bbd7 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,25 @@ +2022-07-12 Jonathan Wakely + + PR libstdc++/106248 + * include/std/istream [C++17] (operator>>(istream&, char*)): + Set eofbit if we stopped extracting at EOF. + * testsuite/27_io/basic_istream/extractors_character/char/pr106248.cc: + New test. + * testsuite/27_io/basic_istream/extractors_character/wchar_t/pr106248.cc: + New test. + +2022-07-12 Jonathan Wakely + + * include/bits/stl_iterator.h (__iter_to_alloc_t): Replace + add_const_t with const-qualifier. + * include/bits/utility.h (tuple_element): Likewise for + all cv-qualifiers. + * include/std/type_traits (add_const, add_volatile): Replace + typedef-declaration with using-declaration. + (add_cv): Replace add_const and add_volatile with cv-qualifiers. + * include/std/variant (variant_alternative): Replace + add_const_t, add_volatile_t and add_cv_t etc. with cv-qualifiers. + 2022-07-09 François Dumont * include/std/string: Remove obsolete comment about char_traits.h including diff --git a/lto-plugin/ChangeLog b/lto-plugin/ChangeLog index 16e44c8..42760af 100644 --- a/lto-plugin/ChangeLog +++ b/lto-plugin/ChangeLog @@ -1,3 +1,10 @@ +2022-07-12 Martin Liska + + * lto-plugin.c (negotiate_api_version): New. + (onload): Negotiate API version. + * Makefile.am: Add -DBASE_VERSION. + * Makefile.in: Regenerate. + 2022-07-07 Martin Liska PR lto/106170 -- 2.7.4