Daily bump.
This commit is contained in:
GCC Administrator
parent
5f38bf14bc
commit
47d2dcd139
9 changed files with 659 additions and 1 deletions
305
gcc/ChangeLog
305
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
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
20220905
|
||||
20220906
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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.
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue