diff options
| -rw-r--r-- | gcc/ChangeLog | 305 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 239 | ||||
| -rw-r--r-- | gcc/analyzer/ChangeLog | 14 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 26 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 54 | ||||
| -rw-r--r-- | libcpp/ChangeLog | 4 | ||||
| -rw-r--r-- | libgomp/ChangeLog | 4 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 12 |
9 files changed, 659 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 77208a9..958ccc6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,308 @@ +2022-09-05 Aldy Hernandez <aldyh@redhat.com> + + * 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 <aldyh@redhat.com> + + * 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 <amonakov@ispras.ru> + + 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 <aldyh@redhat.com> + + 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 <aldyh@redhat.com> + + 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 <kito.cheng@sifive.com> + + * 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 <kyrylo.tkachov@arm.com> + + * config/aarch64/aarch64.cc (aarch64_validate_march): Check if invalid arch + string is a valid -mcpu string and emit hint. + +2022-09-05 LiaoShihua <shihua@iscas.ac.cn> + + * 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 <rguenther@suse.de> + + * 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 <rguenther@suse.de> + + * 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 <rguenther@suse.de> + + * 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 <richard.sandiford@arm.com> + + * 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 <xry111@xry111.site> + + * 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 <mliska@suse.cz> + + * doc/tm.texi.in: Rename DEBUGGER_REGISTER_NUMBER to + DEBUGGER_REGNO. + * doc/tm.texi: Regenerate. + +2022-09-05 Martin Liska <mliska@suse.cz> + + * 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 <lingling.kong@intel.com> + + 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<mode>_0): Add @ to it. + (@vec_set<mode>_0): Ditto. + (vec_interleave_high<mode><mask_name>): Ditto. + (@vec_interleave_high<mode><mask_name>): Ditto. + (vec_interleave_low<mode><mask_name>): Ditto. + (@vec_interleave_low<mode><mask_name>): Ditto. + * config/i386/subst.md (SUBST_V): Add BF vector mode. + +2022-09-05 Aldy Hernandez <aldyh@redhat.com> + + * value-range.cc (early_nan_resolve): Remove. + (frange::intersect): Handle NANs. + 2022-09-04 Aldy Hernandez <aldyh@redhat.com> * value-range.cc (frange::union_): Do not drop properties when diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 6f5f711..80e4d81 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220905 +20220906 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7bad8a6..80e856d 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,242 @@ +2022-09-05 Martin Liska <mliska@suse.cz> + + * sigtramp-vxworks-target.h: Rename DBX_REGISTER_NUMBER to + DEBUGGER_REGNO. + +2022-09-05 Piotr Trojanek <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * sem_aggr.adb + (Resolve_Container_Aggregate): Style cleanup. + (Resolve_Record_Aggregate): Remove redundant guard. + +2022-09-05 Piotr Trojanek <trojanek@adacore.com> + + * exp_util.ads (Entry_Names_OK): Remove spec. + * exp_util.adb (Entry_Names_OK): Remove body. + +2022-09-05 Steve Baird <baird@adacore.com> + + * 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 <trojanek@adacore.com> + + * sem_aggr.adb (Resolve_Null_Array_Aggregate): Create internal + type for the aggregate as an itype. + +2022-09-05 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.ads (Itype_Has_Declaration): Remove spec. + * sem_util.adb (Itype_Has_Declaration): Remove body. + +2022-09-05 Steve Baird <baird@adacore.com> + + * 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 <trojanek@adacore.com> + + * sem_ch13.adb (Validate_Unchecked_Conversions): Use + Has_Warnings_Off. + * sem_elab.adb (Check_Internal_Call_Continue): Likewise. + +2022-09-05 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <ebotcazou@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <duff@adacore.com> + + * 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 <charlet@adacore.com> + + * ali.adb (Scan_ALI): Special case i-c*.ali when setting + Sec_Stack_Used. + +2022-09-05 Bob Duff <duff@adacore.com> + + * par-ch5.adb + (P_Sequence_Of_Statements): Call Error_Msg_GNAT_Extension to give + the error message. + +2022-09-05 Piotr Trojanek <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * sem_ch5.adb (Check_Subtype_Definition): Remove redundant call to + Present; style cleanup. + +2022-09-05 Piotr Trojanek <trojanek@adacore.com> + + * sem_aggr.adb (Resolve_Array_Aggregate): Change an inconsistent + use of False into its local equivalent Failure. + +2022-09-05 Piotr Trojanek <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <charlet@adacore.com> + + * 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 <charlet@adacore.com> + + * treepr.adb: Remove local To_Lower and use the procedure + version instead. + +2022-09-05 Eric Botcazou <ebotcazou@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * 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 <trojanek@adacore.com> + + * freeze.adb (Freeze_Itype): Remove excessive guard. + * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Likewise. + +2022-09-05 Piotr Trojanek <trojanek@adacore.com> + + * sprint.adb (Sprint_Node_Actual): Handle iterator_specification within + iterated_component_association and iterator_filter within + iterator_specification. + +2022-09-05 Arnaud Charlet <charlet@adacore.com> + + * doc/gnat_ugn/gnat_and_program_execution.rst: Fix rest syntax + * gnat_ugn.texi: Regenerate. + 2022-09-02 Eric Botcazou <ebotcazou@adacore.com> * exp_util.adb (Expand_Subtype_From_Expr): Be prepared for diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 01cf9d8..3ad3096 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,17 @@ +2022-09-05 Tim Lange <mail@tim-lange.me> + + * 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 <mail@tim-lange.me> + + * 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 <mliska@suse.cz> * region-model.cc: Add missing final keyword. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index e90248d..e20d569 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,29 @@ +2022-09-05 Tobias Burnus <tobias@codesourcery.com> + + * 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 <jrfsousa@gmail.com> PR fortran/100136 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3c5a254..e5f2849 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,57 @@ +2022-09-05 Joseph Myers <joseph@codesourcery.com> + + * 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 <aldyh@redhat.com> + + * gcc.dg/tree-ssa/vrp-float-signbit-2.c: New test. + +2022-09-05 Alexander Monakov <amonakov@ispras.ru> + + PR target/106453 + * gcc.target/i386/pr106453.c: New test. + +2022-09-05 Tobias Burnus <tobias@codesourcery.com> + + * 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 <aldyh@redhat.com> + + PR middle-end/106824 + * g++.dg/pr106824.C: New test. + +2022-09-05 Tim Lange <mail@tim-lange.me> + + * gcc.dg/analyzer/out-of-bounds-4.c: New test. + * gcc.dg/analyzer/strcpy-3.c: New test. + +2022-09-05 Tim Lange <mail@tim-lange.me> + + * gcc.dg/analyzer/fold-string-to-char.c: New test. + +2022-09-05 Kyrylo Tkachov <kyrylo.tkachov@arm.com> + + * gcc.target/aarch64/spellcheck_10.c: New test. + +2022-09-05 LiaoShihua <shihua@iscas.ac.cn> + + * gcc.target/riscv/zmmul-1.c: New test. + * gcc.target/riscv/zmmul-2.c: New test. + +2022-09-05 Xi Ruoyao <xry111@xry111.site> + + * gcc.target/loongarch/direct-extern-1.c: New test. + * gcc.target/loongarch/direct-extern-2.c: New test. + +2022-09-05 konglin1 <lingling.kong@intel.com> + + * gcc.target/i386/pr106742.c: New test. + 2022-09-04 José Rui Faustino de Sousa <jrfsousa@gmail.com> PR fortran/100136 diff --git a/libcpp/ChangeLog b/libcpp/ChangeLog index c9f2f6b..7aba4f5 100644 --- a/libcpp/ChangeLog +++ b/libcpp/ChangeLog @@ -1,3 +1,7 @@ +2022-09-05 Joseph Myers <joseph@codesourcery.com> + + * init.cc (lang_defaults): Disable trigraphs for C2x. + 2022-09-02 David Malcolm <dmalcolm@redhat.com> PR c/90885 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 47b541c..ddf0729 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,7 @@ +2022-09-05 Tobias Burnus <tobias@codesourcery.com> + + * libgomp.texi (OpenMP 5.2): Update doacross/omp_cur_iteration status. + 2022-08-26 Tobias Burnus <tobias@codesourcery.com> * libgomp.texi (OpenMP 5.0): Mark 'ancestor' as implemented but diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index d905767..c9a7f35 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,15 @@ +2022-09-05 Jonathan Wakely <jwakely@redhat.com> + + * include/std/type_traits (__success_type, __failure_type): Move + definitions later in the file. + +2022-09-05 Jonathan Wakely <jwakely@redhat.com> + + * 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 <ppalka@redhat.com> * include/std/tuple (tuple::_UseOtherCtor): Use ::type when |