Daily bump.
This commit is contained in:
GCC Administrator
parent
11c7261128
commit
e68e80c8dd
|
|
@ -1,3 +1,24 @@
|
|||
2020-06-11 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* prepare-commit-msg: Use the gcc-config.mklog-hook-type Git
|
||||
config key instead of the GCC_FORCE_MKLOG environment variable.
|
||||
Optionally disable generating a new ChangeLog template for
|
||||
amended commits when the existing log is still OK.
|
||||
|
||||
2020-06-11 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcc-changelog/git_update_version.py: Add --curent argument.
|
||||
|
||||
2020-06-11 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* prepare-commit-msg: Replace ENV variable with a git config
|
||||
value.
|
||||
|
||||
2020-06-11 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* prepare-commit-msg: Use 'tee' to save the diff to a file
|
||||
instead of running 'git diff' twice.
|
||||
|
||||
2020-06-10 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcc-changelog/git_commit.py: Fix renamed files in
|
||||
|
|
|
|||
117
gcc/ChangeLog
117
gcc/ChangeLog
|
|
@ -1,3 +1,120 @@
|
|||
2020-06-11 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* config/rs6000/rs6000.c (rs6000_density_test): Fix GNU coding
|
||||
style.
|
||||
|
||||
2020-06-11 Martin Liska <mliska@suse.cz>
|
||||
|
||||
PR target/95627
|
||||
* config/rs6000/rs6000.c (rs6000_density_test): Skip debug
|
||||
statements.
|
||||
|
||||
2020-06-11 Martin Liska <mliska@suse.cz>
|
||||
Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR sanitizer/95634
|
||||
* asan.c (asan_emit_stack_protection): Fix emission for ilp32
|
||||
by using Pmode instead of ptr_mode.
|
||||
|
||||
2020-06-11 Kewen Lin <linkw@gcc.gnu.org>
|
||||
|
||||
* tree-vect-loop-manip.c (vect_set_loop_mask): Renamed to ...
|
||||
(vect_set_loop_control): ... this.
|
||||
(vect_maybe_permute_loop_masks): Rename rgroup_masks related things.
|
||||
(vect_set_loop_masks_directly): Renamed to ...
|
||||
(vect_set_loop_controls_directly): ... this. Also rename some
|
||||
variables with ctrl instead of mask. Rename vect_set_loop_mask to
|
||||
vect_set_loop_control.
|
||||
(vect_set_loop_condition_masked): Rename rgroup_masks related things.
|
||||
Also rename some variables with ctrl instead of mask.
|
||||
* tree-vect-loop.c (release_vec_loop_masks): Renamed to ...
|
||||
(release_vec_loop_controls): ... this. Rename rgroup_masks related
|
||||
things.
|
||||
(_loop_vec_info::~_loop_vec_info): Rename release_vec_loop_masks to
|
||||
release_vec_loop_controls.
|
||||
(can_produce_all_loop_masks_p): Rename rgroup_masks related things.
|
||||
(vect_get_max_nscalars_per_iter): Likewise.
|
||||
(vect_estimate_min_profitable_iters): Likewise.
|
||||
(vect_record_loop_mask): Likewise.
|
||||
(vect_get_loop_mask): Likewise.
|
||||
* tree-vectorizer.h (struct rgroup_masks): Renamed to ...
|
||||
(struct rgroup_controls): ... this. Also rename mask_type
|
||||
to type and rename masks to controls.
|
||||
|
||||
2020-06-11 Kewen Lin <linkw@gcc.gnu.org>
|
||||
|
||||
* tree-vect-loop-manip.c (vect_set_loop_condition): Rename
|
||||
LOOP_VINFO_FULLY_MASKED_P to LOOP_VINFO_USING_PARTIAL_VECTORS_P.
|
||||
(vect_gen_vector_loop_niters): Likewise.
|
||||
(vect_do_peeling): Likewise.
|
||||
* tree-vect-loop.c (_loop_vec_info::_loop_vec_info): Rename
|
||||
fully_masked_p to using_partial_vectors_p.
|
||||
(vect_analyze_loop_costing): Rename LOOP_VINFO_FULLY_MASKED_P to
|
||||
LOOP_VINFO_USING_PARTIAL_VECTORS_P.
|
||||
(determine_peel_for_niter): Likewise.
|
||||
(vect_estimate_min_profitable_iters): Likewise.
|
||||
(vect_transform_loop): Likewise.
|
||||
* tree-vectorizer.h (LOOP_VINFO_FULLY_MASKED_P): Updated.
|
||||
(LOOP_VINFO_USING_PARTIAL_VECTORS_P): New macro.
|
||||
|
||||
2020-06-11 Kewen Lin <linkw@gcc.gnu.org>
|
||||
|
||||
* tree-vect-loop.c (_loop_vec_info::_loop_vec_info): Rename
|
||||
can_fully_mask_p to can_use_partial_vectors_p.
|
||||
(vect_analyze_loop_2): Rename LOOP_VINFO_CAN_FULLY_MASK_P to
|
||||
LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P. Rename saved_can_fully_mask_p
|
||||
to saved_can_use_partial_vectors_p.
|
||||
(vectorizable_reduction): Rename LOOP_VINFO_CAN_FULLY_MASK_P to
|
||||
LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P.
|
||||
(vectorizable_live_operation): Likewise.
|
||||
* tree-vect-stmts.c (permute_vec_elements): Likewise.
|
||||
(check_load_store_masking): Likewise.
|
||||
(vectorizable_operation): Likewise.
|
||||
(vectorizable_store): Likewise.
|
||||
(vectorizable_load): Likewise.
|
||||
(vectorizable_condition): Likewise.
|
||||
* tree-vectorizer.h (LOOP_VINFO_CAN_FULLY_MASK_P): Renamed to ...
|
||||
(LOOP_VINFO_CAN_USE_PARTIAL_VECTORS_P): ... this.
|
||||
(_loop_vec_info): Rename can_fully_mask_p to can_use_partial_vectors_p.
|
||||
|
||||
2020-06-11 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* optc-save-gen.awk: Quote error string.
|
||||
|
||||
2020-06-11 Alexandre Oliva <oliva@adacore.com>
|
||||
|
||||
* print-rtl.c (print_mem_expr): Enable TDF_SLIM in dump_flags.
|
||||
|
||||
2020-06-11 Kito Cheng <kito.cheng@sifive.com>
|
||||
|
||||
* config/riscv/riscv-protos.h (riscv_output_gpr_save): Remove.
|
||||
* config/riscv/riscv-sr.c (riscv_sr_match_prologue): Update
|
||||
value.
|
||||
* config/riscv/riscv.c (riscv_output_gpr_save): Remove.
|
||||
* config/riscv/riscv.md (gpr_save): Update output asm pattern.
|
||||
|
||||
2020-06-11 Kito Cheng <kito.cheng@sifive.com>
|
||||
|
||||
* config/riscv/predicates.md (gpr_save_operation): New.
|
||||
* config/riscv/riscv-protos.h (riscv_gen_gpr_save_insn): New.
|
||||
(riscv_gpr_save_operation_p): Ditto.
|
||||
* config/riscv/riscv-sr.c (riscv_remove_unneeded_save_restore_calls):
|
||||
Ignore USEs for gpr_save patter.
|
||||
* config/riscv/riscv.c (gpr_save_reg_order): New.
|
||||
(riscv_expand_prologue): Use riscv_gen_gpr_save_insn to gen gpr_save.
|
||||
(riscv_gen_gpr_save_insn): New.
|
||||
(riscv_gpr_save_operation_p): Ditto.
|
||||
* config/riscv/riscv.md (S3_REGNUM): New.
|
||||
(S4_REGNUM): Ditto.
|
||||
(S5_REGNUM): Ditto.
|
||||
(S6_REGNUM): Ditto.
|
||||
(S7_REGNUM): Ditto.
|
||||
(S8_REGNUM): Ditto.
|
||||
(S9_REGNUM): Ditto.
|
||||
(S10_REGNUM): Ditto.
|
||||
(S11_REGNUM): Ditto.
|
||||
(gpr_save): Model USEs correctly.
|
||||
|
||||
2020-06-10 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR middle-end/95353
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
20200611
|
||||
20200612
|
||||
|
|
|
|||
|
|
@ -1,3 +1,327 @@
|
|||
2020-06-11 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_res.adb (Resolve_Implicit_Dereference): In an instance,
|
||||
reset the type of the prefix if it is private before building
|
||||
the dereference.
|
||||
|
||||
2020-06-11 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_util.adb (Safe_Unchecked_Type_Conversion): Add missing
|
||||
Is_Type guard before calling Has_Discriminants on Etype.
|
||||
|
||||
2020-06-11 Bob Duff <duff@adacore.com>
|
||||
|
||||
* libgnat/a-nbnbin__gmp.adb: There's no Optional_Big_Integer
|
||||
anymore. Invalid_Big_Integer is not used.
|
||||
Greatest_Common_Divisor returns Big_Positive.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Get_Value): Refine type of the Compon parameter.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Resolve_Record_Aggregate): Refine type of
|
||||
Others_Box.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* checks.adb, exp_ch7.adb, exp_ch9.adb, exp_smem.adb, lib.adb,
|
||||
nlists.adb, sem.adb, sem_aggr.adb, sem_ch3.adb, sem_ch6.adb,
|
||||
sem_ch8.adb, sem_dim.adb, sem_res.adb, sem_util.adb,
|
||||
sem_warn.adb: Replace uses of Next function with procedure.
|
||||
|
||||
2020-06-11 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_pakd.ads: Add paragraph about scalar storage order.
|
||||
* exp_pakd.adb (Install_PAT): Do not set the scalar storage
|
||||
order of the PAT here but...
|
||||
(Set_PB_Type): ...here instead and...
|
||||
(Create_Packed_Array_Impl_Type): ...here as well.
|
||||
* rtsfind.ads (RE_Id): Add RE_Rev_Packed_Bytes{1,2,4}.
|
||||
(RE_Unit_Table): Likewise.
|
||||
* libgnat/s-unstyp.ads (Rev_Packed_Bytes1): New derived type.
|
||||
(Rev_Packed_Bytes2): Likewise.
|
||||
(Rev_Packed_Bytes4): Likewise.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_ch4.adb, sem_ch6.adb, sem_res.adb, sem_util.ads: Fix
|
||||
references to SPARK RM 7.1.3 rule numbers.
|
||||
|
||||
2020-06-11 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_warn.adb (Warn_On_Overlapping_Actuals): Simplify code,
|
||||
remove inner predicate Is_Covered_Formal, preserve warning for
|
||||
two overlapping composite types when only one is writable, and
|
||||
for two overlapping and writable elementary types.
|
||||
|
||||
2020-06-11 Steve Baird <baird@adacore.com>
|
||||
|
||||
* contracts.adb (Add_Contract_Item): Support specifying
|
||||
volatility refinement aspects for types.
|
||||
(Analyze_Contracts): Add call to Analyze_Type_Contract in the
|
||||
case of a contract for a type.
|
||||
(Freeze_Contracts): Add call to Analyze_Type_Contract in the
|
||||
case of a contract for a type.
|
||||
(Check_Type_Or_Object_External_Properties): A new procedure
|
||||
which performs the work that needs to be done for both object
|
||||
declarations and types.
|
||||
(Analyze_Object_Contract): Add a call to
|
||||
Check_Type_Or_Object_External_Properties and remove the code in
|
||||
this procedure which did much of the work that is now performed
|
||||
by that call.
|
||||
(Analyze_Type_Contract): Implement this new routine as nothing
|
||||
more than a call to Check_Type_Or_Object_External_Properties.
|
||||
* contracts.ads: Update comment for Add_Contract_To_Item because
|
||||
types can have contracts. Follow (questionable) precedent and
|
||||
declare new routine Analyze_Type_Contract as visible (following
|
||||
example of Analyze_Object_Contract), despite the fact that it is
|
||||
never called from outside of the package where it is declared.
|
||||
* einfo.adb (Contract, Set_Contract): Id argument can be a type;
|
||||
support this case.
|
||||
(Write_Field34_Name): Field name is "contract" for a type.
|
||||
* einfo.ads: Update comment describing Contract attribute.
|
||||
* sem_ch3.adb (Build_Derived_Numeric_Type): Is_Volatile should
|
||||
return same answer for all subtypes of a given type. Thus, when
|
||||
building the base type for something like type Volatile_1_To_10
|
||||
is range 1 .. 10 with Volatile; that basetype should be marked
|
||||
as being volatile.
|
||||
(Access_Type_Declaration): Add SPARK-specific legality check
|
||||
that the designated type of an access type shall be compatible
|
||||
with respect to volatility with the access type.
|
||||
* sem_ch12.adb (Check_Shared_Variable_Control_Aspects): Add
|
||||
SPARK-specific legality check that an actual type parameter in
|
||||
an instantiation shall be compatible with respect to volatility
|
||||
with the corresponding formal type.
|
||||
* sem_ch13.adb (Analyze_Aspect_Specifications): Perform checks
|
||||
for aspect specs for the 4 volatility refinement aspects that
|
||||
were already being performed for all language-defined aspects.
|
||||
* sem_prag.adb (Analyze_External_Property_In_Decl_Part,
|
||||
Analyze_Pragma): External properties (other than No_Caching) may
|
||||
be specified for a type, including a generic formal type.
|
||||
* sem_util.ads: Declare new subprograms - Async_Readers_Enabled,
|
||||
Async_Writers_Enabled, Effective_Reads, Effective_Writes, and
|
||||
Check_Volatility_Compatibility.
|
||||
* sem_util.adb (Async_Readers_Enabled, Async_Writers_Enabled,
|
||||
Effective_Reads, Effective_Writes): Initial implementation of
|
||||
new functions for querying aspect values.
|
||||
(Check_Volatility_Compatibility): New procedure intended for use
|
||||
in checking all SPARK legality rules of the form "<> shall be
|
||||
compatible with respect to volatility with <>".
|
||||
(Has_Enabled_Property): Update comment because Item_Id can be a
|
||||
type. Change name of nested Variable_Has_Enabled_Property
|
||||
function to Type_Or_Variable_Has_Enabled_Property; add a
|
||||
parameter to that function because recursion may be needed,
|
||||
e.g., in the case of a derived typ). Cope with the case where
|
||||
the argument to Has_Enabled_Property is a type.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Add_Association): Add assertion about the formal
|
||||
parameters.
|
||||
(Propagate_Discriminants): Always add an explicit component
|
||||
association, so that an "others => <>" association is never
|
||||
needed.
|
||||
|
||||
2020-06-11 Bob Duff <duff@adacore.com>
|
||||
|
||||
* exp_put_image.adb (Build_Elementary_Put_Image_Call): If the
|
||||
underlying type is real, call Put_Image_Unknown.
|
||||
(Build_Unknown_Put_Image_Call): Pass the type name to
|
||||
Put_Image_Unknown.
|
||||
* libgnat/s-putima.ads, libgnat/s-putima.adb
|
||||
(Put_Image_Unknown): Add Type_Name parameter. Remove
|
||||
overly-detailed documentation of what it does; better to leave
|
||||
it open.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_ch3.adb (Build_Constrained_Array_Type,
|
||||
Build_Constrained_Discriminated_Type): Skip unnecessary loop
|
||||
iterations.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Build_Constrained_Itype): Move to Sem_Util.
|
||||
* sem_ch3.adb (Build_Subtype, Inherit_Predicate_Flags): Move...
|
||||
* sem_util.adb (Build_Subtype): Here. Add parameters for
|
||||
references to objects previously declared in enclosing scopes.
|
||||
(Inherit_Predicate_Flags): And here, because it is called by
|
||||
Build_Subtype.
|
||||
* sem_util.ads (Build_Overriding_Spec): Reorder alphabetically.
|
||||
(Build_Subtype): Moved from Sem_Ch3; comments updated.
|
||||
(Build_Constrained_Itype): Moved from Sem_Aggr; comments
|
||||
updated.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Case_Table_Type): Change index type from Nat to
|
||||
Pos.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_aggr.adb (Build_Constrained_Itype): Previously a declare
|
||||
block, now a separate procedure; the only change is that now
|
||||
New_Assoc_List might include components and an others clause,
|
||||
which we ignore (while we deal with discriminants exactly as we
|
||||
did before); extend a ??? comment about how this routine is
|
||||
different from the Build_Subtype
|
||||
(Resolve_Record_Aggregate): Create a constrained itype not just
|
||||
for the outermost record aggregate, but for its inner record
|
||||
aggregates as well.
|
||||
|
||||
2020-06-11 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* checks.adb (Build_Discriminant_Checks): Build an explicit
|
||||
dereference when the type is an access type.
|
||||
* exp_atag.adb (Build_CW_Membership): Add explicit dereferences.
|
||||
(Build_Get_Access_Level): Likewise.
|
||||
(Build_Get_Alignment): Likewise.
|
||||
(Build_Inherit_Prims): Likewise.
|
||||
(Build_Get_Transportable): Likewise.
|
||||
(Build_Set_Size_Function): Likewise.
|
||||
* exp_ch3.adb (Build_Offset_To_Top_Function): Likewise.
|
||||
* exp_ch4.adb (Expand_Allocator_Expression): Likewise.
|
||||
(Expand_N_Indexed_Component ): Remove code dealing with implicit
|
||||
dereferences.
|
||||
(Expand_N_Selected_Component): Likewise.
|
||||
(Expand_N_Slice): Likewise.
|
||||
* exp_ch9.adb (Add_Formal_Renamings): Add explicit dereference.
|
||||
(Expand_Accept_Declarations): Likewise.
|
||||
(Build_Simple_Entry_Call): Remove code dealing with implicit
|
||||
dereferences.
|
||||
(Expand_N_Requeue_Statement): Likewise.
|
||||
* exp_disp.adb (Expand_Dispatching_Call): Build an explicit
|
||||
dereference when the controlling type is an access type.
|
||||
* exp_spark.adb (Expand_SPARK_N_Selected_Component): Delete.
|
||||
(Expand_SPARK_N_Slice_Or_Indexed_Component): Likewise.
|
||||
(Expand_SPARK): Do not call them.
|
||||
* sem_ch4.adb (Process_Implicit_Dereference_Prefix): Delete.
|
||||
(Process_Indexed_Component): Call Implicitly_Designated_Type
|
||||
to get the designated type for an implicit dereference.
|
||||
(Analyze_Overloaded_Selected_Component): Do not insert an
|
||||
explicit dereference here.
|
||||
(Analyze_Selected_Component): Likewise.
|
||||
(Analyze_Slice): Call Implicitly_Designated_Type to get the
|
||||
designated type for an implicit dereference.
|
||||
* sem_ch8.adb (Has_Components): New predicate extracted from...
|
||||
(Is_Appropriate_For_Record): ...this. Delete.
|
||||
(Is_Appropriate_For_Entry_Prefix): Likewise.
|
||||
(Analyze_Renamed_Entry): Deal with implicit dereferences.
|
||||
(Find_Selected_Component): Do not insert an explicit dereference
|
||||
here. Call Implicitly_Designated_Type to get the designated type
|
||||
for an implicit dereference. Call Has_Components, Is_Task_Type
|
||||
and Is_Protected_Type directly. Adjust test for error.
|
||||
* sem_res.adb (Resolve_Implicit_Dereference): New procedure.
|
||||
(Resolve_Call): Call Resolve_Indexed_Component last.
|
||||
(Resolve_Entry): Call Resolve_Implicit_Dereference on the prefix.
|
||||
(Resolve_Indexed_Component): Call Implicitly_Designated_Type to
|
||||
get the designated type for an implicit dereference and
|
||||
Resolve_Implicit_Dereference on the prefix at the end.
|
||||
(Resolve_Selected_Component): Likewise.
|
||||
(Resolve_Slice): Likewise. Do not apply access checks here.
|
||||
* sem_util.ads (Implicitly_Designated_Type): Declare.
|
||||
* sem_util.adb (Copy_And_Maybe_Dereference): Simplify.
|
||||
(Implicitly_Designated_Type): New function.
|
||||
(Object_Access_Level): Fix typo.
|
||||
* sem_warn.adb (Check_Unset_Reference): Test Comes_From_Source
|
||||
on the original node.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_disp.adb: Minor reformatting.
|
||||
* exp_aggr.adb (Is_Static_Dispatch_Table_Aggregate): Recognize
|
||||
aggregates of the Ada.Tags.Object_Specific_Data type as static.
|
||||
* sem_aggr.adb (Check_Static_Discriminated_Subtype): Deconstruct
|
||||
and do not call it from Build_Constrained_Itype.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_disp.adb (Make_Secondary_DT): Internally generated OSD
|
||||
tables are now constant.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_aggr.adb (Backend_Processing_Possible): Remove useless
|
||||
call.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* opt.ads (Building_Static_Dispatch_Tables): Fix punctuation in
|
||||
comment.
|
||||
|
||||
2020-06-11 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/s-stposu.ads (Root_Storage_Pool_With_Subpools,
|
||||
Root_Subpool): Mark with Preelaborable_Initialization.
|
||||
|
||||
2020-06-11 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* exp_ch9.adb (Expand_N_Conditional_Entry_Call): Replace call to
|
||||
New_Copy_List by calls to the new routine
|
||||
New_Copy_Separate_List.
|
||||
* sem_util.ads (New_Copy_Separate_List, New_Copy_Separate_Tree):
|
||||
New routines.
|
||||
* sem_util.adb (New_Copy_Separate_List, New_Copy_Separate_Tree):
|
||||
New routines.
|
||||
(New_Copy_Tree): Extend the machinery that detects syntactic
|
||||
nodes to handle lists of indentifiers with field More_Ids;
|
||||
otherwise such nodes are erroneously handled as semantic nodes.
|
||||
Copy aspect specifications attached to nodes.
|
||||
* sem_ch12.adb (Copy_Generic_Node): Protect reading attribute
|
||||
Etype.
|
||||
|
||||
2020-06-11 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem_ch13.adb (Analyze_Aspect_Specifications): Do not set the
|
||||
Has_Predicates flag when the Predicate_Failure aspect is seen.
|
||||
It is legal (but pointless) to use this aspect without a
|
||||
predicate. If we set the flag, we generate a half-baked
|
||||
Predicate procedure, and if that procedure is nested, it causes
|
||||
unnesting to crash.
|
||||
|
||||
2020-06-11 Bob Duff <duff@adacore.com>
|
||||
|
||||
* exp_put_image.adb (Build_Record_Put_Image_Procedure): Remove
|
||||
special processing of protected types, because those are handled
|
||||
by Build_Protected_Put_Image_Call.
|
||||
(Enable_Put_Image): Use the switch -gnatd_z to control enabling
|
||||
of Put_Image. Disable Put_Image for types in Remote_Types
|
||||
packages.
|
||||
* debug.adb: Document -gnatd_z switch.
|
||||
* exp_imgv.adb, libgnat/a-stteou.ads, opt.ads: Minor cleanups.
|
||||
|
||||
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Warn_On_Overlapping_Actuals): Add label to the
|
||||
outer loop and use it in the exit statement.
|
||||
|
||||
2020-06-11 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* exp_ch3.adb (Build_Assignment): Generate predicate check if
|
||||
subtype mark has predicate.
|
||||
|
||||
2020-06-11 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* sem_util.adb (Expand_N_Attribute_Reference): Use original
|
||||
nodes where required to avoid looking at the expanded tree.
|
||||
|
||||
2020-06-11 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/a-catizo.ads, libgnat/a-nbnbin.ads,
|
||||
libgnat/a-nbnbre.ads, libgnat/a-nubinu.ads,
|
||||
libgnat/s-aoinar.ads, libgnat/s-aomoar.ads,
|
||||
libgnat/s-aotase.ads, libgnat/s-stopoo.ads: Remove aspects that
|
||||
we will not implement.
|
||||
|
||||
2020-06-11 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/s-aoinar.adb (Atomic_Fetch_And_Add,
|
||||
Atomic_Fetch_And_Subtract): Add fallback using
|
||||
compare-and-exchange, in case the integer type does not map to a
|
||||
machine type.
|
||||
|
||||
2020-06-10 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/s-aomoar.ads, libgnat/s-aomoar.adb: New files.
|
||||
|
|
|
|||
|
|
@ -1,3 +1,20 @@
|
|||
2020-06-11 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/93467
|
||||
* constraint.cc (associate_classtype_constraints): If there is a
|
||||
discrepancy between the current template depth and the template
|
||||
depth of the original declaration, then adjust the template
|
||||
parameter depth within the current constraints appropriately.
|
||||
* pt.c (tsubst_friend_class): Substitute into and set the
|
||||
constraints on the injected declaration.
|
||||
|
||||
2020-06-11 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
* coroutines.cc (instantiate_coro_traits): Pass a reference
|
||||
to lambda closure objects to traits instantiation.
|
||||
(morph_fn_to_coro): Likewise for promise parameter
|
||||
preview and allocator lookup.
|
||||
|
||||
2020-06-10 Iain Sandoe <iain@sandoe.co.uk>
|
||||
|
||||
PR c++/95440
|
||||
|
|
|
|||
|
|
@ -1,3 +1,49 @@
|
|||
2020-06-11 Harald Anlauf <anlauf@gmx.de>
|
||||
Steven G. Kargl <kargl@gcc.gnu.org>
|
||||
|
||||
PR fortran/95611
|
||||
* decl.c (access_attr_decl): Use correct symbol in error message.
|
||||
|
||||
2020-06-11 Steven G. Kargl <kargl@gcc.gnu.org>
|
||||
Harald Anlauf <anlauf@gmx.de>
|
||||
|
||||
PR fortran/95544
|
||||
* check.c (invalid_null_arg): Rename to gfc_invalid_null_arg.
|
||||
(gfc_check_associated, gfc_check_kind, gfc_check_merge)
|
||||
(gfc_check_shape, gfc_check_size, gfc_check_spread)
|
||||
(gfc_check_transfer): Adjust.
|
||||
(gfc_check_len_lentrim, gfc_check_trim): Check for NULL() argument.
|
||||
* gfortran.h: Declare gfc_invalid_null_arg ().
|
||||
* intrinsic.c (check_arglist): Check for NULL() argument.
|
||||
|
||||
2020-06-11 Harald Anlauf <anlauf@gmx.de>
|
||||
|
||||
PR fortran/95503
|
||||
* expr.c (gfc_check_pointer_assign): Skip contiguity check of rhs
|
||||
of pointer assignment if lhs cannot be simply contiguous.
|
||||
|
||||
2020-06-11 José Rui Faustino de Sousa <jrfsousa@gmail.com>
|
||||
|
||||
PR fortran/95331
|
||||
* trans-array.c (gfc_conv_array_ref): For class array dummy
|
||||
arguments use the transformed descriptor in sym->backend_decl
|
||||
instead of the original descriptor.
|
||||
|
||||
2020-06-11 José Rui Faustino de Sousa <jrfsousa@gmail.com>
|
||||
|
||||
PR fortran/52351
|
||||
PR fortran/85868
|
||||
* trans-array.c (gfc_conv_expr_descriptor): Enable the
|
||||
creation of a new descriptor with the correct one based
|
||||
indexing for array sections. Rework array descriptor
|
||||
indexing offset calculation.
|
||||
|
||||
2020-06-11 José Rui Faustino de Sousa <jrfsousa@gmail.com>
|
||||
|
||||
PR fortran/94022
|
||||
* trans-expr.c (gfc_conv_procedure_call): In the case of
|
||||
assumed-size arrays ensure that the reference is to a full array.
|
||||
|
||||
2020-06-07 Harald Anlauf <anlauf@gmx.de>
|
||||
|
||||
PR fortran/95091
|
||||
|
|
|
|||
|
|
@ -1,3 +1,62 @@
|
|||
2020-06-11 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/93467
|
||||
* g++.dg/cpp2a/concepts-friend6.C: New test.
|
||||
* g++.dg/cpp2a/concepts-friend7.C: New test.
|
||||
|
||||
2020-06-11 Harald Anlauf <anlauf@gmx.de>
|
||||
Steven G. Kargl <kargl@gcc.gnu.org>
|
||||
|
||||
PR fortran/95611
|
||||
* gfortran.dg/pr95611.f90: New file.
|
||||
|
||||
2020-06-11 Steven G. Kargl <kargl@gcc.gnu.org>
|
||||
Harald Anlauf <anlauf@gmx.de>
|
||||
|
||||
PR fortran/95544
|
||||
* gfortran.dg/pr95544.f90: New file.
|
||||
|
||||
2020-06-11 Tamar Christina <tamar.christina@arm.com>
|
||||
|
||||
* lib/target-supports.exp (check_effective_target_exceptions_enabled):
|
||||
Mark as C++ test input.
|
||||
|
||||
2020-06-11 Harald Anlauf <anlauf@gmx.de>
|
||||
|
||||
PR fortran/95503
|
||||
* gfortran.dg/pr95503.f90: New test.
|
||||
|
||||
2020-06-11 José Rui Faustino de Sousa <jrfsousa@gmail.com>
|
||||
|
||||
PR fortran/95331
|
||||
* gfortran.dg/PR95331.f90: New test.
|
||||
|
||||
2020-06-11 David Edelsohn <dje.gcc@gmail.com>
|
||||
|
||||
* g++.dg/abi/pure-virtual1.C: XFAIL AIX.
|
||||
|
||||
2020-06-11 David Edelsohn <dje.gcc@gmail.com>
|
||||
|
||||
* gcc.dg/spellcheck-inttypes.c: Don't include inttypes.h on AIX.
|
||||
|
||||
2020-06-11 José Rui Faustino de Sousa <jrfsousa@gmail.com>
|
||||
|
||||
PR fortran/52351
|
||||
PR fortran/85868
|
||||
* gfortran.dg/coarray_lib_comm_1.f90: Adjust match test for
|
||||
the newly generated descriptor.
|
||||
* gfortran.dg/PR85868A.f90: New test.
|
||||
* gfortran.dg/PR85868B.f90: New test.
|
||||
|
||||
2020-06-11 José Rui Faustino de Sousa <jrfsousa@gmail.com>
|
||||
|
||||
PR fortran/94022
|
||||
* gfortran.dg/PR94022.f90: New test.
|
||||
|
||||
2020-06-11 Kito Cheng <kito.cheng@sifive.com>
|
||||
|
||||
* gcc.target/riscv/pr95252.c: New.
|
||||
|
||||
2020-06-10 Alexandre Oliva <oliva@adacore.com>
|
||||
|
||||
PR rtl-optimization/51447
|
||||
|
|
|
|||
|
|
@ -1,3 +1,14 @@
|
|||
2020-06-11 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR libstdc++/94749
|
||||
* include/bits/istream.tcc (basic_istream::ignore(streamsize, CharT)):
|
||||
Only discard an extra character if we didn't already reach the
|
||||
maximum number.
|
||||
* src/c++98/istream.cc (istream::ignore(streamsiz, char))
|
||||
(wistream::ignore(streamsize, wchar_t)): Likewise.
|
||||
* testsuite/27_io/basic_istream/ignore/char/94749.cc: New test.
|
||||
* testsuite/27_io/basic_istream/ignore/wchar_t/94749.cc: New test.
|
||||
|
||||
2020-06-10 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR libstdc++/95578
|
||||
|
|
|
|||
Loading…
Reference in New Issue