From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id A429D385802D; Thu, 6 May 2021 00:17:13 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A429D385802D MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r12-526] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: e8d1ca7d2c344a411779892616c423e157f4aea8 X-Git-Newrev: 449480114aa5ee7e400b75c654f548e38fd03a64 Message-Id: <20210506001713.A429D385802D@sourceware.org> Date: Thu, 6 May 2021 00:17:13 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 06 May 2021 00:17:13 -0000 https://gcc.gnu.org/g:449480114aa5ee7e400b75c654f548e38fd03a64 commit r12-526-g449480114aa5ee7e400b75c654f548e38fd03a64 Author: GCC Administrator Date: Thu May 6 00:16:37 2021 +0000 Daily bump. Diff: --- gcc/ChangeLog | 96 ++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 401 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/fortran/ChangeLog | 8 + gcc/testsuite/ChangeLog | 64 ++++++++ libcc1/ChangeLog | 198 ++++++++++++++++++++++++ libgfortran/ChangeLog | 5 + libstdc++-v3/ChangeLog | 39 +++++ 8 files changed, 812 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7b69f9dca4f..d1cc60a78e0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,99 @@ +2021-05-05 Eric Botcazou + + PR target/100402 + * config/i386/i386.c (ix86_compute_frame_layout): For a SEH target, + always return the establisher frame for __builtin_frame_address (0). + +2021-05-05 Ivan Sorokin + + PR target/91400 + * config/i386/i386-builtins.c (ix86_cpu_model_type_node): New. + (ix86_cpu_model_var): Likewise. + (ix86_cpu_features2_type_node): Likewise. + (ix86_cpu_features2_var): Likewise. + (fold_builtin_cpu): Cache __cpu_model and __cpu_features2 with + their types. + +2021-05-05 Martin Sebor + + * passes.def (pass_warn_printf): Run after SSA. + +2021-05-05 Prathamesh Kulkarni + + * config/arm/neon.md (neon_vtst_combine): New pattern. + * config/arm/predicates.md (minus_one_operand): New predicate. + +2021-05-05 Jeff Law + + * config/avr/avr.md: Remove references to CC_STATUS_INIT. + +2021-05-05 Stefan Schulze Frielinghaus + + PR rtl-optimization/100263 + * postreload.c (move2add_valid_value_p): Ensure register can + change mode. + +2021-05-05 Eric Botcazou + + PR rtl-optimization/100411 + * cfgcleanup.c (try_crossjump_to_edge): Also skip end of prologue + and beginning of function markers. + +2021-05-05 Jeff Law + + * config/cr16/cr16.h (NOTICE_UPDATE_CC): Remove. + * config/cr16/cr16.c (notice_update_cc): Remove. + * config/cr16/cr16-protos.h (notice_update_cc): Remove. + +2021-05-05 Uroš Bizjak + + PR target/98218 + * config/i386/i386-expand.c (ix86_expand_int_sse_cmp): + Handle V8QI, V4HI and V2SI modes. + * config/i386/i386.c (ix86_build_const_vector): Handle V2SImode. + (ix86_build_signbit_mask): Ditto. + * config/i386/mmx.md (MMXMODE14): New mode iterator. + (3): New expander. + (*mmx_3): New insn pattern. + (3): New expander. + (*mmx_3): New insn pattern. + (vec_cmp): New expander. + (vec_cmpu): Ditto. + (vcond): Ditto. + (vcondu): Ditto. + (vcond_mask_): Ditto. + +2021-05-05 Eric Botcazou + + * dwarf2out.c (loc_list_from_tree_1) : During early DWARF, do + not expand the VALUE_EXPR of variables put in the non-local frame. + * gimplify.c (gimplify_type_sizes) : If the type is not + to be ignored for debug info, ensure its variable offsets are not. + +2021-05-05 Richard Biener + + PR tree-optimization/79333 + * tree-ssa-sccvn.c (eliminate_dom_walker::eliminate_stmt): + Fold stmt following SSA edges. + +2021-05-05 Richard Biener + + PR middle-end/100394 + * calls.c (expand_call): Preserve possibly throwing calls. + * cfgexpand.c (expand_call_stmt): When a call can throw signal + RTL expansion there are side-effects. + * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Simplify, + mark all possibly throwing stmts necessary unless we can elide + dead EH. + * tree-ssa-dse.c (pass_dse::execute): Preserve exceptions unless + -fdelete-dead-exceptions. + * tree.h (DECL_PURE_P): Add note about exceptions. + +2021-05-05 Alexandre Oliva + + * config/i386/vxworks.h (DBX_REGISTER_NUMBER): Make it + unconditional. + 2021-05-04 David Edelsohn * config/rs6000/rs6000-call.c (rs6000_output_mi_thunk): Use diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index eb085aa83ab..8e159d53420 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210505 +20210506 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index adcf2f5adb4..534ab11e8bc 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,404 @@ +2021-05-05 Piotr Trojanek + + * exp_attr.adb (Expand_N_Attribute_Reference): Fix expansion of + attributes Input and Output for unchecked unions. + * sem_case.ads: Fix typo "disriminant" and refill comment. + +2021-05-05 Piotr Trojanek + + * exp_attr.adb, exp_ch9.adb, sem_ch3.adb: Reuse + Has_Defaulted_Discriminants. + * sem_ch4.adb (Analyze_Allocator): Reuse + Has_Defaulted_Discriminants (after reordering conjuncts); remove + redundant IF statement, whose condition is implied by + Has_Defaulted_Discriminants. + * sem_util.adb (Has_Defaulted_Discriminants): Has_Discriminants + implies that the First_Discriminant is present. + (Is_Fully_Initialized_Type): Reuse Has_Defaulted_Discriminants. + +2021-05-05 Justin Squirek + + * exp_ch6.adb (Expand_Call_Helper): Add condition to check for + expanded actuals and remove dead code. + +2021-05-05 Piotr Trojanek + + * exp_ch4.adb (Has_Unconstrained_UU_Component): Rewrite to + follow the Ada RM grammar. + +2021-05-05 Piotr Trojanek + + * exp_ch4.adb (User_Defined_Primitive_Equality_Op): Refine type + of a local variable. + * exp_dbug.adb (Scope_Contains): Refine all types from Node_Id + to Entity_Id; rename parameters to match those of the + Scope_Within routine (which is similar but not the same); also, + simplify an OR ELSE into a membership test. + +2021-05-05 Piotr Trojanek + + * exp_ch4.adb (Component_Is_Unconstrained_UU): Detect both + qualified and unqualified names of unchecked union components. + +2021-05-05 Piotr Trojanek + + * exp_ch4.adb (Variant_Is_Unconstrained_UU): Remove redundant + check for empty list. + * exp_disp.adb (Find_Entry_Index): Simplify by removing + redundant check and counting from zero; fix type of a local + variable. + * sem_ch12.adb (Save_Global_Descendant): Remove an unnecessary + special-case for empty lists. + +2021-05-05 Piotr Trojanek + + * exp_ch4.adb (Apply_Accessibility_Check): Skip a statically + true condition in expanded raise statement. + +2021-05-05 Bob Duff + + * libgnat/s-os_lib.adb (Missed_Drive_Letter): Simplify the code. + +2021-05-05 Ed Schonberg + + * sem_ch5.adb (Analyze_Assignment): Do not emit the warning that + a previous value of the target object is useless if the + right-hand side of the assignment includes target names. + +2021-05-05 Eric Botcazou + + * exp_imgv.adb: Add with/use clauses for Targparm. + (Build_Enumeration_Image_Tables): Set type of Threshold to Nat and + initialize it to Nat'Last if the type is local and the target does + not support descriptors. Adjust Threshold_For_Size similarly. + (Expand_Value_Attribute): Minor tweaks. + +2021-05-05 Ghjuvan Lacambre + + * exp_ch7.adb (Expand_N_Package_Body): Add CUDA init call. + * sem_ch7.adb (Analyze_Package_Body_Helper): Remove CUDA init + call. + +2021-05-05 Ghjuvan Lacambre + + * par-ch5.adb (P_Condition): Check if expression is declare + expression. + +2021-05-05 Piotr Trojanek + + * make.adb (Make): Use GNAT.Ctrl_C.Install_Handler instead of a + custom imported procedure. + +2021-05-05 Eric Botcazou + + * exp_imgv.adb (Is_User_Defined_Enumeration_Type): Delete. + (Expand_Image_Attribute): Move inline expansion into normal flow of + control, move down declarations and remove superfluous processing. + +2021-05-05 Piotr Trojanek + + * libgnat/g-alleve.adb (Bit_Operation): Now a not-null type. + * libgnat/g-sechas.adb (Fill_Buffer_Access): Likewise. + * libgnat/s-dwalin.adb (Callback): Likewise. + +2021-05-05 Ghjuvan Lacambre + + * exp_util.adb (Is_Possibly_Unaligned_Object): Remove commented + code. + +2021-05-05 Ed Schonberg + + * sem_ch3.adb (Find_Type_Of_Object): When In_Spec_Expression is + set and the object declaration generates a subtype indication, + build the corresponding subtype declaration and place it in tree + without the use of Insert_Actions, which is disabled in this + context. + +2021-05-05 Eric Botcazou + + * debug.adb (d_x): Document extended usage. + * exp_imgv.adb (Expand_Standard_Boolean_Image): New procedure. + (Expand_Image_Attribute): Call it to expand in line the attribute + for standard boolean by default. + +2021-05-05 Eric Botcazou + + * debug.adb (d_x): Document new usage. + * exp_imgv.adb (Expand_User_Defined_Enumeration_Image): Add Typ + parameter and use it throughout the processing. + (Expand_Image_Attribute): Retrieve the underlying type of the + prefix and use the inline expansion for user-defined enumeration + types with a literal string by default. + +2021-05-05 Eric Botcazou + + * libgnat/s-dorepr.adb (Split): Declare a per-size temporary. + Add pragma Annotate. + +2021-05-05 Piotr Trojanek + + * exp_ch4.adb, sem_ch13.adb, sem_eval.adb, sem_res.adb: Remove + redundant calls to UI_From_Int. + +2021-05-05 Eric Botcazou + + * exp_imgv.ads (Build_Enumeration_Image_Tables): Adjust comment. + * exp_imgv.adb (Build_Enumeration_Image_Tables): Add the + declaration nodes of the 4 tables to the declaration list of the + function body. + +2021-05-05 Piotr Trojanek + + * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-imagen, s-imen16, + s-imen32, s-imenu8, s-pehage, s-valuen, s-vaen16, s-vaen32 and + s-vaenu8. Remove s-imenne, s-imgenu and s-valenu. + * debug.adb (d_h): Document new usage. + * einfo.ads (Lit_Hash): New attribute for enumeration types. + (Set_Lit_Hash): Declare. + * einfo.adb (Lit_Hash): New function. + (Set_Lit_Hash): New procedure. + (Write_Field21_Name): Print Lit_Hash for Enumeration_Kind. + * exp_imgv.ads (Build_Enumeration_Image_Tables): Fix description + and document the hash function and its tables. + * exp_imgv.adb: Add with/use clauses for Debug. Add with clause + for System.Perfect_Hash_Generators. + (Append_Table_To): New helper routine. + (Build_Enumeration_Image_Tables): Call it to build the tables. + In the main unit, register the literals with the hash generator. + If they are sufficiently many and -gnatd_h is not passed, generate + a perfect hash function and its tables; otherwise, generate a dummy + hash function. For the other units, generate only the declaration. + In all cases, set Lit_Hash to the entity of the function, if any. + (Expand_Value_Attribute): Pass the 'Unrestricted_Access of Lit_Hash, + if any, as third argument to the Value_Enumeration_NN function. + * gnat1drv.adb (Adjust_Global_Switches): force simpler implementation + of 'Value in CodePeer_Mode. + * lib.ads (Synchronize_Serial_Number): Add SN parameter. + * lib.adb (Synchronize_Serial_Number): Assert that it is larger than + the serial number of the current unit and set the latter to it only + in this case. + * rtsfind.ads (RTU_Id): Add System_Img_Enum_8, System_Img_Enum_16, + System_Img_Enum_32, System_Val_Enum_8, System_Val_Enum_16 and + System_Val_Enum_32. Remove System_Img_Enum, System_Img_Enum_New + and System_Val_Enum. + * sem_attr.adb (Analyze_Access_Attribute): Do not flag a compiler + generated Unrestricted_Access attribute as illegal in a declare + expression. + (RE_Unit_Table): Adjust to above changes. + * libgnat/g-heasor.ads: Add pragma Compiler_Unit_Warning. + * libgnat/g-table.ads: Likewise. + * libgnat/g-pehage.ads: Add with clause and local renaming for + System.Perfect_Hash_Generators. + (Optimization): Turn into derived type. + (Verbose): Turn into renaming. + (Too_Many_Tries): Likewise. + (Table_Name): Move to System.Perfect_Hash_Generators. + (Define): Likewise. + (Value): Likewise. + * libgnat/g-pehage.adb: Remove with clause for Ada.Directories, + GNAT.Heap_Sort_G and GNAT.Table. Move bulk of implementation + to System.Perfect_Hash_Generators, only keep the output part. + * libgnat/s-imagen.ads: New generic unit. + * libgnat/s-imagen.adb: New body. + * libgnat/s-imen16.ads: New unit. + * libgnat/s-imen32.ads: Likewise. + * libgnat/s-imenu8.ads: Likewise. + * libgnat/s-imenne.ads: Adjust description. + * libgnat/s-imgenu.ads: Delete. + * libgnat/s-imgenu.adb: Likewise. + * libgnat/s-pehage.ads: New unit from GNAT.Perfect_Hash_Generators. + * libgnat/s-pehage.adb: New body from GNAT.Perfect_Hash_Generators. + * libgnat/s-valuen.ads: New generic unit. + * libgnat/s-valuen.adb: New body. + * libgnat/s-vaen16.ads: New unit. + * libgnat/s-vaen32.ads: Likewise. + * libgnat/s-vaenu8.ads: Likewise. + * libgnat/s-valenu.ads: Delete. + * libgnat/s-valenu.adb: Likewise. + * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add s-pehage.o. + (GNATBIND_OBJS): Remove s-imgenu.o. + +2021-05-05 Piotr Trojanek + + * sem_util.ads (Apply_Compile_Time_Constraint_Error): Remove + parameter Rep from the function spec and "and if the flag Rep is + set" from the comment. + * sem_util.adb (Apply_Compile_Time_Constraint_Error): Remove + parameter Rep. + +2021-05-05 Ed Schonberg + + * sem_aggr.adb (Resolve_Indexed_Aggregate): For indexed + aggregates with component associations verify that if there is + more than one component association then all the choices are + static, that the set of choices define a continuous sequence of + values, and that if loop specfications appear, they do not + include iterator filters or key expressions. + +2021-05-05 Eric Botcazou + + * Makefile.rtl (GNATRTL_NONTASKING_OBJS): Add s-dourea, s-imager, + s-imgflt, s-imglfl and s-imgllf. + (LIBGNAT_TARGET_PAIRS) [PowerPC/VxWorks]: Use s-dorepr__fma.adb. + (LIBGNAT_TARGET_PAIRS) [PowerPC/VxWorksAE]: Likewise. + (LIBGNAT_TARGET_PAIRS) [Aarch64/VxWorks]: Likewise. + (LIBGNAT_TARGET_PAIRS) [Aarch64/QNX]: Likewise. + (LIBGNAT_TARGET_PAIRS) [Aarch64/FreeBSD]: Likewise. + (LIBGNAT_TARGET_PAIRS) [PowerPC/Linux]: Likewise. + (LIBGNAT_TARGET_PAIRS) [Aarch64/Linux]: Likewise. + (LIBGNAT_TARGET_PAIRS) [IA-64/Linux]: Likewise. + (LIBGNAT_TARGET_PAIRS) [IA-64/HP-UX]: Likewise. + (LIBGNAT_TARGET_PAIRS) [RISC-V/Linux]: Likewise. + (LIBGNAT_TARGET_PAIRS) [PowerPC/Darwin]: Likewise. + * exp_attr.adb (Expand_N_Attribute_Reference) [Attribute_Fore]: Use + Fixed suffix and Long_Float type. + * exp_imgv.adb (Expand_Image_Attribute): For floating-point types, + use the routine of the corresponding root type. For ordinary fixed + point types, use Fixed suffix and Long_Float type. + (Expand_Value_Attribute): Revert latest change for Long_Long_Float. + * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Remove libgnat units + g-hesora.o and s-imgenu.o, add g-heasor.o, g-table.o and s-pehage.o. + (GNATBIND_OBJS): Remove libgnat unit s-imgenu.o. + * rtsfind.ads (RTU_Id): Add System_Img_Flt, System_Img_LFlt and + System_Img_LLF. Remove System_Img_Real. + (RE_Id): Rename RE_Fore_Real to RE_Fore_Fixed. Add RE_Image_Float, + RE_Image_Long_Float and RE_Image_Long_Long_Float. Rename + RE_Image_Ordinary_Fixed_Point to RE_Image_Fixed. + (RE_Unit_Table): Adjust to above changes. + * libgnat/a-nbnbre.adb (Fixed_Conversions): Use Long_Float instead + of Long_Long_Float. + * libgnat/a-textio.ads (Field): Remove obsolete comment. + * libgnat/a-ticoau.ads (Aux): Adjust ancestor package. + * libgnat/a-ticoau.adb: Remove with/use clause for System.Img_Real. + (Puts): Call Aux.Set_Image instead of Set_Image_Real. + * libgnat/a-ticoio.adb: Add with/use clauses for System.Img_Flt, + System.Img_LFlt and System.Img_LLF. + (Scalar_Float): Add third actual parameter. + (Scalar_Long_Float): Likewise. + (Scalar_Long_Long_Float): Likewise. + * libgnat/a-tifiio.adb: Add with/use clauses for System.Img_LFlt + and System.Val_LFlt. Remove the one for System.Val_LLF. Replace + Long_Long_Float with Long_Float throughout. + * libgnat/a-tifiio__128.adb: Likewise. + * libgnat/a-tiflau.ads: Add Set_Image formal parameter. + * libgnat/a-tiflau.adb: Add with/use clause for System.Img_Util, + remove the one for System.Img_Real. + (Put): Call Set_Image instead of Set_Image_Real. + (Puts): Likewise. + * libgnat/a-tiflio.adb: Add with/use clause for System.Img_Flt, + System.Img_LFlt and System.Img_LLF. + (Aux_Float): Add third actual parameter. + (Aux_Long_Float): Likewise. + (Aux_Long_Long_Float): Likewise. + * libgnat/a-witeio.ads (Field): Remove obsolete comment. + * libgnat/a-wtcoau.ads (Aux): Adjust ancestor package. + * libgnat/a-wtcoau.adb: Remove with/use clause for System.Img_Real. + (Puts): Call Aux.Set_Image instead of Set_Image_Real. + * libgnat/a-wtcoio.adb: Add with/use clauses for System.Img_Flt, + System.Img_LFlt and System.Img_LLF. + (Scalar_Float): Add third actual parameter. + (Scalar_Long_Float): Likewise. + (Scalar_Long_Long_Float): Likewise. + * libgnat/a-wtfiio.adb: Add with/use clauses for System.Img_LFlt + and System.Val_LFlt. Remove the one for System.Val_LLF. Replace + Long_Long_Float with Long_Float throughout. + * libgnat/a-wtfiio__128.adb: Likewise. + * libgnat/a-wtflau.ads: Add Set_Image formal parameter. + * libgnat/a-wtflau.adb: Add with/use clause for System.Img_Util, + remove the one for System.Img_Real. + (Put): Call Set_Image instead of Set_Image_Real. + (Puts): Likewise. + * libgnat/a-wtflio.adb: Add with/use clause for System.Img_Flt, + System.Img_LFlt and System.Img_LLF. + (Aux_Float): Add third actual parameter. + (Aux_Long_Float): Likewise. + (Aux_Long_Long_Float): Likewise. + * libgnat/a-ztexio.ads (Field): Remove obsolete comment. + * libgnat/a-ztcoau.ads (Aux): Adjust ancestor package. + * libgnat/a-ztcoau.adb: Remove with/use clause for System.Img_Real. + (Puts): Call Aux.Set_Image instead of Set_Image_Real. + * libgnat/a-ztcoio.adb: Add with/use clauses for System.Img_Flt, + System.Img_LFlt and System.Img_LLF. + (Scalar_Float): Add third actual parameter. + (Scalar_Long_Float): Likewise. + (Scalar_Long_Long_Float): Likewise. + * libgnat/a-ztfiio.adb: Add with/use clauses for System.Img_LFlt + and System.Val_LFlt. Remove the one for System.Val_LLF. Replace + Long_Long_Float with Long_Float throughout. + * libgnat/a-ztfiio__128.adb: Likewise. + * libgnat/a-ztflau.ads: Add Set_Image formal parameter. + * libgnat/a-ztflau.adb: Add with/use clause for System.Img_Util, + remove the one for System.Img_Real. + (Put): Call Set_Image instead of Set_Image_Real. + (Puts): Likewise. + * libgnat/a-ztflio.adb: Add with/use clause for System.Img_Flt, + System.Img_LFlt and System.Img_LLF. + (Aux_Float): Add third actual parameter. + (Aux_Long_Float): Likewise. + (Aux_Long_Long_Float): Likewise. + * libgnat/s-dorepr.adb: New file. + * libgnat/s-dorepr__fma.adb: Likewise. + * libgnat/s-dourea.ads: Likewise. + * libgnat/s-dourea.adb: Likewise. + * libgnat/s-forrea.ads (Fore_Real): Rename into... + (Fore_Fixed): ...this and take Long_Float parameters. + * libgnat/s-forrea.adb (Fore_Real): Likewise. + (Fore_Fixed): Likewise. + * libgnat/s-imgrea.ads: Move to... + (Set_Image_Real): Turn into mere renaming. + * libgnat/s-imager.ads: ...here. + (Image_Ordinary_Fixed_Point): Turn into... + (Image_Fixed_Point): ...this. + * libgnat/s-imgrea.adb: Add pragma No_Body. Move to... + * libgnat/s-imager.adb: ...here. + (Image_Ordinary_Fixed_Point): Turn into... + (Image_Fixed_Point): ...this. + (Is_Negative): Replace Long_Long_Float with Num. + (Set_Image_Real): Likewise. Use Double_T instead of single Num + throughout the algorithm. + * libgnat/s-imgflt.ads: New file. + * libgnat/s-imglfl.ads: Likewise. + * libgnat/s-imgllf.ads: Likewise. + * libgnat/s-imagef.ads: Adjust comment. + * libgnat/s-imguti.ads (Max_Real_Image_Length): New named number. + * libgnat/s-powflt.ads (Maxpow): Adjust. + (Powten): Turn into an exact table of double Float. + * libgnat/s-powlfl.ads (Maxpow): Adjust. + (Powten): Turn into an exact table of double Long_Float. + * libgnat/s-powllf.ads (Maxpow): Adjust. + (Powten): Turn into an exact table of double Long_Long_Float. + * libgnat/s-valrea.ads: Change order of formal parameters. + * libgnat/s-valrea.adb: Add with clause for System.Double_Real. + (Double_Real): New instantiation. + (Fast2Sum): Delete. + (Large_Powten): New function. + (Integer_to_Real): Use Quick_Two_Sum instead of Fast2Sum. Convert + the value to Double_T. Do the scaling in Double_T for base 10. + * libgnat/s-valflt.ads: Remove with/use clasue for Interfaces, + add it for System.Unsigned_Types. Use Unsigned. + * libgnat/s-vallfl.ads: Remove with/use clasue for Interfaces, + add it for System.Unsigned_Types. Use Long_Unsigned. + * libgnat/s-valllf.ads: Remove with/use clasue for Interfaces, + add it for System.Unsigned_Types. Use Long_Long_Unsigned. + +2021-05-05 Piotr Trojanek + + * sem_eval.adb (Eval_Arithmetic_Op): Call + Set_Raises_Constraint_Error on real division by zero just like + it is called for integer division by zero earlier in this + routine. + +2021-05-05 Piotr Trojanek + + * freeze.adb (Build_Renamed_Body): Simplify IF and WHILE + statements with the same condition. + +2021-05-05 Piotr Trojanek + + * pprint.adb (Expr_Name): Introduce local constants to make the + code more readable and avoid repeated calls to Next to reach the + ELSE part of an if-expression. + 2021-05-04 Piotr Trojanek * pprint.adb: Remove qualification of arbitrary calls to diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 9d2d4fa20ae..17367c4e6a7 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,11 @@ +2021-05-05 Harald Anlauf + + PR fortran/100274 + * interface.c (gfc_compare_actual_formal): Continue checks after + emitting warning for argument length mismatch. + * trans-expr.c (gfc_conv_procedure_call): Check for NULL pointer + dereference. + 2021-05-04 Tobias Burnus PR testsuite/100397 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9efe850e0d8..70c5d505c67 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,67 @@ +2021-05-05 Eric Botcazou + + * gcc.c-torture/execute/20210505-1.c: New test. + +2021-05-05 Ivan Sorokin + + PR target/91400 + * gcc.target/i386/pr91400-1.c: New test. + * gcc.target/i386/pr91400-2.c: Likewise. + +2021-05-05 Martin Sebor + + * gcc.dg/tree-ssa/builtin-sprintf-warn-26.c: New test. + +2021-05-05 Harald Anlauf + + PR fortran/100274 + * gfortran.dg/argument_checking_25.f90: New test. + +2021-05-05 Uroš Bizjak + + PR target/98218 + * gcc.target/i386/pr98218-1.c: New test. + * gcc.target/i386/pr98218-1a.c: Ditto. + * gcc.target/i386/pr98218-2.c: Ditto. + * gcc.target/i386/pr98218-2a.c: Ditto. + * gcc.target/i386/pr98218-3.c: Ditto. + * gcc.target/i386/pr98218-3a.c: Ditto. + * gcc.dg/vect/vect-bool-cmp.c (dg-final): + Scan vect tree dump for "LOOP VECTORIZED", not VECTORIZED. + +2021-05-05 Eric Botcazou + + * gnat.dg/debug17.adb: Minor tweak. + +2021-05-05 Eric Botcazou + + * gnat.dg/debug8.adb: Minor tweak. + * gnat.dg/debug11.adb: Likewise. + * gnat.dg/debug16.adb: Likewise. + * gnat.dg/debug17.adb: New test. + * gnat.dg/specs/debug1.ads: Minor tweak. + +2021-05-05 Robin Dapp + + * gcc.dg/vect/slp-21.c: Add s390. + +2021-05-05 Tobias Burnus + + PR testsuite/100422 + * g++.dg/gomp/clause-3.C: Use 'reduction(&:..)' instead of '...(&&:..)'. + +2021-05-05 Richard Biener + + PR tree-optimization/79333 + * gcc.dg/tree-ssa/ssa-fre-94.c: New testcase. + * gcc.dg/graphite/fuse-1.c: Adjust. + * gcc.dg/pr43864-4.c: Likewise. + +2021-05-05 Richard Biener + + PR middle-end/100394 + * g++.dg/torture/pr100382.C: New testcase. + 2021-05-04 Martin Sebor PR middle-end/100307 diff --git a/libcc1/ChangeLog b/libcc1/ChangeLog index 97e0973ef00..672e968f228 100644 --- a/libcc1/ChangeLog +++ b/libcc1/ChangeLog @@ -1,3 +1,201 @@ +2021-05-05 Tom Tromey + + * compiler.cc (make_regexp): Take const std::string. + (cc1_plugin::compiler_triplet_regexp::find): Update. + +2021-05-05 Tom Tromey + + PR c/94669 + * compiler.hh (compiler_driver_filename): Take const char *. + (compiler_triplet_regexp): Likewise. + +2021-05-05 Tom Tromey + + * rpc.hh (argument_wrapper) : Replace cast operator. + (argument_wrapper) : Likewise. + (unmarshall): Add std::tuple overloads. + (callback): Remove. + (class invoker): New. + * libcp1plugin.cc (plugin_init): Update. + * libcp1.cc (libcp1::add_callbacks): Update. + * libcc1plugin.cc (plugin_init): Update. + * libcc1.cc (libcc1::add_callbacks): Update. + * connection.cc (cc1_plugin::connection::do_wait): Update. + +2021-05-05 Tom Tromey + + * gdbctx.hh (do_compile): Use std::vector. + +2021-05-05 Tom Tromey + + * libcp1.cc (libcp1): Change parameters. Update. + (libcp1_set_verbose, libcp1_set_arguments) + (libcp1_set_triplet_regexp, libcp1_set_driver_filename) + (libcp1_set_source_file, libcp1_set_print_callback, fork_exec) + (libcp1_compile, libcp1_destroy, vtable): Remove. + (libcp1::add_callbacks): New method, extracted from + libcp1_compile. + (gcc_c_fe_context): Update. + * libcc1.cc (libcc1): Change parameters. Update. + (libcc1_set_verbose, libcc1_set_arguments) + (libcc1_set_triplet_regexp, libcc1_set_driver_filename) + (libcc1_set_source_file, libcc1_set_print_callback, fork_exec) + (libcc1_compile, libcc1_destroy, vtable): Remove. + (libcc1::add_callbacks): New method, extracted from + libcc1_compile. + (gcc_c_fe_context): Update. + * gdbctx.hh (base_gdb_plugin): Change parameters. + (~base_gdb_plugin): New. + : New virtual method. + : New members. + (get_self, do_set_verbose, do_set_arguments) + (do_set_triplet_regexp, do_set_driver_filename) + (do_set_arguments_v0, do_set_source_file, do_set_print_callback) + (fork_exec, do_compile, do_compile_v0, do_destroy): New methods. + +2021-05-05 Tom Tromey + + * libcp1.cc (vtable): Use GCC_FE_VERSION_1. + +2021-05-05 Tom Tromey + + * libcp1.cc (struct libcp1): Derive from base_gdb_plugin. Remove + shared code. + (class libcp1_connection): Remove. + (rpc): Remove. + (libcp1_set_verbose, libcp1_compile): Update. + (cp_call_binding_oracle, cp_call_symbol_address) + (cp_call_enter_scope, cp_call_leave_scope): Update. + * libcc1.cc (struct libcc1): Derive from base_gdb_plugin. Remove + shared code. + (class libcc1_connection): Remove. + (c_call_binding_oracle, c_call_symbol_address): Update. + (rpc): Remove. + (libcc1_set_verbose, libcc1_compile): Update. + * gdbctx.hh: New file. + +2021-05-05 Tom Tromey + + * libcc1plugin.cc: Move code to context.cc. + * libcp1plugin.cc: Move code to context.cc. + * context.hh: New file. + * context.cc: New file. + * Makefile.in: Rebuild. + * Makefile.am (AM_CPPFLAGS): Add more gcc flags. + (CPPFLAGS_FOR_C, CPPFLAGS_FOR_CXX): Update. + (libcc1plugin_la_SOURCES): Add context.hh, context.cc. + (libcp1plugin_la_SOURCES): Likewise. + +2021-05-05 Tom Tromey + + * libcp1plugin.cc: Use static assert. + +2021-05-05 Tom Tromey + + * libcp1plugin.cc (plugin_context::mark): Use foreach. + * libcc1plugin.cc (plugin_context::mark): Use foreach. + +2021-05-05 Tom Tromey + + * libcp1.cc (compiler, compiler_triplet_regexp) + (compiler_driver_filename): Remove. + (libcp1::libcp1): Update. + (make_regexp, libcp1::compiler::find) + (libcp1::compiler_triplet_regexp::find) + (libcp1::compiler_driver_filename::find): Remove. + (libcp1_set_verbose, libcp1_set_arguments) + (libcp1_set_triplet_regexp, libcp1_set_driver_filename): Update. + * libcc1.cc (compiler, compiler_triplet_regexp) + (compiler_driver_filename): Remove. + (libcc1::libcc1): Update. + (make_regexp, libcc1::compiler::find) + (libcc1::compiler_triplet_regexp::find) + (libcc1::compiler_driver_filename::find): Remove. + (libcc1_set_verbose, libcc1_set_arguments) + (libcc1_set_triplet_regexp, libcc1_set_driver_filename): Update. + * compiler.cc: New file. + * compiler.hh: New file. + * Makefile.in: Rebuild. + * Makefile.am (libcc1_la_SOURCES): Add compiler.hh, compiler.cc. + +2021-05-05 Tom Tromey + + * libcp1.cc (struct libcp1) : Use + unique_ptr. + (~libcp1): Remove. + (libcp1_compile, libcp1_set_triplet_regexp) + (libcp1_set_driver_filename): Update. + * libcc1.cc (struct libcc1) : Use + unique_ptr. + (~libcc1): Remove. + (libcc1_set_triplet_regexp, libcc1_set_driver_filename) + (libcc1_compile): Update. + +2021-05-05 Tom Tromey + + * rpc.hh (deleter): Move template and some specializations to + deleter.hh. + (argument_wrapper): Use cc1_plugin::unique_ptr. + * marshall.cc (cc1_plugin::unmarshall): Use + cc1_plugin::unique_ptr. + * marshall-cp.hh (deleter): New specializations. + (unmarshall): Use cc1_plugin::unique_ptr. + * deleter.hh: New file. + +2021-05-05 Tom Tromey + + * rpc.hh (struct deleter): New template class and + specializations. + (argument_wrapper): Remove specializations. Add specialization + for any pointer type. + +2021-05-05 Tom Tromey + + * libcp1plugin.cc (plugin_build_function_type): Use std::vector. + * libcc1plugin.cc (plugin_build_function_type): Use std::vector. + +2021-05-05 Tom Tromey + + * libcp1.cc (rpc): Use variadic template. Remove overloads. + * libcc1.cc (rpc): Use variadic template. Remove overloads. + +2021-05-05 Tom Tromey + + * rpc.hh (call): Use variadic template. Remove overloads. + * marshall.hh (marshall): Add base overload. Use variadic + template. + +2021-05-05 Tom Tromey + + * rpc.hh (argument_wrapper): Use delete for copy constructor. + * connection.hh (class connection): Use delete for copy + constructor. + * callbacks.hh (class callbacks): Use delete for copy constructor. + +2021-05-05 Tom Tromey + + * connection.hh (~connection): Use default. + (print): Inline. + * connection.cc (cc1_plugin::connection::~connection) + (cc1_plugin::connection::print): Remove definitions. + +2021-05-05 Tom Tromey + + * libcp1.cc (class compiler_triplet_regexp) + (class compiler_driver_filename, class libcp1_connection): Use + "override". + * libcc1.cc (class compiler_triplet_regexp) + (class compiler_driver_filename, class libcc1_connection): Use + "override". + +2021-05-05 Tom Tromey + + * marshall.hh (cc1_plugin::unmarshall): Use type traits. + * marshall-cp.hh (cc1_plugin::unmarshall): Remove overloads. + * marshall-c.hh: Remove. + * libcc1plugin.cc: Update includes. + * libcc1.cc: Update includes. + 2021-05-03 H.J. Lu PR bootstrap/99703 diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog index 048bb4b0b63..27d79ae0ac7 100644 --- a/libgfortran/ChangeLog +++ b/libgfortran/ChangeLog @@ -1,3 +1,8 @@ +2021-05-05 Tobias Burnus + + * intrinsics/chmod.c (chmod_internal): Only declare mode_mask var + if HAVE_UMASK. + 2021-05-02 Tobias Burnus PR libgomp/100352 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index f9ef08af343..f6dbad089ed 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,42 @@ +2021-05-05 Patrick Palka + + * include/bits/ranges_util.h (enable_borrowed_range): + Remove constraints on this partial specialization. + * include/std/ranges (enable_borrowed_range): + Likewise. + +2021-05-05 Patrick Palka + + * include/std/ranges (transform_view::_Iterator::iter_swap): + Remove as per LWG 3520. + (join_view::_Iterator::iter_swap): Add indirectly_swappable + constraint as per LWG 3517. + +2021-05-05 Jonathan Wakely + + * testsuite/20_util/function_objects/invoke/3.cc: Check feature + test macro. + * testsuite/20_util/function_objects/invoke/version.cc: New test. + +2021-05-05 Jonathan Wakely + + * include/std/charconv (__from_chars_alnum): Pass unsigned + char to std::isdigit. + +2021-05-05 Corentin Gay + + * acinclude.m4: Add VxWorks-specific case for the + configuration of ctypes. + * configure: Regenerate. + * config/locale/vxworks/ctype_members.cc: Add VxWorks-specific + version. + * config/os/vxworks/ctype_base.h: Adjust for VxWorks7+. + * config/os/vxworks/ctype_configure_char.cc: Likewise. + * config/os/vxworks/ctype_inline.h: Likewise. + * testsuite/28_regex/traits/char/isctype.cc: Defines + NEWLINE_IN_CLASS_BLANK if the target is VxWorks. + * testsuite/28_regex/traits/wchar_t/isctype.cc: Likewise. + 2021-05-04 Jonathan Wakely * include/std/future (promise::set_value): Check for existence