From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 89ABE3851A87; Tue, 6 Sep 2022 00:17:47 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 89ABE3851A87 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662423467; bh=ksvXGopfIMRiud9siNsN23Lw+9Kd7w0M6dV0b0CD89Y=; h=From:To:Subject:Date:From; b=Itev57vhRcUdlGFIPllKufzHUi4huGVBCesbSIxl/A54txkkMFC0GqJQ/vX4Ko/Sg J1O0CtfulrOyyFDJ4ZdpGytPPbhrHZu5CWVsRxui+rm2KUI2zpTTOItZuPKTHTFdyE jZIiI9pYdsv0D7kbWsSkHPRlrlZ1U8srMab6FIRQ= 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 r13-2452] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 5f38bf14bcb3ffe9fcd482b87cbf381df24a31df X-Git-Newrev: 47d2dcd1397bf02b79515c39438e0ea9898f9056 Message-Id: <20220906001747.89ABE3851A87@sourceware.org> Date: Tue, 6 Sep 2022 00:17:47 +0000 (GMT) List-Id: https://gcc.gnu.org/g:47d2dcd1397bf02b79515c39438e0ea9898f9056 commit r13-2452-g47d2dcd1397bf02b79515c39438e0ea9898f9056 Author: GCC Administrator Date: Tue Sep 6 00:17:07 2022 +0000 Daily bump. Diff: --- gcc/ChangeLog | 305 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 239 +++++++++++++++++++++++++++++++++++++ gcc/analyzer/ChangeLog | 14 +++ gcc/fortran/ChangeLog | 26 +++++ gcc/testsuite/ChangeLog | 54 +++++++++ libcpp/ChangeLog | 4 + libgomp/ChangeLog | 4 + libstdc++-v3/ChangeLog | 12 ++ 9 files changed, 659 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 77208a986dc..958ccc686d1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,308 @@ +2022-09-05 Aldy Hernandez + + * gimple-range-fold.cc + (fold_using_range::range_of_builtin_int_call): Ignore sign bit + when there's the possibility of a NAN. + +2022-09-05 Aldy Hernandez + + * gimple-range-fold.cc + (fold_using_range::range_of_builtin_int_call): Fold a set signbit + in __builtin_signbit to nonzero. + +2022-09-05 Alexander Monakov + + PR target/106453 + * config/i386/i386.md (sse4_2_crc32di): Model that only low 32 + bits of operand 0 are consumed, and the result is zero-extended + to 64 bits. + +2022-09-05 Aldy Hernandez + + PR middle-end/106831 + * value-range.h (frange::supports_p): Disable decimal floats. + * range-op-float.cc (frange_drop_inf): Remove DECIMAL_FLOAT_MODE_P + check. + (frange_drop_ninf): Same. + +2022-09-05 Aldy Hernandez + + PR middle-end/106824 + * value-range.cc (frange::set_nan): Set undefined when updating a + NAN to a non-NAN. + +2022-09-05 Kito Cheng + + * config/riscv/riscv.cc (riscv_option_override): Fix wrong + condition for MASK_DIV and simplify incompatible checking. + * config/riscv/riscv.md (muldi3): Adding parentheses. + +2022-09-05 Kyrylo Tkachov + + * config/aarch64/aarch64.cc (aarch64_validate_march): Check if invalid arch + string is a valid -mcpu string and emit hint. + +2022-09-05 LiaoShihua + + * common/config/riscv/riscv-common.cc: Add Zmmul. + * config/riscv/riscv-opts.h (MASK_ZMMUL): New. + (TARGET_ZMMUL): Ditto. + * config/riscv/riscv.cc (riscv_option_override):Ditto. + * config/riscv/riscv.md: Add Zmmul + * config/riscv/riscv.opt: Ditto. + +2022-09-05 Richard Biener + + * tree-cfg.h (get_cases_for_edge): Declare. + * tree-cfg.cc (get_cases_for_edge): Export. + * tree-ssa-uninit.cc (execute_late_warn_uninitialized): + Start and end recording case labels. + * gimple-predicate-analysis.cc (MAX_SWITCH_CASES): Remove. + (predicate::init_from_control_deps): Use get_cases_for_edge. + +2022-09-05 Richard Biener + + * gimple-predicate-analysis.cc (MAX_POSTDOM_CHECK): Remove. + (compute_control_dep_chain): Move uninit-control-dep-attempts + checking where it also counts the post-dominator check + invocations. + +2022-09-05 Richard Biener + + * gimple-predicate-analysis.h (predicate::debug): New. + (predicate::dump): Add FILE * argument, add base overload. + * gimple-predicate-analysis.cc (debug): New. + (dump_pred_info): Add FILE * argument. + (dump_pred_chain): Likewise. + (predicate::dump): Split out preamble into overload. Add + FILE * argument. + (predicate::debug): New. + (predicate::simplify): Adjust. + (predicate::normalize): Likewise. + (predicate::init_from_control_deps): Likewise. + +2022-09-05 Richard Sandiford + + * config/aarch64/aarch64-protos.h + (aarch64_init_simd_builtins): Remove prototype. + * config/aarch64/aarch64-builtins.cc + (aarch64_simd_builtins_initialized_p): Delete. + (aarch64_init_simd_builtins): Make static. Remove protection + against multiple calls. + * config/aarch64/aarch64-c.cc (aarch64_pragma_target_parse): Remove + lazy SIMD builtin initialization. + * config/aarch64/aarch64.cc + (aarch64_option_valid_attribute_p): Likewise. + +2022-09-05 Xi Ruoyao + + * config/loongarch/genopts/loongarch.opt.in: Add + -mdirect-extern-access option. + * config/loongarch/loongarch.opt: Regenerate. + * config/loongarch/loongarch.cc + (loongarch_symbol_binds_local_p): Return true if + TARGET_DIRECT_EXTERN_ACCESS. + (loongarch_option_override_internal): Complain if + -mdirect-extern-access is used with -fPIC or -fpic. + * doc/invoke.texi: Document -mdirect-extern-access for + LoongArch. + +2022-09-05 Martin Liska + + * doc/tm.texi.in: Rename DEBUGGER_REGISTER_NUMBER to + DEBUGGER_REGNO. + * doc/tm.texi: Regenerate. + +2022-09-05 Martin Liska + + * config/aarch64/aarch64-protos.h (aarch64_dbx_regno): + Rename DBX_REGISTER_NUMBER to DEBUGGER_REGNO. + (aarch64_debugger_regno): Likewise. + * config/aarch64/aarch64.cc (aarch64_dbx_regno): Likewise. + (aarch64_debugger_regno): Likewise. + * config/aarch64/aarch64.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + (DWARF_FRAME_REGNUM): Likewise. + * config/alpha/alpha.h (DWARF_FRAME_REGNUM): Likewise. + * config/arc/arc.cc (arc_init_reg_tables): Likewise. + * config/arc/arc.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/arm/arm-protos.h (arm_dbx_regno): Likewise. + (arm_debugger_regno): Likewise. + * config/arm/arm.cc (arm_dbx_regno): Likewise. + (arm_debugger_regno): Likewise. + * config/arm/arm.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/bfin/bfin.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/c6x/c6x.cc: Likewise. + * config/c6x/c6x.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/cris/cris.h (enum reg_class): Likewise. + (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/csky/csky.cc (enum reg_class): Likewise. + * config/csky/csky.h (DWARF_FRAME_REGNUM): Likewise. + (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/frv/frv.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/gcn/gcn-hsa.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/gcn/gcn.cc (print_operand): Likewise. + * config/i386/bsd.h (ASM_QUAD): Likewise. + * config/i386/cygming.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + (DWARF_FRAME_REGNUM): Likewise. + * config/i386/darwin.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/djgpp.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/dragonfly.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/freebsd.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/gas.h: Likewise. + * config/i386/gnu-user.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/i386.cc (enum reg_class): Likewise. + * config/i386/i386.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/i386elf.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/iamcu.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/lynx.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/netbsd-elf.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/nto.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/openbsdelf.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/sysv4.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/vxworks.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/i386/x86-64.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/ia64/ia64-protos.h (ia64_dbx_regno): Likewise. + (ia64_debugger_regno): Likewise. + * config/ia64/ia64.cc (ia64_output_function_prologue): Likewise. + (ia64_dbx_regno): Likewise. + (ia64_debugger_regno): Likewise. + (process_cfa_adjust_cfa): Likewise. + (process_cfa_register): Likewise. + (ia64_asm_unwind_emit): Likewise. + * config/ia64/ia64.h: Likewise. + * config/ia64/sysv4.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/lm32/lm32.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/m32c/m32c.cc (m32c_eh_return_stackadj_rtx): Likewise. + * config/m32c/m32c.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/m68k/linux.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/m68k/m68k.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + (__transfer_from_trampoline): Likewise. + * config/m68k/m68kelf.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/m68k/netbsd-elf.h (M68K_STATIC_CHAIN_REG_NAME): Likewise. + (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/microblaze/microblaze.cc (microblaze_option_override): Likewise. + * config/microblaze/microblaze.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + (GP_DBX_FIRST): Likewise. + (GP_DEBUGGER_FIRST): Likewise. + * config/mips/vxworks.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/mmix/mmix-protos.h (mmix_dbx_regno): Likewise. + (mmix_debugger_regno): Likewise. + * config/mmix/mmix.cc (mmix_dbx_regno): Likewise. + (mmix_debugger_regno): Likewise. + * config/mmix/mmix.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/nds32/nds32-protos.h (nds32_dbx_regno): Likewise. + (nds32_debugger_regno): Likewise. + * config/nds32/nds32.cc (nds32_dbx_regno): Likewise. + (nds32_debugger_regno): Likewise. + (nds32_use_blocks_for_constant_p): Likewise. + * config/nds32/nds32.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/nvptx/nvptx.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/or1k/or1k.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/pa/pa32-regs.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/pa/pa64-regs.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/rs6000/rs6000-protos.h (rs6000_dbx_regno): Likewise. + (rs6000_debugger_regno): Likewise. + * config/rs6000/rs6000.cc (rs6000_dbx_regno): Likewise. + (rs6000_debugger_regno): Likewise. + * config/rs6000/rs6000.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + (DWARF2_FRAME_REG_OUT): Likewise. + * config/s390/s390.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/sh/elf.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/sh/linux.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/sh/sh.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + (SH_DBX_REGISTER_NUMBER): Likewise. + (SH_DEBUGGER_REGNO): Likewise. + * config/visium/visium.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/xtensa/elf.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/xtensa/linux.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/xtensa/uclinux.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * config/xtensa/xtensa-protos.h (xtensa_dbx_regno): Likewise. + (xtensa_debugger_regno): Likewise. + * config/xtensa/xtensa.cc (xtensa_dbx_regno): Likewise. + (xtensa_debugger_regno): Likewise. + * config/xtensa/xtensa.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + * defaults.h (DBX_REGISTER_NUMBER): Likewise. + (DEBUGGER_REGNO): Likewise. + (DWARF_FRAME_REGNUM): Likewise. + * doc/tm.texi: Likewise. + * doc/tm.texi.in: Likewise. + * dwarf2out.cc (dbx_reg_number): Likewise. + (debugger_reg_number): Likewise. + (reg_loc_descriptor): Likewise. + (multiple_reg_loc_descriptor): Likewise. + (mem_loc_descriptor): Likewise. + * except.cc: Likewise. + +2022-09-05 konglin1 + + PR target/106742 + * config/i386/i386-expand.cc (ix86_expand_vector_init_duplicate): + Handle V8BF mode. + (expand_vec_perm_broadcast_1): Ditto. + * config/i386/sse.md (avx512fmaskhalfmode): Add BF vector mode. + (vec_set_0): Add @ to it. + (@vec_set_0): Ditto. + (vec_interleave_high): Ditto. + (@vec_interleave_high): Ditto. + (vec_interleave_low): Ditto. + (@vec_interleave_low): Ditto. + * config/i386/subst.md (SUBST_V): Add BF vector mode. + +2022-09-05 Aldy Hernandez + + * value-range.cc (early_nan_resolve): Remove. + (frange::intersect): Handle NANs. + 2022-09-04 Aldy Hernandez * value-range.cc (frange::union_): Do not drop properties when diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 6f5f7110f57..80e4d819fed 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220905 +20220906 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7bad8a62901..80e856d4df3 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,242 @@ +2022-09-05 Martin Liska + + * sigtramp-vxworks-target.h: Rename DBX_REGISTER_NUMBER to + DEBUGGER_REGNO. + +2022-09-05 Piotr Trojanek + + * exp_aggr.adb (Check_Bounds): Move code and comment related to + check for null array aggregate from Resolve_Null_Array_Aggregate. + * sem_aggr.ads (Is_Null_Aggregate): Move spec from unit body. + * sem_aggr.adb (Resolve_Null_Array_Aggregate): Move check to + expansion. + +2022-09-05 Piotr Trojanek + + * sem_aggr.adb + (Array_Aggr_Subtype): Bypass call to Collect_Aggr_Bound with + dedicated code for null array aggregates. + (Resolve_Array_Aggregate): Remove special handling of null array + aggregates. + (Resolve_Array_Aggregate): Create bounds, but let + Array_Aggr_Subtype create itype entities. + +2022-09-05 Piotr Trojanek + + * sem_aggr.adb (Resolve_Null_Array_Aggregate): Insert check as a + Raise_Constraint_Error node and not an If_Statement. + +2022-09-05 Piotr Trojanek + + * sem_aggr.adb + (Resolve_Container_Aggregate): Style cleanup. + (Resolve_Record_Aggregate): Remove redundant guard. + +2022-09-05 Piotr Trojanek + + * exp_util.ads (Entry_Names_OK): Remove spec. + * exp_util.adb (Entry_Names_OK): Remove body. + +2022-09-05 Steve Baird + + * libgnat/a-coinve.adb, libgnat/a-convec.adb + (Append): If the Append that takes an Element and a Count is + called with Count = 1, then call the Append that does not take a + Count parameter; otherwise call the code that handles the general + case. Move the special case detection/handling code that was + formerly in that version of Append into the version that does not + take a Count parameter, so that now both versions get the + performance benefit. + +2022-09-05 Piotr Trojanek + + * sem_aggr.adb (Resolve_Null_Array_Aggregate): Create internal + type for the aggregate as an itype. + +2022-09-05 Piotr Trojanek + + * sem_util.ads (Itype_Has_Declaration): Remove spec. + * sem_util.adb (Itype_Has_Declaration): Remove body. + +2022-09-05 Steve Baird + + * exp_ch3.adb + (Expand_N_Object_Declaration): In deciding whether to emit a DIC + check, we were previously testing the Has_Init_Expression flag. + Continue to test that flag as before, but add a test for the + syntactic presence of an initial value in the object declaration. + This new test would not supersede the old test in the case where + an explicit initial value has been eliminated as part of some tree + transformation. + +2022-09-05 Piotr Trojanek + + * sem_ch13.adb (Validate_Unchecked_Conversions): Use + Has_Warnings_Off. + * sem_elab.adb (Check_Internal_Call_Continue): Likewise. + +2022-09-05 Eric Botcazou + + * libgnat/s-valuer.adb (Scan_Decimal_Digits): Consistently avoid + initializing local variables. + (Scan_Integral_Digits): Likewise. + (Scan_Raw_Real): Likewise and add a couple of comments. + +2022-09-05 Eric Botcazou + + * sem_ch13.adb (Freeze_Entity_Checks): Build predicate functions + only after checking the variant part of a record type, if any. + +2022-09-05 Piotr Trojanek + + * exp_aggr.adb + (Two_Pass_Aggregate_Expansion): Expand into implicit rather than + ordinary loops, to detect violations of restriction + No_Implicit_Loops. + (Generate_Loop): Likewise for delta array aggregates. + +2022-09-05 Piotr Trojanek + + * exp_aggr.adb (Two_Pass_Aggregate_Expansion): Expand iterated + component association with an unanalyzed copy of iterated + expression. The previous code worked only because the expanded + loop used both an analyzed copy of the iterator_specification and + an analyzed copy of the iterated expression. Now the iterated + expression is reanalyzed in the context of the expanded loop. + * par-ch4.adb (Build_Iterated_Component_Association): Don't set + defining identifier when iterator specification is present. + * sem_aggr.adb (Resolve_Iterated_Association): Pick index name + from the iterator specification. + * sem_elab.adb (Traverse_Potential_Scenario): Handle iterated + element association just like iterated component association. Not + strictly part of this fix, but still worth for the completeness. + * sem_res.adb (Resolve): Pick index name from the iterator + specification, when present. + * sem_util.adb (Traverse_More): For completeness, just like the + change in Traverse_Potential_Scenario. + * sinfo.ads + (ITERATED_COMPONENT_ASSOCIATION): Fix and complete description. + (ITERATED_ELEMENT_ASSOCIATION): Likewise. + +2022-09-05 Bob Duff + + * sem_ch6.adb + (Analyze_Subprogram_Body_Helper): Use First_Real_Statement to deal + with this case. Note that First_Real_Statement is likely to be + removed as part of this ticket, so this is a temporary fix. + +2022-09-05 Arnaud Charlet + + * ali.adb (Scan_ALI): Special case i-c*.ali when setting + Sec_Stack_Used. + +2022-09-05 Bob Duff + + * par-ch5.adb + (P_Sequence_Of_Statements): Call Error_Msg_GNAT_Extension to give + the error message. + +2022-09-05 Piotr Trojanek + + * sem_aggr.adb (Resolve_Iterated_Component_Association): Split + processing of cases with and without iterator specification; reuse + analysis of iterator specification; improve diagnostics for + premature usage of iterator index in discrete choices. + +2022-09-05 Piotr Trojanek + + * sem_ch5.adb (Check_Subtype_Definition): Remove redundant call to + Present; style cleanup. + +2022-09-05 Piotr Trojanek + + * sem_aggr.adb (Resolve_Array_Aggregate): Change an inconsistent + use of False into its local equivalent Failure. + +2022-09-05 Piotr Trojanek + + * sem_aggr.adb (Resolve_Iterated_Component_Association): Change + generic name Ent to a more intuitive Scop; rename Remove_Ref to + Remove_Reference, so it can be instantiated as a traversal routine + with plural name. + +2022-09-05 Piotr Trojanek + + * sem_ch4.adb + (Is_Empty_Range): Move error reporting to the caller. + (Analyze_Qualified_Expression): Move error reporting from Is_Empty_Range; + add matching call to End_Scope before rewriting and returning. + +2022-09-05 Arnaud Charlet + + * bindgen.adb (Gen_Elab_Calls): Check for Check_Elaboration_Flags. + * bindusg.adb (Display): Add -k. + * opt.ads (Check_Elaboration_Flags): New. + * switch-b.adb (Scan_Binder_Switches): Add processing of -k. + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add + documentation for -k and -K. + * gnat_ugn.texi: Regenerate. + +2022-09-05 Arnaud Charlet + + * treepr.adb: Remove local To_Lower and use the procedure + version instead. + +2022-09-05 Eric Botcazou + + * aspects.ads (Delaying Evaluation of Aspect): Fix typos. + * exp_ch3.adb (Freeze_Type): Do not generate Invariant and DIC + procedures for internal types. + * exp_util.adb (Build_DIC_Procedure_Body): Adjust comment. + * freeze.adb (Freeze_Entity): Call Inherit_Delayed_Rep_Aspects for + subtypes and derived types only after the base or parent type has + been frozen. Remove useless freezing for first subtype. + (Freeze_Fixed_Point_Type): Call Inherit_Delayed_Rep_Aspects too. + * layout.adb (Set_Elem_Alignment): Deal with private types. + * sem_ch3.adb (Build_Derived_Enumeration_Type): Build the implicit + base as an itype and do not insert its declaration in the tree. + (Build_Derived_Numeric_Type): Do not freeze the implicit base. + (Derived_Standard_Character): Likewise. + (Constrain_Enumeration): Inherit the chain of representation items + instead of replacing it. + * sem_ch13.ads (Inherit_Aspects_At_Freeze_Point): Add ??? comment. + (Inherit_Delayed_Rep_Aspects): Declare. + * sem_ch13.adb (Analyze_Aspects_At_Freeze_Point): Do not invoke + Inherit_Delayed_Rep_Aspects. + (Inherit_Aspects_At_Freeze_Point): Deal with private types. + (Inherit_Delayed_Rep_Aspects): Move to library level. + +2022-09-05 Piotr Trojanek + + * einfo-utils.adb (Number_Entries): Refine type of a local variable. + * exp_attr.adb (Expand_N_Attribute_Reference): Rename Conctyp to + Prottyp; refactor repeated calls to New_Occurrence_Of; replace + Number_Entries with Has_Entries. + * exp_ch5.adb (Expand_N_Assignment_Statement): Likewise; remove Subprg + variable (apparently copy-pasted from expansion of the attribute). + +2022-09-05 Piotr Trojanek + + * exp_attr.adb (Expand_N_Attribute_Reference): Fix detection of the + enclosing protected type and of the enclosing protected subprogram. + * exp_ch5.adb (Expand_N_Assignment_Statement): Likewise. + +2022-09-05 Piotr Trojanek + + * freeze.adb (Freeze_Itype): Remove excessive guard. + * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Likewise. + +2022-09-05 Piotr Trojanek + + * sprint.adb (Sprint_Node_Actual): Handle iterator_specification within + iterated_component_association and iterator_filter within + iterator_specification. + +2022-09-05 Arnaud Charlet + + * doc/gnat_ugn/gnat_and_program_execution.rst: Fix rest syntax + * gnat_ugn.texi: Regenerate. + 2022-09-02 Eric Botcazou * exp_util.adb (Expand_Subtype_From_Expr): Be prepared for diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 01cf9d875d7..3ad3096e161 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,17 @@ +2022-09-05 Tim Lange + + * region-model-impl-calls.cc (region_model::impl_call_strcpy): + Handle the constant string case. + * region-model.cc (region_model::get_string_size): + New function to get the string size from a region or svalue. + * region-model.h (class region_model): Add get_string_size. + +2022-09-05 Tim Lange + + * region.cc (cast_region::get_relative_concrete_offset): + New overloaded method. + * region.h: Add cast_region::get_relative_concrete_offset. + 2022-08-22 Martin Liska * region-model.cc: Add missing final keyword. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index e90248d8609..e20d5691b6d 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,29 @@ +2022-09-05 Tobias Burnus + + * dump-parse-tree.cc (show_omp_namelist, show_omp_clauses): Handle + omp_cur_iteration and distinguish doacross/depend. + * gfortran.h (enum gfc_omp_depend_doacross_op): Renamed from + gfc_omp_depend_op. + (enum gfc_omp_depend_doacross_op): Add OMP_DOACROSS_SINK_FIRST, + Rename OMP_DEPEND_SINK to OMP_DOACROSS_SINK. + (gfc_omp_namelist) Handle renaming, rename depend_op to + depend_doacross_op. + (struct gfc_omp_clauses): Add doacross_source. + * openmp.cc (gfc_match_omp_depend_sink): Renamed to ... + (gfc_match_omp_doacross_sink): ... this; handle omp_all_memory. + (enum omp_mask2): Add OMP_CLAUSE_DOACROSS. + (gfc_match_omp_clauses): Handle 'doacross' and syntax changes to + depend. + (gfc_match_omp_depobj): Simplify as sink/source are now impossible. + (gfc_match_omp_ordered_depend): Request OMP_CLAUSE_DOACROSS. + (resolve_omp_clauses): Update sink/source checks. + (gfc_resolve_omp_directive): Resolve EXEC_OMP_ORDERED clauses. + * parse.cc (decode_omp_directive): Handle 'ordered doacross'. + * trans-openmp.cc (gfc_trans_omp_clauses): Handle doacross. + (gfc_trans_omp_do): Fix OMP_FOR_ORIG_DECLS handling if 'ordered' + clause is present. + (gfc_trans_omp_depobj): Update for member name change. + 2022-09-04 José Rui Faustino de Sousa PR fortran/100136 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3c5a254f77c..e5f2849ed03 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,57 @@ +2022-09-05 Joseph Myers + + * gcc.dg/cpp/c11-trigraphs-1.c, gcc.dg/cpp/c2x-trigraphs-1.c, + gcc.dg/cpp/c2x-trigraphs-2.c: New tests. + +2022-09-05 Aldy Hernandez + + * gcc.dg/tree-ssa/vrp-float-signbit-2.c: New test. + +2022-09-05 Alexander Monakov + + PR target/106453 + * gcc.target/i386/pr106453.c: New test. + +2022-09-05 Tobias Burnus + + * gfortran.dg/gomp/all-memory-1.f90: Update dg-error. + * gfortran.dg/gomp/depend-iterator-2.f90: Likewise. + * gfortran.dg/gomp/depobj-2.f90: Likewise. + * gfortran.dg/gomp/doacross-5.f90: New test. + * gfortran.dg/gomp/doacross-6.f90: New test. + +2022-09-05 Aldy Hernandez + + PR middle-end/106824 + * g++.dg/pr106824.C: New test. + +2022-09-05 Tim Lange + + * gcc.dg/analyzer/out-of-bounds-4.c: New test. + * gcc.dg/analyzer/strcpy-3.c: New test. + +2022-09-05 Tim Lange + + * gcc.dg/analyzer/fold-string-to-char.c: New test. + +2022-09-05 Kyrylo Tkachov + + * gcc.target/aarch64/spellcheck_10.c: New test. + +2022-09-05 LiaoShihua + + * gcc.target/riscv/zmmul-1.c: New test. + * gcc.target/riscv/zmmul-2.c: New test. + +2022-09-05 Xi Ruoyao + + * gcc.target/loongarch/direct-extern-1.c: New test. + * gcc.target/loongarch/direct-extern-2.c: New test. + +2022-09-05 konglin1 + + * gcc.target/i386/pr106742.c: New test. + 2022-09-04 José Rui Faustino de Sousa PR fortran/100136 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index c9f2f6bb066..7aba4f58599 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,7 @@ +2022-09-05 Joseph Myers + + * init.cc (lang_defaults): Disable trigraphs for C2x. + 2022-09-02 David Malcolm PR c/90885 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 47b541c3b56..ddf0729dfc5 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,7 @@ +2022-09-05 Tobias Burnus + + * libgomp.texi (OpenMP 5.2): Update doacross/omp_cur_iteration status. + 2022-08-26 Tobias Burnus * libgomp.texi (OpenMP 5.0): Mark 'ancestor' as implemented but diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index d905767c7ab..c9a7f3585a5 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,15 @@ +2022-09-05 Jonathan Wakely + + * include/std/type_traits (__success_type, __failure_type): Move + definitions later in the file. + +2022-09-05 Jonathan Wakely + + * include/std/type_traits (is_trivial_v, is_trivially_copyable_v) + (is_standard_layout_v, is_pod_v, is_literal_type_v): Use + built-in instead of class template. + (is_same_v): Add partial specialization for true case. + 2022-09-02 Patrick Palka * include/std/tuple (tuple::_UseOtherCtor): Use ::type when