From: GCC Administrator Date: Fri, 13 May 2022 00:16:30 +0000 (+0000) Subject: Daily bump. X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=49ace834ab15c1614a96a81005304eae0f2f525e;p=platform%2Fupstream%2Fgcc.git Daily bump. --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7a8a24b..eecedab 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,37 @@ +2022-05-12 Richard Biener + + PR rtl-optimization/105577 + * dse.cc (rest_of_handle_dse): Make sure to purge dead EH + edges before running fast DCE via df_analyze. + +2022-05-12 Richard Biener + + PR tree-optimization/105562 + * tree-ssa-sccvn.cc (vn_reference_lookup_3): Disambiguate + against all CLOBBER defs if there's not an obvious must-alias + and we are not doing redundant store elimination. + (vn_walk_cb_data::redundant_store_removal_p): New field. + (vn_reference_lookup_pieces): Initialize it. + (vn_reference_lookup): Add argument to specify if we are + doing redundant store removal. + (eliminate_dom_walker::eliminate_stmt): Specify we do. + * tree-ssa-sccvn.h (vn_reference_lookup): Adjust. + +2022-05-12 Haochen Jiang + + PR target/104371 + * config/i386/sse.md (vi1avx2const): New define_mode_attr. + (pxor/pcmpeqb/pmovmskb/cmp 0xffff to ptest splitter): + New define_split pattern. + +2022-05-12 Jakub Jelinek + + * gimplify.cc (gimplify_omp_depend): Don't build_fold_addr_expr + if null_pointer_node. + (gimplify_scan_omp_clauses): Likewise. + * tree-pretty-print.cc (dump_omp_clause): Print null_pointer_node + as omp_all_memory. + 2022-05-11 Patrick Palka * tree.h (TREE_VEC_BEGIN): Define. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 2a18b64..7d15185 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220512 +20220513 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 99fd922..01ecdb8 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,305 @@ +2022-05-12 Piotr Trojanek + + * gnat1drv.adb (Gnat1drv): Skip postponed checks when there are + errors. + +2022-05-12 Arnaud Charlet + + * doc/gnat_ugn/the_gnat_compilation_model.rst: Fix URL. + * gnat_ugn.texi: Regenerate. + +2022-05-12 Bob Duff + + * namet.ads, namet.adb (Write_Name_For_Debug): Add Quote + parameter to allow conditional addition of quotes. Note that + some calls to Write_Name_For_Debug, for example for file names, + shouldn't have quotes, as in some_package.adb:123:45. + * treepr.adb (Print_Name): Add double quotes around the name + using the above Quote parameters. + +2022-05-12 Piotr Trojanek + + * sem_res.adb (Resolve_Actuals): Simplify with N_Op_Compare. + * sem_util.adb (Replace_Null_Operand, + Null_To_Null_Address_Convert_OK): Likewise. + +2022-05-12 Piotr Trojanek + + * sem_util.ads (Is_Selector_Name): Remove spec. + * sem_util.adb (Is_Selector_Name): Remove body. + +2022-05-12 Arnaud Charlet + + * sem_warn.adb (Has_Junk_Name): Add more dummy names. + +2022-05-12 Piotr Trojanek + + * lib-xref.adb (Generate_Reference): Fix comment and implement + it precisely. + +2022-05-12 Piotr Trojanek + + * atree.adb, atree.ads: Move WITH clause from spec to body; to + prevent new warnings stopping the bootstrap. + * fmap.adb, fname-sf.adb, libgnat/a-direct.adb, + libgnat/s-bignum.adb: Remove unnecessary WITH clauses; to + prevent new warnings stopping the bootstrap. + * sem_ch12.adb (Analyze_Subprogram_Instantiation): Only set + Is_Instantiated flag when the instance is in the extended main + source unit. + +2022-05-12 Yannick Moy + + * libgnat/s-valuei.ads: Remove pragma Warnings Off. + * libgnat/s-valueu.ads: Same. + * libgnat/s-valuti.ads: Same. + +2022-05-12 Yannick Moy + + * sem_util.adb (Check_Result_And_Post_State): Exempt trivial + post. + +2022-05-12 Arnaud Charlet + + * ali.adb, ali.ads, bcheck.adb, exp_ch11.adb, fe.h, + gnat1drv.adb, opt.adb, opt.ads, targparm.adb, targparm.ads, + lib-writ.adb: Get rid of Frontend_Exceptions processing. + * libgnat/system-aix.ads, libgnat/system-darwin-arm.ads, + libgnat/system-darwin-ppc.ads, libgnat/system-darwin-x86.ads, + libgnat/system-djgpp.ads, libgnat/system-dragonfly-x86_64.ads, + libgnat/system-freebsd.ads, libgnat/system-hpux-ia64.ads, + libgnat/system-hpux.ads, libgnat/system-linux-alpha.ads, + libgnat/system-linux-arm.ads, libgnat/system-linux-hppa.ads, + libgnat/system-linux-ia64.ads, libgnat/system-linux-m68k.ads, + libgnat/system-linux-mips.ads, libgnat/system-linux-ppc.ads, + libgnat/system-linux-riscv.ads, libgnat/system-linux-s390.ads, + libgnat/system-linux-sh4.ads, libgnat/system-linux-sparc.ads, + libgnat/system-linux-x86.ads, libgnat/system-lynxos178-ppc.ads, + libgnat/system-lynxos178-x86.ads, libgnat/system-mingw.ads, + libgnat/system-qnx-aarch64.ads, libgnat/system-rtems.ads, + libgnat/system-solaris-sparc.ads, + libgnat/system-solaris-x86.ads, + libgnat/system-vxworks-arm-rtp-smp.ads, + libgnat/system-vxworks-arm-rtp.ads, + libgnat/system-vxworks-arm.ads, + libgnat/system-vxworks-e500-kernel.ads, + libgnat/system-vxworks-e500-rtp-smp.ads, + libgnat/system-vxworks-e500-rtp.ads, + libgnat/system-vxworks-ppc-kernel.ads, + libgnat/system-vxworks-ppc-rtp-smp.ads, + libgnat/system-vxworks-ppc-rtp.ads, + libgnat/system-vxworks-x86-kernel.ads, + libgnat/system-vxworks-x86-rtp-smp.ads, + libgnat/system-vxworks-x86-rtp.ads, + libgnat/system-vxworks7-aarch64-rtp-smp.ads, + libgnat/system-vxworks7-aarch64.ads, + libgnat/system-vxworks7-arm-rtp-smp.ads, + libgnat/system-vxworks7-arm.ads, + libgnat/system-vxworks7-e500-kernel.ads, + libgnat/system-vxworks7-e500-rtp-smp.ads, + libgnat/system-vxworks7-e500-rtp.ads, + libgnat/system-vxworks7-ppc-kernel.ads, + libgnat/system-vxworks7-ppc-rtp-smp.ads, + libgnat/system-vxworks7-ppc-rtp.ads, + libgnat/system-vxworks7-ppc64-kernel.ads, + libgnat/system-vxworks7-ppc64-rtp-smp.ads, + libgnat/system-vxworks7-x86-kernel.ads, + libgnat/system-vxworks7-x86-rtp-smp.ads, + libgnat/system-vxworks7-x86-rtp.ads, + libgnat/system-vxworks7-x86_64-kernel.ads, + libgnat/system-vxworks7-x86_64-rtp-smp.ads: Remove + Frontend_Exceptions line. + * gcc-interface/decl.cc, gcc-interface/trans.cc + (gnat_to_gnu_entity, gnat_to_gnu_subprog_type, gigi, + gnat_to_gnu): Remove Front_End_SJLJ processing and always assume + Back_End_Exceptions. + +2022-05-12 Bob Duff + + * namet.ads, namet.adb (Write_Name_For_Debug): New more-robust + version of Write_Name. + (Destroy_Global_Name_Buffer): New procedure to help detect bugs + related to use of Global_Name_Buffer. Misc cleanup and comment + improvements. E.g. we don't need to document every detail of + debugging printouts, especially since they can change. + * uname.ads, uname.adb (Write_Unit_Name_For_Debug): New + more-robust version of Write_Unit_Name. + (Get_Unit_Name_String): Pass buffer in, instead of using the + global variable. Misc cleanup. Remove the "special fudge", which + is apparently not needed, and anyway the comment "the %s or %b + has already been eliminated" seems wrong. + (Write_Unit_Name): Call the new version of Get_Unit_Name_String. + * errout.adb (Set_Msg_Insertion_Unit_Name): Call the new version + of Get_Unit_Name_String. We pass the global variable here, + because it's too much trouble to disentangle such uses in + Errout. + * sem_util.ads, sem_util.adb, sem_dist.adb + (Get_Library_Unit_Name): New version of + Get_Library_Unit_Name_String that avoids usage of the global + variable. + * casing.ads, casing.adb, exp_prag.adb, exp_util.adb + (Set_All_Upper_Case): Remove. There is no need for a wrapper + here -- code is clearer without it. + * treepr.adb (Print_Name): Call Write_Name_For_Debug, which + deals with No_Name (etc), rather than duplicating that here. + Note that the call to Get_Name_String was superfluous. + (Tree_Dump): Call Write_Unit_Name_For_Debug instead of + Write_Unit_Name, which crashes if not Is_Valid_Name. + * erroutc.ads: Improve comments. + * erroutc.adb (Set_Msg_Name_Buffer): Call + Destroy_Global_Name_Buffer to detect potential bugs where it + incorrectly looks at the global variable. + * sinput.adb (Write_Location): Call Write_Name_For_Debug instead + of Write_Name, so it won't blow up on invalid data. + * sinput.ads: Improve comments; remove some verbosity. + * libgnat/s-imagef.adb: Fix typo in comment. + +2022-05-12 Yannick Moy + + * libgnat/s-imageu.adb (Set_Image_Unsigned): Add lemma. + * libgnat/s-valueu.adb (Scan_Raw_Unsigned): Add assertion. + +2022-05-12 Yannick Moy + + * libgnat/s-aridou.ads: Remove use-clause, add renames and + subtypes. + * libgnat/s-exponn.ads: Same. + * libgnat/s-expont.ads: Same. + * libgnat/s-widthu.ads: Same. + +2022-05-12 Etienne Servais + + * csets.adb (Fold_Latin_9): Fix y with diaeresis. + (Fold_IBM_PC_850): Fix o with stroke. + +2022-05-12 Piotr Trojanek + + * sem_type.adb (Valid_Boolean_Arg): Remove redundant guard. + +2022-05-12 Piotr Trojanek + + * sem_type.adb (Valid_Boolean_Arg): Operands of Raise_Type are + valid boolean arguments. + +2022-05-12 Eric Botcazou + + * sem_ch4.adb (Possible_Type_For_Conditional_Expression): Add + test for subtype conformance in the cases of + access-to-subprogram types. + +2022-05-12 Yannick Moy + + * libgnat/s-imagef.adb: Justify false message from CodePeer. + +2022-05-12 Eric Botcazou + + * sem_ch4.adb (Analyze_Case_Expression): Rewrite. + (Analyze_If_Expression): Likewise. + (Possible_Type_For_Conditional_Expression): New function. + * sem_type.adb (Specific_Type): Retur the base type in more + cases. + +2022-05-12 Yannick Moy + + * libgnat/s-imagef.adb: Adapt to new signature of Image_I, by + providing ghost imported subprograms. For now, no contract is + used on these subprograms, as System.Image_F is not proved. + * libgnat/s-imagef.ads: Add modular type Uns as formal + parameter, to use in defining Int_Params for instantiating + Image_I. + * libgnat/s-imagei.adb: Add contracts and ghost code. + * libgnat/s-imagei.ads: Replace Int formal parameter by package + Int_Params, which bundles type Int and Uns with ghost + subprograms. Add contracts. + * libgnat/s-imfi128.ads: Adapt to new formal of Image_F. + * libgnat/s-imfi32.ads: Adapt to new formal of Image_F. + * libgnat/s-imfi64.ads: Adapt to new formal of Image_F. + * libgnat/s-imgint.ads: Adapt to new formals of Image_I. + * libgnat/s-imglli.ads: Adapt to new formals of Image_I. + * libgnat/s-imgllli.ads: Adapt to new formals of Image_I. + * libgnat/s-valint.ads: Adapt to new formals of Value_I. + * libgnat/s-vallli.ads: Adapt to new formals of Value_I. + * libgnat/s-valllli.ads: Adapt to new formals of Value_I. + * libgnat/s-valuei.adb (Prove_Scan_Only_Decimal_Ghost): New + ghost lemma. + * libgnat/s-valuei.ads: New formal parameters to prove the new + lemma. + * libgnat/s-valuti.ads (Int_Params): Define a generic package to + be used as a trait-like formal parameter in Image_I and other + generics that need to instantiate Image_I. + * libgnat/s-widthu.ads (Big_10): Qualify the 10 literal. + +2022-05-12 Eric Botcazou + + * sem_ch4.adb (Find_Arithmetic_Types): Use local variables. + (Find_Boolean_Types): Rewrite modeled on Find_Arithmetic_Types. + +2022-05-12 Alexandre Oliva + + * doc/gnat_rm/security_hardening_features.rst (Hardened + Booleans): New. + * exp_util.adb (Adjust_Condition): Perform validity checking on + hardbool-annotated types even with -gnatVT. + * gnat_rm.texi: Regenerate. + * gcc-interface/utils.cc (gnat_internal_attribute_table): Ignore + hardbool. + +2022-05-12 Piotr Trojanek + + * exp_ch9.adb (Build_Protected_Entry): Set scope of the nested + block to spec and not the body of the procedure created for a + protected entry. + +2022-05-12 Etienne Servais + + * sem_ch3.adb (Find_Type_Of_Object): Remove duplicate "i" in + comment. + +2022-05-12 Marc Poulhiès + + * csets.adb (Initialize): Only treat square bracket as valid + identifier character for Ada versions prior to Ada 2022. + * style.ads (Check_Left_Paren): Rename... + (Check_Left_Paren_Square_Bracket): ...to this. + * styleg.adb (Check_Left_Bracket): Rename... + (Check_Left_Paren_Square_Bracket): ...to this. + * styleg.ads (Check_Left_Paren): Rename... + (Check_Left_Paren_Square_Bracket): ...to this. + * scng.adb (Scan): Add check for spacing around left square + bracket and use new name for Check_Left_Paren_Square_Bracket. + * libgnat/a-szmzco.ads (Control_Ranges, Graphic_Ranges) + (Letter_Ranges, Decimal_Digit_Ranges, ISO_646_Ranges) + (Character_Ranges): Fix style (remove extra space). + * libgnat/a-swmwco.ads (Control_Ranges, Graphic_Ranges) + (Letter_Ranges, Decimal_Digit_Ranges, ISO_646_Ranges) + (Character_Ranges): Likewise. + * opt.adb (Set_Config_Switches): Remove [ from Identifier_Char + set. + +2022-05-12 Eric Botcazou + + * sem_type.adb (Specific_Type): Add swapped cases for interfaces. + +2022-05-12 Piotr Trojanek + + * doc/gnat_rm/implementation_defined_pragmas.rst: + (Export_Object, Import_Object, Short_Descriptors): Fix pragma + syntax specification. + * gnat_rm.texi: Regenerate. + +2022-05-12 Piotr Trojanek + + * ali.adb (Hash): Reuse GNAT.String_Hash.Hash and don't pollute + the Name_Id table. + +2022-05-12 Piotr Trojanek + + * doc/gnat_ugn/the_gnat_compilation_model.rst (Configuration + Pragmas): Add Aggregate_Individually_Assign; otherwise the list + is complete except for some obsoleted pragmas, which most likely + are intentionally omitted. + * gnat_ugn.texi: Regenerate. + 2022-05-11 Yannick Moy * libgnat/s-imaged.ads: Remove Pure. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 88c92d0..31c817a 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,9 @@ +2022-05-12 Jakub Jelinek + + * c-common.h (enum rid): Add RID_OMP_ALL_MEMORY. + * c-omp.cc (c_finish_omp_depobj): Don't build_fold_addr_expr + if null_pointer_node. + 2022-05-11 Martin Liska PR target/105355 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index f697867..6db1152d 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,15 @@ +2022-05-12 Jakub Jelinek + + * c-parser.cc (c_parse_init): Register omp_all_memory as keyword + if flag_openmp. + (c_parser_postfix_expression): Diagnose uses of omp_all_memory + in postfix expressions. + (c_parser_omp_variable_list): Handle omp_all_memory in depend + clause. + * c-typeck.cc (c_finish_omp_clauses): Handle omp_all_memory + keyword in depend clause as null_pointer_node, diagnose invalid + uses. + 2022-05-09 Martin Liska * c-parser.cc (c_parser_conditional_expression): Use {,UN}LIKELY diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5c1ee2f..3402904 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,29 @@ +2022-05-12 Patrick Palka + + * cp-tree.h (TMPL_ARGS_LEVEL): Assert LEVEL is 1 when + TMPL_ARGS_HAVE_MULTIPLE_LEVELS is false. + * pt.cc (try_class_unification): Correctly copy multidimensional + targs. Free the copy of targs. + (unify_pack_expansion): Fix level comparison. + +2022-05-12 Nathan Sidwell + + * parser.cc (cp_parser_linkage_specification): Implement + global module attachment semantics. + +2022-05-12 Jakub Jelinek + + * lex.cc (init_reswords): Register omp_all_memory as keyword + if flag_openmp. + * parser.cc (cp_parser_primary_expression): Diagnose uses of + omp_all_memory in postfix expressions. + (cp_parser_omp_var_list_no_open): Handle omp_all_memory in depend + clause. + * semantics.cc (finish_omp_clauses): Handle omp_all_memory + keyword in depend clause as null_pointer_node, diagnose invalid + uses. + * pt.cc (tsubst_omp_clause_decl): Pass through omp_all_memory. + 2022-05-11 Patrick Palka * constraint.cc (tsubst_parameter_mapping): Convert loop over diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e33db7b..262f3fc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,36 @@ +2022-05-12 David Edelsohn + + * g++.target/powerpc/pr101168.C: Require VSX. + +2022-05-12 Richard Biener + + PR tree-optimization/105562 + * g++.dg/warn/uninit-pr105562.C: New testcase. + +2022-05-12 Nathan Sidwell + + * g++.dg/modules/lang-3_a.C: New. + * g++.dg/modules/lang-3_b.C: New. + * g++.dg/modules/lang-3_c.C: New. + +2022-05-12 Haochen Jiang + + PR target/104371 + * gcc.target/i386/pr104371-1.c: New test. + * gcc.target/i386/pr104371-2.c: Ditto. + +2022-05-12 Jakub Jelinek + + * c-c++-common/gomp/all-memory-1.c: New test. + * c-c++-common/gomp/all-memory-2.c: New test. + * c-c++-common/gomp/all-memory-3.c: New test. + * g++.dg/gomp/all-memory-1.C: New test. + * g++.dg/gomp/all-memory-2.C: New test. + +2022-05-12 jiawei + + * c-c++-common/Wconversion-1.c: Update type. + 2022-05-11 Jason Merrill PR c++/105541 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 1e9cbf7..6d8baf2 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,50 @@ +2022-05-12 Thomas Schwinge + + * Makefile.am (libgomp_la_LIBADD): Initialize. + * plugin/configfrag.ac (DL_LIBS): New. + (PLUGIN_GCN_LIBS): Remove. + (PLUGIN_NVPTX_LIBS): Don't set in the 'PLUGIN_NVPTX_DYNAMIC' case. + * plugin/Makefrag.am (libgomp_la_LIBADD) + (libgomp_plugin_gcn_la_LIBADD): Consider '$(DL_LIBS)'. + (libgomp_plugin_nvptx_la_LIBADD) : Likewise. + * Makefile.in: Regenerate. + * config.h.in: Likewise. + * configure: Likewise. + * testsuite/Makefile.in: Likewise. + +2022-05-12 Thomas Schwinge + + * plugin/Makefrag.am: Handle 'PLUGIN_NVPTX_DYNAMIC'. + * plugin/configfrag.ac (PLUGIN_NVPTX_DYNAMIC): Change + 'AC_DEFINE_UNQUOTED' into 'AM_CONDITIONAL'. + * plugin/plugin-nvptx.c: Split 'PLUGIN_NVPTX_DYNAMIC' into + 'PLUGIN_NVPTX_INCLUDE_SYSTEM_CUDA_H' and + 'PLUGIN_NVPTX_LINK_LIBCUDA'. + * Makefile.in: Regenerate. + * config.h.in: Likewise. + * configure: Likewise. + +2022-05-12 Thomas Schwinge + + * plugin/configfrag.ac: Don't 'AC_SUBST' and 'AC_DEFINE_UNQUOTED' + for 'PLUGIN_GCN', 'PLUGIN_NVPTX'. + * Makefile.in: Regenerate. + * config.h.in: Likewise. + * configure: Likewise. + * testsuite/Makefile.in: Likewise. + +2022-05-12 Jakub Jelinek + + * libgomp.h (struct gomp_task): Add depend_all_memory member. + * task.c (gomp_init_task): Initialize depend_all_memory. + (gomp_task_handle_depend): Handle omp_all_memory. + (gomp_task_run_post_handle_depend_hash): Clear + parent->depend_all_memory if equal to current task. + (gomp_task_maybe_wait_for_dependencies): Handle omp_all_memory. + * testsuite/libgomp.c-c++-common/depend-1.c: New test. + * testsuite/libgomp.c-c++-common/depend-2.c: New test. + * testsuite/libgomp.c-c++-common/depend-3.c: New test. + 2022-05-11 Thomas Schwinge * plugin/configfrag.ac: Remove '--with-hsa-runtime', diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index a24f3d5..b20ba3e 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,10 @@ +2022-05-12 Jonathan Wakely + + * config/locale/dragonfly/numeric_members.cc: Remove whitespace. + * config/locale/gnu/numeric_members.cc: Likewise. + * include/bits/locale_facets_nonio.h: Likewise. + * libsupc++/typeinfo: Likewise. + 2022-05-10 Jonathan Wakely PR libstdc++/105284