Daily bump.
This commit is contained in:
parent
b56dc0fc6c
commit
aae80e833d
7 changed files with 587 additions and 1 deletions
|
@ -1,3 +1,19 @@
|
|||
2020-06-18 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcc-changelog/git_update_version.py: First checkout and then
|
||||
run git pull ---rebase.
|
||||
|
||||
2020-06-18 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcc-changelog/git_update_version.py: Support merge commits
|
||||
and walk only on the branch that is being merged and generate
|
||||
missing ChangeLog entries.
|
||||
|
||||
2020-06-18 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcc-changelog/git_commit.py: Fix Backported from timestamp when
|
||||
use_commit_ts=True is used.
|
||||
|
||||
2020-06-17 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcc-changelog/git_commit.py: Print 'Backported from master'
|
||||
|
|
183
gcc/ChangeLog
183
gcc/ChangeLog
|
@ -1,3 +1,186 @@
|
|||
2020-06-18 Felix Yang <felix.yang@huawei.com>
|
||||
|
||||
* tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Call
|
||||
vect_relevant_for_alignment_p to filter out data references in
|
||||
the loop whose alignment is irrelevant when trying loop peeling
|
||||
to force alignment.
|
||||
|
||||
2020-06-18 Uroš Bizjak <ubizjak@gmail.com>
|
||||
|
||||
* config/i386/i386.md (*cmpqi_ext<mode>_1): Use SWI248 mode
|
||||
iterator instead of SImode for ZERO_EXTRACT RTX. Use SWI248
|
||||
mode iterator for the first operand of ZERO_EXTRACT RTX.
|
||||
Change ext_register_operand predicate to register_operand.
|
||||
Rename from *cmpqi_ext_1.
|
||||
(*cmpqi_ext<mode>_2): Ditto. Rename from *cmpqi_ext_2.
|
||||
(*cmpqi_ext<mode>_3): Ditto. Rename from *cmpqi_ext_3.
|
||||
(*cmpqi_ext<mode>_4): Ditto. Rename from *cmpqi_ext_4.
|
||||
(cmpi_ext_3): Use HImode instead of SImode for ZERO_EXTRACT RTX.
|
||||
(*extv<mode>): Use SWI24 mode iterator for the first operand
|
||||
of ZERO_EXTRACT RTX. Change ext_register_operand predicate
|
||||
to register_operand.
|
||||
(*extzv<mode>): Use SWI248 mode iterator for the first operand
|
||||
of ZERO_EXTRACT RTX. Change ext_register_operand predicate
|
||||
to register_operand.
|
||||
(*extzvqi): Use SWI248 mode iterator instead of SImode for
|
||||
ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first operand
|
||||
of ZERO_EXTRACT RTX. Change ext_register_operand predicate to
|
||||
register_operand.
|
||||
(*extzvqi_mem_rex64 and corresponding peephole2): Use SWI248 mode
|
||||
iterator instead of SImode for ZERO_EXTRACT RTX. Use SWI248
|
||||
mode iterator for the first operand of ZERO_EXTRACT RTX.
|
||||
Change ext_register_operand predicate to register_operand.
|
||||
(@insv<mode>_1): Use SWI248 mode iterator for the first operand
|
||||
of ZERO_EXTRACT RTX. Change ext_register_operand predicate to
|
||||
register_operand.
|
||||
(*insvqi_1): Use SWI248 mode iterator instead of SImode
|
||||
for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the
|
||||
first operand of ZERO_EXTRACT RTX. Change ext_register_operand
|
||||
predicate to register_operand.
|
||||
(*insvqi_2): Ditto.
|
||||
(*insvqi_3): Ditto.
|
||||
(*insvqi_1_mem_rex64 and corresponding peephole2): Use SWI248 mode
|
||||
iterator instead of SImode for ZERO_EXTRACT RTX. Use SWI248
|
||||
mode iterator for the first operand of ZERO_EXTRACT RTX.
|
||||
Change ext_register_operand predicate to register_operand.
|
||||
(addqi_ext_1): New expander.
|
||||
(*addqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
|
||||
for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
|
||||
operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
|
||||
to register_operand. Rename from *addqi_ext_1.
|
||||
(*addqi_ext<mode>_2): Ditto. Rename from *addqi_ext_2.
|
||||
(divmodqi4): Use HImode instead of SImode for ZERO_EXTRACT RTX.
|
||||
(udivmodqi4): Ditto.
|
||||
(testqi_ext_1): Use HImode instead of SImode for ZERO_EXTRACT RTX.
|
||||
(*testqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
|
||||
for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
|
||||
operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
|
||||
to register_operand. Rename from *testqi_ext_1.
|
||||
(*testqi_ext<mode>_2): Ditto. Rename from *testqi_ext_2.
|
||||
(andqi_ext_1): New expander.
|
||||
(*andqi_ext<mode>_1): Use SWI248 mode iterator instead of SImode
|
||||
for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
|
||||
operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
|
||||
to register_operand. Rename from andqi_ext_1.
|
||||
(*andqi_ext<mode>_1_cc): Ditto. Rename from *andqi_ext_1_cc.
|
||||
(*andqi_ext<mode>_2): Ditto. Rename from *andqi_ext_2.
|
||||
(*<code>qi_ext<mode>_1): Ditto. Rename from *<code>qi_ext_1.
|
||||
(*<code>qi_ext<mode>_2): Ditto. Rename from *<code>qi_ext_2.
|
||||
(xorqi_ext_1_cc): Use HImode instead of SImode for ZERO_EXTRACT RTX.
|
||||
(*xorqi_ext<mode>_1_cc): Use SWI248 mode iterator instead of SImode
|
||||
for ZERO_EXTRACT RTX. Use SWI248 mode iterator for the first
|
||||
operand of ZERO_EXTRACT RTX. Change ext_register_operand predicate
|
||||
to register_operand. Rename from *xorqi_ext_1_cc.
|
||||
* config/i386/i386-expand.c (ix86_split_idivmod): Emit ZERO_EXTRACT
|
||||
in mode, matching its first operand.
|
||||
(promote_duplicated_reg): Update for renamed insv<mode>_1.
|
||||
* config/i386/predicates.md (ext_register_operand): Remove predicate.
|
||||
|
||||
2020-06-18 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR middle-end/95667
|
||||
PR middle-end/92814
|
||||
* builtins.c (compute_objsize): Remove call to
|
||||
compute_builtin_object_size and instead compute conservative sizes
|
||||
directly here.
|
||||
|
||||
2020-06-18 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* coretypes.h (struct iterator_range): New type.
|
||||
* tree-vect-patterns.c (vect_determine_precisions): Use
|
||||
range-based iterator.
|
||||
(vect_pattern_recog): Likewise.
|
||||
* tree-vect-slp.c (_bb_vec_info): Likewise.
|
||||
(_bb_vec_info::~_bb_vec_info): Likewise.
|
||||
(vect_slp_check_for_constructors): Likewise.
|
||||
* tree-vectorizer.h:Add new iterators
|
||||
and functions that use it.
|
||||
|
||||
2020-06-18 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* config/rs6000/rs6000-call.c (fold_build_vec_cmp):
|
||||
Since 502d63b6d6141597bb18fd23c87736a1b384cf8f, first argument
|
||||
of a VEC_COND_EXPR cannot be tcc_comparison and so that
|
||||
a SSA_NAME needs to be created before we use it for the first
|
||||
argument of the VEC_COND_EXPR.
|
||||
(fold_compare_helper): Pass gsi to fold_build_vec_cmp.
|
||||
|
||||
2020-06-18 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR middle-end/95739
|
||||
* internal-fn.c (expand_vect_cond_optab_fn): Move the result
|
||||
to the target if necessary.
|
||||
(expand_vect_cond_mask_optab_fn): Likewise.
|
||||
|
||||
2020-06-18 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* tree-ssa-reassoc.c (ovce_extract_ops): Replace *vcond with
|
||||
vcond as we check for NULL pointer.
|
||||
|
||||
2020-06-18 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* gimple-pretty-print.c (dump_binary_rhs): Use braces to
|
||||
silence empty-body warning with gcc_fallthrough.
|
||||
|
||||
2020-06-18 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/95699
|
||||
* tree-ssa-phiopt.c (minmax_replacement): Treat (signed int)x < 0
|
||||
as x > INT_MAX and (signed int)x >= 0 as x <= INT_MAX. Move variable
|
||||
declarations to the statements that set them where possible.
|
||||
|
||||
2020-06-18 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR target/95713
|
||||
* tree-ssa-forwprop.c (simplify_vector_constructor): Don't allow
|
||||
scalar mode halfvectype other than vector boolean for
|
||||
VEC_PACK_TRUNC_EXPR.
|
||||
|
||||
2020-06-18 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* varasm.c (assemble_variable): Make sure to not
|
||||
defer output when outputting addressed constants.
|
||||
(output_constant_def_contents): Likewise.
|
||||
(add_constant_to_table): Take and pass on whether to
|
||||
defer output.
|
||||
(output_addressed_constants): Likewise.
|
||||
(output_constant_def): Pass on whether to defer output
|
||||
to add_constant_to_table.
|
||||
(tree_output_constant_def): Defer output of constants.
|
||||
|
||||
2020-06-18 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* tree-vectorizer.h (_slp_tree::two_operators): Remove.
|
||||
(_slp_tree::lane_permutation): New member.
|
||||
(_slp_tree::code): Likewise.
|
||||
(SLP_TREE_TWO_OPERATORS): Remove.
|
||||
(SLP_TREE_LANE_PERMUTATION): New.
|
||||
(SLP_TREE_CODE): Likewise.
|
||||
(vect_stmt_dominates_stmt_p): Declare.
|
||||
* tree-vectorizer.c (vect_stmt_dominates_stmt_p): New function.
|
||||
* tree-vect-stmts.c (vect_model_simple_cost): Remove
|
||||
SLP_TREE_TWO_OPERATORS handling.
|
||||
* tree-vect-slp.c (_slp_tree::_slp_tree): Amend.
|
||||
(_slp_tree::~_slp_tree): Likewise.
|
||||
(vect_two_operations_perm_ok_p): Remove.
|
||||
(vect_build_slp_tree_1): Remove verification of two-operator
|
||||
permutation here.
|
||||
(vect_build_slp_tree_2): When we have two different operators
|
||||
build two computation SLP nodes and a blend.
|
||||
(vect_print_slp_tree): Print the lane permutation if it exists.
|
||||
(slp_copy_subtree): Copy it.
|
||||
(vect_slp_rearrange_stmts): Re-arrange it.
|
||||
(vect_slp_analyze_node_operations_1): Handle SLP_TREE_CODE
|
||||
VEC_PERM_EXPR explicitely.
|
||||
(vect_schedule_slp_instance): Likewise. Remove old
|
||||
SLP_TREE_TWO_OPERATORS code.
|
||||
(vectorizable_slp_permutation): New function.
|
||||
|
||||
2020-06-18 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* tree-vect-generic.c (expand_vector_condition): Check
|
||||
for gassign before inspecting RHS.
|
||||
|
||||
2020-06-17 Thomas Schwinge <thomas@codesourcery.com>
|
||||
|
||||
* gimplify.c (omp_notice_threadprivate_variable)
|
||||
|
|
|
@ -1 +1 @@
|
|||
20200618
|
||||
20200619
|
||||
|
|
|
@ -1,3 +1,306 @@
|
|||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Get_Size_For_Range): Only make sure to return a
|
||||
size lower than that of the original type if possible.
|
||||
* libgnat/s-rannum.adb (Random_Discrete): Back out optimization
|
||||
added for 32-bit types.
|
||||
|
||||
2020-06-18 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* sem_ch6.ads, sem_ch6.adb (Check_Formal_Conformance): New
|
||||
subprogram.
|
||||
(Check_Conformance): Move code to Check_Formal_Conformance.
|
||||
* sem_ch8.adb (Analyze_Subprogram_Renaming): Check for formal
|
||||
conformance when needed.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Narrow_Large_Operation): New procedure to try
|
||||
and narrow large arithmetic and comparison operations.
|
||||
(Expand_N_In): Call it.
|
||||
(Expand_N_Op_Abs): Likewise.
|
||||
(Expand_N_Op_Add): Likewise.
|
||||
(Expand_N_Op_Divide): Likewise.
|
||||
(Expand_N_Op_Eq): Likewise.
|
||||
(Expand_N_Op_Ge): Likewise.
|
||||
(Expand_N_Op_Gt): Likewise.
|
||||
(Expand_N_Op_Le): Likewise.
|
||||
(Expand_N_Op_Lt): Likewise.
|
||||
(Expand_N_Op_Minus): Likewise.
|
||||
(Expand_N_Op_Mod): Likewise.
|
||||
(Expand_N_Op_Multiply): Likewise.
|
||||
(Expand_N_Op_Ne): Likewise.
|
||||
(Expand_N_Op_Plus): Likewise.
|
||||
(Expand_N_Op_Rem): Likewise.
|
||||
(Expand_N_Op_Subtract): Likewise.
|
||||
(Expand_N_Type_Conversion): Use Convert_To procedure.
|
||||
* exp_ch9.adb (Is_Pure_Barrier) <N_Identifier>: Skip all
|
||||
numeric types.
|
||||
<N_Type_Conversion>: Use explicit criterion.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Expand_Allocator_Expression): Apply constraint
|
||||
and predicate checks for the qualified expression on entry,
|
||||
followed by constraint and predicate checks for the allocator
|
||||
itself, and return early if this results in a static error.
|
||||
(Expand_N_Allocator): Do not do the same here. Instead apply
|
||||
constraint and predicate checks for arrays in the subtype
|
||||
indication case.
|
||||
* exp_ch5.adb (Expand_N_Assignment_Statement): Do not apply
|
||||
range checks to allocators here.
|
||||
|
||||
2020-06-18 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* exp_ch6.adb (BIP_Suffix_Kind, Is_Build_In_Place_Entity): Move
|
||||
declarations...
|
||||
* exp_ch6.ads: Here.
|
||||
* exp_util.adb (Is_Secondary_Stack_BIP_Func_Call): Do not rely
|
||||
on the name of the scope to locate the extra formal BIPalloc
|
||||
since they are copied when the pointer type associated with
|
||||
dispatching calls is built; rely on routines
|
||||
Is_Build_In_Place_Entity and BIP_Suffix_Kind.
|
||||
* exp_disp.adb (Expand_Dispatching_Call): Set the scope of the
|
||||
first extra formal of the internally built pointer type.
|
||||
* sem_ch3.adb (Derive_Subprogram): Do not inherit extra formals
|
||||
from a limited interface parent since limitedness is not
|
||||
inherited in such case (AI-419) and this affects the extra
|
||||
formals.
|
||||
* sprint.adb (Write_Itype): Output extra formals of subprogram
|
||||
types.
|
||||
|
||||
2020-06-18 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* errout.adb (Write_Error_Summary): Display number of warnings
|
||||
treated as errors.
|
||||
* errutil.ads: Update comment.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_attr.adb (Analyze_Attribute) <Asm_{In,Out}put>: Alphabetize.
|
||||
<Component_Size>: Add check for universal integer attribute.
|
||||
<Aft>, <Bit_Order>, <Definite>, <Max_Alignment_For_Allocation>,
|
||||
<Scalar_Storage_Order>: Raise Program_Error on them.
|
||||
* sem_attr.adb (Eval_Attribute) <Component_Size>: Add comment on
|
||||
the packed array case.
|
||||
|
||||
2020-06-18 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_util.adb (Object_Access_Level): Treat a 'Old attribute
|
||||
reference like an aggregate in determining its static
|
||||
accessibility level; after the evaluation of the relevant
|
||||
post-condition, the implicitly declared constant associated with
|
||||
an Old attribute reference ceases to exist. Similarly for
|
||||
Loop_Entry attribute.
|
||||
* exp_ch6.adb (Expand_Call_Helper): For an attribute reference
|
||||
that is expanded into a reference to an implicitly declared
|
||||
constant (e.g., a 'Old or 'Loop_Entry attribute), compute the
|
||||
dynamic accessibility level of that constant by looking at the
|
||||
declaration of the constant (as opposed to looking at the
|
||||
attribute reference).
|
||||
|
||||
2020-06-18 Steve Baird <baird@adacore.com>
|
||||
|
||||
* exp_ch3.adb (Expand_N_Object_Declaration): Do not generate a
|
||||
default initial condition check for the declaration of an
|
||||
imported object.
|
||||
|
||||
2020-06-18 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* Makefile.rtl: Add s-statxd.o.
|
||||
* bindgen.adb (Gen_Adainit): Add support for XDR_Stream.
|
||||
* bindusg.adb (Display): Add mention of -xdr.
|
||||
* gnatbind.adb: Process -xdr switch.
|
||||
* init.c (__gl_xdr_stream): New.
|
||||
* opt.ads (XDR_Stream): New.
|
||||
* libgnat/s-stratt__xdr.adb: Rename to...
|
||||
* libgnat/s-statxd.adb: this and adjust.
|
||||
* libgnat/s-statxd.ads: New.
|
||||
* libgnat/s-stratt.ads, libgnat/s-stratt.adb: Choose between
|
||||
default and XDR implementation at runtime.
|
||||
* libgnat/s-ststop.ads: Update comments.
|
||||
* doc/gnat_rm/implementation_advice.rst: Update doc on XDR
|
||||
streaming.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_attr.adb (Analyze_Attribute) <To_Address>: Use the address
|
||||
size of the target instead of the host when checking the value of
|
||||
a static expression. Also use standard idiom for exponentiation.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_prag.adb (Process_Convention): Give a warning on C_Variadic_n
|
||||
being applied to a subprogram with exactly n parameters.
|
||||
|
||||
2020-06-18 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnarl/s-osinte__linux.ads, libgnat/g-io.adb,
|
||||
libgnat/g-socket.adb, libgnat/g-socthi.adb,
|
||||
libgnat/g-socthi.ads, libgnat/g-socthi__vxworks.adb,
|
||||
libgnat/g-socthi__vxworks.ads, libgnat/g-sothco.ads,
|
||||
libgnat/s-io.adb, libgnat/a-except.adb: Fix function profile
|
||||
mismatch with imported C functions.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch6.adb (Expand_Call_Helper): Remove superfluous calls
|
||||
to Relocate_Node and merge calls to Analyze and Resolve in a
|
||||
couple of places. Do not attempt to generate a range check
|
||||
for an actual parameter against the formal's type of a derived
|
||||
subprogram after generating a conversion to the formal's type
|
||||
of the parent subprogram.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* checks.adb (Compute_Range_For_Arithmetic_Op): New procedure to
|
||||
compute a range for an arithmetical operation extracted from...
|
||||
(Minimize_Eliminate_Overflows): ...here. Call it.
|
||||
(Determine_Range_Cache_O): New cache for Original_Node nodes.
|
||||
(Determine_Range): Call Compute_Range_For_Arithmetic_Op for all
|
||||
arithmetic expressions. Use Attribute_Id in lieu of Attribute_Name
|
||||
for attributes. Add handling for Range_Length alongside Length.
|
||||
Add specific handling for Alignment, Bit, First_Bit, Last_Bit,
|
||||
Max_Size_In_Storage_Elements, Position, Bit_Position,
|
||||
Component_Size, Object_Size, Size, Value_Size, Descriptor_Size.
|
||||
(Enable_Overflow_Check): Omit the check for Abs and Minus if the
|
||||
operand cannot be the largest negative number.
|
||||
(Selected_Length_Checks): Use Pos for Number_Dimensions.
|
||||
* exp_attr.adb (Expand_N_Attribute_Reference): Move compile-time
|
||||
handling of Bit_Position, Descriptor_Size, First_Bit, Last_Bit
|
||||
and Position to...
|
||||
* sem_attr.adb (Eval_Attribute): ...here. Move up Alignment for
|
||||
objects and use Compile_Time_Known_Attribute in this case too.
|
||||
|
||||
2020-06-18 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* erroutc.ads: Declare new Is_Compile_Time_Msg boolean,
|
||||
add new Compile_Time_Pragma field to Error_Msg_Object type.
|
||||
(Count_Compile_Time_Pragma_Warnings): New function.
|
||||
* erroutc.adb (Count_Compile_Time_Pragma_Warnings): New
|
||||
function.
|
||||
(Compilation_Errors): Take Compile_Time warnings into account
|
||||
when tallying Errors/Warnings.
|
||||
* errout.ads (Error_Msg): New procedure.
|
||||
* errout.adb (Error_Msg): New procedure.
|
||||
(Error_Msg_Internal): Set new Compile_Time_Pragma field in
|
||||
Error_Msg_Object.
|
||||
* errutil.adb (Error_Msg): Set new Compile_Time_Pragma field in
|
||||
Error_Msg_Object.
|
||||
* sem_prag.adb (Validate_Compile_Time_Warning_Or_Error): Pass
|
||||
True to new Error_Msg procedure.
|
||||
* doc/gnat_rm/implementation_defined_pragmas.rst: Update doc for
|
||||
the Compile_Time_Warning pragma.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
* opt.ads: Update comment.
|
||||
|
||||
2020-06-18 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* sem_ch4.adb (Check_Compatible_Profiles): Add explicit
|
||||
initialization.
|
||||
|
||||
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* checks.adb (Generate_Index_Checks): Handle
|
||||
N_Subtype_Indication returned from Scalar_Range.
|
||||
|
||||
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* checks.adb, sem_ch3.adb: Minor refactorings.
|
||||
* sem_eval.adb (Eval_Qualified_Expression): Fix reference to RM
|
||||
rule in comment; only set a local variable Hex in the branch
|
||||
where it is used.
|
||||
|
||||
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_eval.adb (Check_Non_Static_Context): Use Is_RTE.
|
||||
|
||||
2020-06-18 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* sem_ch4.adb (Find_Equality_Types.Check_Access_Object_Types):
|
||||
New function, used to implement RM 4.5.2 (9.6/2).
|
||||
(Find_Equality_Types.Check_Compatible_Profiles): New function,
|
||||
used to implement RM 4.5.2(9.7/2).
|
||||
(Find_Equality_Types.Reference_Anonymous_Access_Type): New
|
||||
function.
|
||||
(Find_Equality_Types.Try_One_Interp): Fix handling of anonymous
|
||||
access types which was accepting both too much and too little.
|
||||
Remove accumulated special and incomplete cases for
|
||||
instantiations, replaced by Has_Compatible_Type.
|
||||
(Analyze_Overloaded_Selected_Component): Use
|
||||
Is_Anonymous_Access_Type instead of Ekind_In.
|
||||
* sem_res.adb: Code cleanup and bug fix: use
|
||||
Is_Anonymous_Access_Type instead of Ekind_In. Relax checking of
|
||||
anonymous access parameter when universal_access "=" is
|
||||
involved.
|
||||
* sem_type.adb: Likewise.
|
||||
(Find_Unique_Type): Move code from here...
|
||||
(Specific_Type): ...to here. Also add missing handling of access
|
||||
to class wide types.
|
||||
* einfo.ads, einfo.adb (Is_Access_Object_Type): New.
|
||||
|
||||
2020-06-18 Bob Duff <duff@adacore.com>
|
||||
|
||||
* libgnat/a-strsto.ads, libgnat/a-ststbo.adb,
|
||||
libgnat/a-ststbo.ads, libgnat/a-ststun.adb,
|
||||
libgnat/a-ststun.ads: New files, containing packages
|
||||
Ada.Streams.Storage, Ada.Streams.Storage.Bounded, and
|
||||
Ada.Streams.Storage.Unbounded.
|
||||
* impunit.adb, Makefile.rtl: Add new file names.
|
||||
|
||||
2020-06-18 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* sem_ch13.adb (Has_Good_Profile): Enforce strictness in the
|
||||
check. Required to detect wrong profiles for Input and Output.
|
||||
(Analyze_Stream_TSS_Definition): Minor enhancement in the text
|
||||
of the error for class-wide attributes.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_attr.adb (Get_Integer_Type): Pick an unsigned type based
|
||||
on the Esize of the base type of the input type.
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Expand_Array_Equality): For the optimization of
|
||||
the 2-element case, build new expression lists for the indices.
|
||||
|
||||
2020-06-18 Richard Kenner <kenner@adacore.com>
|
||||
|
||||
* sem_util.adb (Enclosing_Subprogram): No longer need
|
||||
Convention_Protected.
|
||||
|
||||
2020-06-18 Claire Dross <dross@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_OK_Volatile_Context): Return False on
|
||||
definitions of constants declared in declare expressions.
|
||||
|
||||
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_aspects.rst
|
||||
(Relaxed_Initialization): New implementation-defined aspect.
|
||||
* doc/gnat_rm/implementation_defined_attributes.rst
|
||||
(Initialized): New implementation-defined attribute.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2020-06-18 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* exp_disp.adb (Expand_Dispatching_Call): Add missing decoration
|
||||
of attribute Extra_Accessibility_Of_Result.
|
||||
* freeze.adb (Check_Extra_Formals): No check required if
|
||||
expansion is disabled; Adding check on
|
||||
Extra_Accessibilty_Of_Result.
|
||||
(Freeze_Subprogram): Fix decoration of
|
||||
Extra_Accessibility_Of_Result.
|
||||
* sem_ch3.adb (Derive_Subprogram): Fix decoration of
|
||||
Extra_Accessibility_Of_Result
|
||||
|
||||
2020-06-18 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Optimize_Length_Comparison): Accept 32-bit values
|
||||
in the full unsigned range.
|
||||
|
||||
2020-06-17 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* checks.adb (Apply_Universal_Integer_Attribute_Checks): Do not do
|
||||
|
|
|
@ -1,3 +1,22 @@
|
|||
2020-06-18 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* method.c (early_check_defaulted_comparison): Check for &&.
|
||||
(build_comparison_op): Allow empty union. Diagnose non-category
|
||||
type.
|
||||
(common_comparison_type): Remove handling for non-category type.
|
||||
|
||||
2020-06-18 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
PR c++/95735
|
||||
* pt.c (finish_template_variable): Return if
|
||||
coerce_innermost_template_parms return error_mark_node.
|
||||
|
||||
2020-06-18 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
PR c++/95728
|
||||
* pt.c (tsubst_copy_and_build) <case NEW_EXPR>: Return error_mark_node
|
||||
if placement is erroneous.
|
||||
|
||||
2020-06-17 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR c++/66159
|
||||
|
|
|
@ -1,3 +1,8 @@
|
|||
2020-06-18 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* openmp.c (resolve_omp_clauses): Reject vars with
|
||||
allocatable components in OpenMP map clauses.
|
||||
|
||||
2020-06-16 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* parse.c (decode_oacc_directive): Permit 'acc routine' also
|
||||
|
|
|
@ -1,3 +1,63 @@
|
|||
2020-06-18 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* g++.dg/cpp2a/spaceship-ref1.C: New test.
|
||||
* g++.dg/cpp2a/spaceship-synth-neg4.C: New test.
|
||||
* g++.dg/cpp2a/spaceship-union1.C: New test.
|
||||
|
||||
2020-06-18 Uroš Bizjak <ubizjak@gmail.com>
|
||||
|
||||
* gcc.target/i386/pr78904-1a.c: New test.
|
||||
* gcc.target/i386/pr78904-1b.c: Ditto.
|
||||
* gcc.target/i386/pr78904-2a.c: Ditto.
|
||||
* gcc.target/i386/pr78904-2b.c: Ditto.
|
||||
* gcc.target/i386/pr78904-3a.c: Ditto.
|
||||
* gcc.target/i386/pr78904-3b.c: Ditto.
|
||||
* gcc.target/i386/pr78904-4a.c: Ditto.
|
||||
* gcc.target/i386/pr78904-4b.c: Ditto.
|
||||
* gcc.target/i386/pr78904-5a.c: Ditto.
|
||||
* gcc.target/i386/pr78904-5b.c: Ditto.
|
||||
* gcc.target/i386/pr78904-6a.c: Ditto.
|
||||
* gcc.target/i386/pr78904-6b.c: Ditto.
|
||||
* gcc.target/i386/pr78967-1a.c: Ditto.
|
||||
* gcc.target/i386/pr78967-1b.c: Ditto.
|
||||
* gcc.target/i386/pr78967-2a.c: Ditto.
|
||||
* gcc.target/i386/pr78967-2b.c: Ditto.
|
||||
|
||||
2020-06-18 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR middle-end/95667
|
||||
PR middle-end/92814
|
||||
* gcc.dg/Wstringop-overflow-25.c: Remove xfails.
|
||||
* gcc.dg/Wstringop-overflow-39.c: New test.
|
||||
|
||||
2020-06-18 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
PR c++/95735
|
||||
* g++.dg/cpp2a/concepts-err2.C: New test.
|
||||
|
||||
2020-06-18 Christophe Lyon <christophe.lyon@linaro.org>
|
||||
|
||||
* g++.target/aarch64/pr94052.C: Give z::ad public access.
|
||||
|
||||
2020-06-18 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* gfortran.dg/gomp/map-alloc-comp-1.f90: New test.
|
||||
|
||||
2020-06-18 Marek Polacek <polacek@redhat.com>
|
||||
|
||||
PR c++/95728
|
||||
* g++.dg/template/cast6.C: New test.
|
||||
|
||||
2020-06-18 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR tree-optimization/95699
|
||||
* gcc.dg/tree-ssa/pr95699.c: New test.
|
||||
|
||||
2020-06-18 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR target/95713
|
||||
* gcc.dg/pr95713.c: New test.
|
||||
|
||||
2020-06-17 Thomas Schwinge <thomas@codesourcery.com>
|
||||
|
||||
* c-c++-common/gomp/default-1.c: Update.
|
||||
|
|
Loading…
Add table
Reference in a new issue