Daily bump.
This commit is contained in:
parent
ca021ac617
commit
43868df37b
122
gcc/ChangeLog
122
gcc/ChangeLog
|
@ -1,3 +1,125 @@
|
|||
2020-10-22 Alan Modra <amodra@gmail.com>
|
||||
|
||||
* config/rs6000/rs6000.c (rs6000_emit_xxspltidp_v2df): Delete
|
||||
debug printf. Remove trailing ".\n" from inform message.
|
||||
Break long line.
|
||||
|
||||
2020-10-22 Andrew MacLeod <amacleod@redhat.com>
|
||||
|
||||
* gimple-range-gori.cc (is_gimple_logical_p): Use types_compatible_p
|
||||
for logical compatibility.
|
||||
(logical_stmt_cache::cacheable_p): Ditto.
|
||||
|
||||
2020-10-22 Jan Hubicka <hubicka@ucw.cz>
|
||||
|
||||
* cgraph.c (cgraph_node::get_untransformed_body): Perform lazy
|
||||
clone materialization.
|
||||
* cgraph.h (cgraph_node::materialize_clone): Declare.
|
||||
(symbol_table::materialize_all_clones): Remove.
|
||||
* cgraphclones.c (cgraph_materialize_clone): Turn to ...
|
||||
(cgraph_node::materialize_clone): .. this one; move here
|
||||
dumping from symbol_table::materialize_all_clones.
|
||||
(symbol_table::materialize_all_clones): Remove.
|
||||
* cgraphunit.c (mark_functions_to_output): Clear stmt references.
|
||||
(cgraph_node::expand): Initialize bitmaps early;
|
||||
do not call execute_all_ipa_transforms if there are no transforms.
|
||||
* ipa-inline-transform.c (save_inline_function_body): Fix formating.
|
||||
(inline_transform): Materialize all clones before function is modified.
|
||||
* ipa-param-manipulation.c (ipa_param_adjustments::modify_call):
|
||||
Materialize clone if needed.
|
||||
* ipa.c (class pass_materialize_all_clones): Remove.
|
||||
(make_pass_materialize_all_clones): Remove.
|
||||
* passes.c (execute_all_ipa_transforms): Materialize all clones.
|
||||
* passes.def: Remove pass_materialize_all_clones.
|
||||
* tree-pass.h (make_pass_materialize_all_clones): Remove.
|
||||
* tree-ssa-structalias.c (ipa_pta_execute): Clear refs.
|
||||
|
||||
2020-10-22 Will Schmidt <will_schmidt@vnet.ibm.com>
|
||||
|
||||
* config/rs6000/altivec.h (vec_xl_zext, vec_xl_sext, vec_xst_trunc):
|
||||
New defines.
|
||||
* config/rs6000/rs6000-builtin.def (BU_P10V_OVERLOAD_X): New builtin
|
||||
macro.
|
||||
(BU_P10V_AV_X): New builtin macro.
|
||||
(se_lxvrhbx, se_lxrbhx, se_lxvrwx, se_lxvrdx): Define internal names
|
||||
for load and sign extend vector element.
|
||||
(ze_lxvrbx, ze_lxvrhx, ze_lxvrwx, ze_lxvrdx): Define internal names
|
||||
for load and zero extend vector element.
|
||||
(tr_stxvrbx, tr_stxvrhx, tr_stxvrwx, tr_stxvrdx): Define internal names
|
||||
for truncate and store vector element.
|
||||
(se_lxvrx, ze_lxvrx, tr_stxvrx): Define internal names for overloaded
|
||||
load/store rightmost element.
|
||||
* config/rs6000/rs6000-call.c (altivec_builtin_types): Define the
|
||||
internal monomorphs P10_BUILTIN_SE_LXVRBX, P10_BUILTIN_SE_LXVRHX,
|
||||
P10_BUILTIN_SE_LXVRWX, P10_BUILTIN_SE_LXVRDX,
|
||||
P10_BUILTIN_ZE_LXVRBX, P10_BUILTIN_ZE_LXVRHX, P10_BUILTIN_ZE_LXVRWX,
|
||||
P10_BUILTIN_ZE_LXVRDX,
|
||||
P10_BUILTIN_TR_STXVRBX, P10_BUILTIN_TR_STXVRHX, P10_BUILTIN_TR_STXVRWX,
|
||||
P10_BUILTIN_TR_STXVRDX,
|
||||
(altivec_expand_lxvr_builtin): New expansion for load element builtins.
|
||||
(altivec_expand_stv_builtin): Update to for truncate and store builtins.
|
||||
(altivec_expand_builtin): Add clases for load/store rightmost builtins.
|
||||
(altivec_init_builtins): Add def_builtin entries for
|
||||
__builtin_altivec_se_lxvrbx, __builtin_altivec_se_lxvrhx,
|
||||
__builtin_altivec_se_lxvrwx, __builtin_altivec_se_lxvrdx,
|
||||
__builtin_altivec_ze_lxvrbx, __builtin_altivec_ze_lxvrhx,
|
||||
__builtin_altivec_ze_lxvrwx, __builtin_altivec_ze_lxvrdx,
|
||||
__builtin_altivec_tr_stxvrbx, __builtin_altivec_tr_stxvrhx,
|
||||
__builtin_altivec_tr_stxvrwx, __builtin_altivec_tr_stxvrdx,
|
||||
__builtin_vec_se_lxvrx, __builtin_vec_ze_lxvrx, __builtin_vec_tr_stxvrx.
|
||||
* config/rs6000/vsx.md (vsx_lxvr<wd>x, vsx_stxvr<wd>x, vsx_stxvr<wd>x):
|
||||
New define_insn entries.
|
||||
* doc/extend.texi: Add documentation for vsx_xl_sext, vsx_xl_zext,
|
||||
and vec_xst_trunc.
|
||||
|
||||
2020-10-22 Will Schmidt <will_schmidt@vnet.ibm.com>
|
||||
|
||||
* config/rs6000/vsx.md (enum unspec): Add
|
||||
UNSPEC_EXTENDDITI2 and UNSPEC_MTVSRD_DITI_W1 entries.
|
||||
(mtvsrdd_diti_w1, extendditi2_vector): New define_insns.
|
||||
(extendditi2): New define_expand.
|
||||
|
||||
2020-10-22 Alexandre Oliva <oliva@adacore.com>
|
||||
|
||||
* config/i386/mingw-w64.h (TARGET_LIBC_HAS_FUNCTION): Enable
|
||||
sincos optimization.
|
||||
|
||||
2020-10-22 Alan Modra <amodra@gmail.com>
|
||||
|
||||
* config/rs6000/vsx.md (vec_cntmb_<mode>, vec_extract_<mode>),
|
||||
(vec_expand_<mode>): Replace <VSX_MM_SUFFIX> with <wd>.
|
||||
|
||||
2020-10-22 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* tree-vect-slp.c (vect_analyze_slp_instance): Refactor so
|
||||
computing a vector type early is not needed, for store group
|
||||
splitting compute a new vector type based on the desired
|
||||
group size.
|
||||
|
||||
2020-10-22 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR middle-end/97521
|
||||
* expr.c (expand_expr_real_1): Be more careful when
|
||||
expanding a VECTOR_BOOLEAN_TYPE_P VECTOR_CSTs.
|
||||
|
||||
2020-10-22 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* ipa-modref-tree.c (selftest::test_insert_search_collapse): Fix
|
||||
leak.
|
||||
(selftest::test_merge): Fix leaks.
|
||||
|
||||
2020-10-22 Andreas Krebbel <krebbel@linux.ibm.com>
|
||||
|
||||
PR target/97502
|
||||
* config/s390/vector.md ("vec_cmp<VI_HW:mode><VI_HW:mode>")
|
||||
("vec_cmpu<VI_HW:mode><VI_HW:mode>"): New expanders.
|
||||
|
||||
2020-10-22 Andreas Krebbel <krebbel@linux.ibm.com>
|
||||
|
||||
PR rtl-optimization/97439
|
||||
* dfp.c (decimal_real_maxval): Set the sign flag in the
|
||||
generated number.
|
||||
|
||||
2020-10-22 Martin Liska <mliska@suse.cz>
|
||||
|
||||
PR c/94722
|
||||
|
|
|
@ -1 +1 @@
|
|||
20201022
|
||||
20201023
|
||||
|
|
|
@ -1,3 +1,321 @@
|
|||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* Makefile.rtl (GNATRTL_128BIT_PAIRS): Add i-cexten.ads.
|
||||
* debug.adb (d.H): Document new usage.
|
||||
* doc/gnat_rm/representation_clauses_and_pragmas.rst (Size Clauses):
|
||||
Document new limit on 64-bit platforms.
|
||||
(Component_Size Clauses): Likewise.
|
||||
(Pragma Pack for Arrays): Likewise.
|
||||
(Pragma Pack for Records): Likewise.
|
||||
(Record Representation Clauses): Likewise.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
* gnat1drv.adb (Adjust_Global_Switches): Rewrite code enabling or
|
||||
disabling the support for 128-bit integer types.
|
||||
* switch-c.adb (Scan_Front_End_Switches): Do not deal with e128.
|
||||
* usage.adb (Write_Switch_Char): Do not print -gnate128 switch.
|
||||
* libgnat/i-cexten__128.ads: New file.
|
||||
|
||||
2020-10-22 Javier Miranda <miranda@adacore.com>
|
||||
|
||||
* einfo.ads (Has_Limited_View): New synthesized attribute.
|
||||
* einfo.adb (Has_Limited_View): New synthesized attribute.
|
||||
(Set_Limited_View): Complete assertion.
|
||||
* sem_ch10.ads (Is_Visible_Through_Renamings): Make this routine
|
||||
public to invoke it from Find_Expanded_Name and avoid reporting
|
||||
spurious errors on renamings of limited-with packages.
|
||||
(Load_Needed_Body): Moved to have this spec alphabetically
|
||||
ordered.
|
||||
* sem_ch10.adb (Is_Visible_Through_Renamings): Moved to library
|
||||
level.
|
||||
(Is_Limited_Withed_Unit): New subprogram.
|
||||
* sem_ch3.adb (Access_Type_Declaration): Adding protection to
|
||||
avoid reading attribute Entity() when not available.
|
||||
* sem_ch8.adb (Analyze_Package_Renaming): Report error on
|
||||
renamed package not visible through context clauses.
|
||||
(Find_Expanded_Name): Report error on renamed package not
|
||||
visible through context clauses; handle special case where the
|
||||
prefix is a renaming of a (now visible) shadow package.
|
||||
|
||||
2020-10-22 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* exp_prag.adb (Get_Launch_Kernel_Arg_Type): New function.
|
||||
(Build_Shared_Memory_Declaration): Use
|
||||
Get_Launch_Kernel_Arg_Type.
|
||||
(Build_Stream_Declaration): Use Get_Launch_Kernel_Arg_Type.
|
||||
* rtsfind.ads: Remove RO_IC_Unsigned_Long_Long.
|
||||
|
||||
2020-10-22 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/s-imenne.adb, libgnat/s-imgrea.adb: Add assertions.
|
||||
|
||||
2020-10-22 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/s-imgrea.adb (Set_Image_Real): Update annotations.
|
||||
|
||||
2020-10-22 Steve Baird <baird@adacore.com>
|
||||
|
||||
* aspects.ads: Introduce the subtype Nonoverridable_Aspect_Id,
|
||||
whose Static_Predicate reflects the list of nonoverridable
|
||||
aspects given in Ada RM 13.1.1(18.7).
|
||||
* sem_util.ads, sem_util.adb: Add two new visible subprograms,
|
||||
Check_Inherited_Nonoverridable_Aspects and Is_Confirming. The
|
||||
former is used to check the consistency of inherited
|
||||
nonoverridable aspects from multiple sources. The latter
|
||||
indicates whether two aspect specifications for a nonoverridable
|
||||
aspect are confirming. Because of compatibility concerns in
|
||||
compiling QGen, Is_Confirming always returns True if
|
||||
Relaxed_RM_Semantics (i.e., -gnatd.M) is specified.
|
||||
* sem_ch3.adb (Derived_Type_Declaration): Call new
|
||||
Check_Inherited_Nonoverridable_Aspects procedure if interface
|
||||
list is non-empty.
|
||||
* sem_ch9.adb (Check_Interfaces): Call new
|
||||
Check_Inherited_Nonoverridable_Aspects procedure if interface
|
||||
list is non-empty.
|
||||
* sem_ch13.adb (Analyze_Aspect_Specifications): When an explicit
|
||||
aspect specification overrides an inherited nonoverridable
|
||||
aspect, check that the explicit specification is confirming.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* freeze.ads (Check_Compile_Time_Size): Adjust size limit.
|
||||
|
||||
2020-10-22 Richard Kenner <kenner@adacore.com>
|
||||
|
||||
* sprint.adb (pg, po, ps): Use {Push,Pop}_Output.
|
||||
* treepr.adb (pl, pn): Likewise.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_advice.rst: Minor fix.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2020-10-22 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Container_Aggregate): A new local predicates
|
||||
which indicates whether a given expression is a container
|
||||
aggregate. The implementation of this function is incomplete; in
|
||||
the unusual case of a record aggregate (i.e., not a container
|
||||
aggregate) of a type whose Aggregate aspect is specified, the
|
||||
function will incorrectly return True.
|
||||
(Immediate_Context_Implies_Is_Potentially_Unevaluated): Improve
|
||||
handling of aggregate components.
|
||||
(Is_Repeatedly_Evaluated): Test for container aggregate
|
||||
components along with existing test for array aggregate
|
||||
components.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* exp_fixd.adb (Fpt_Value): Fold if-then-else with identical arms.
|
||||
|
||||
2020-10-22 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* par-ch4.adb (P_Iterated_Component_Association): If the
|
||||
construct includes an iterator filter it corresponds to an
|
||||
Iterated_Element_Association, so build the proper node for it.
|
||||
* exp_aggr.adb (Expand_Container_Aggregate, Aggregate_Size): If
|
||||
the component is an Iterated_Element_Association, treat it as
|
||||
having a non-static size.
|
||||
|
||||
2020-10-22 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* scng.adb (Scan): Check if any letter of the token is
|
||||
uppercase.
|
||||
|
||||
2020-10-22 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* sem_util.adb (Accessibility_Level_Helper): Conversions to
|
||||
named access types get the level associated with the named
|
||||
access type.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* einfo.ads (Has_Constrained_Partial_View): Add "base type" marker.
|
||||
|
||||
2020-10-22 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* einfo.adb (Has_Constrained_Partial_View): Apply Base_Type to Id.
|
||||
* sem_res.adb (Resolve_Actuals.Check_Aliased_Parameter): Remove
|
||||
"not Is_Generic_Type" test and call
|
||||
Object_Type_Has_Constrained_Partial_View instead of
|
||||
Has_Constrained_Partial_View. Improve related error message to
|
||||
say "does not statically match" instead of just "does not
|
||||
match".
|
||||
|
||||
2020-10-22 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_util.ads, sem_util.adb: Declare and implement a new
|
||||
predicate, Derivation_Too_Early_To_Inherit. This function
|
||||
indicates whether a given derived type fails to inherit a given
|
||||
streaming-related attribute from its parent type because the
|
||||
declaration of the derived type precedes the corresponding
|
||||
attribute_definition_clause of the parent.
|
||||
* exp_tss.adb (Find_Inherited_TSS): Call
|
||||
Derivation_Too_Early_To_Inherit instead of unconditionally
|
||||
assuming that a parent type's streaming attribute is available
|
||||
for inheritance by an immediate descendant type.
|
||||
* sem_attr.adb (Stream_Attribute_Available): Call
|
||||
Derivation_Too_Early_To_Inherit instead of unconditionally
|
||||
assuming that a parent type's streaming attribute is available
|
||||
for inheritance by an immediate descendant type.
|
||||
* exp_attr.adb (Default_Streaming_Unavailable): A new predicate;
|
||||
given a type, indicates whether predefined (as opposed to
|
||||
user-defined) streaming operations for the type should be
|
||||
implemented by raising Program_Error.
|
||||
(Expand_N_Attribute_Reference): For each of the 4
|
||||
streaming-related attributes (i.e., Read, Write, Input, Output),
|
||||
after determining that no user-defined implementation is
|
||||
available (including a Stream_Convert pragma), call
|
||||
Default_Streaming_Unavailable; if that call returns True, then
|
||||
implement the streaming operation as "raise Program_Error;".
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* checks.adb (Apply_Float_Conversion_Check): Saturate the bounds
|
||||
of the check to those of the base type of the expression.
|
||||
|
||||
2020-10-22 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* checks.adb (Apply_Accessibility_Check): Modify condition to
|
||||
avoid flawed optimization and use Get_Accessibility over
|
||||
Extra_Accessibility.
|
||||
* exp_attr.adb: Remove inclusion of Exp_Ch2.adb.
|
||||
* exp_ch2.adb, exp_ch2.ads (Param_Entity): Moved to sem_util.
|
||||
* exp_ch3.ads (Init_Proc_Level_Formal): New function.
|
||||
* exp_ch3.adb (Build_Init_Procedure): Add extra accessibility
|
||||
formal for init procs when the associated type is a limited
|
||||
record.
|
||||
(Build_Initialization_Call): Add condition to handle propagation
|
||||
of the new extra accessibility paramter actual needed for init
|
||||
procs.
|
||||
(Init_Proc_Level_Formal): Created to fetch a the extra
|
||||
accessibility parameter associated with init procs if one
|
||||
exists.
|
||||
* exp_ch4.adb (Build_Attribute_Reference): Modify static check
|
||||
to be dynamic.
|
||||
* exp_ch6.adb (Add_Cond_Expression_Extra_Actual): Move logic
|
||||
used to expand conditional expressions used as actuals for
|
||||
anonymous access formals.
|
||||
(Expand_Call_Helper): Remove extranious accessibility
|
||||
calculation logic.
|
||||
* exp_util.adb: Remove inclusion of Exp_Ch2.adb.
|
||||
* par-ch3.adb (P_Array_Type_Definition): Properly set
|
||||
Aliased_Present on access definitions
|
||||
* sem_attr.adb (Resolve_Attribute): Replace instances for
|
||||
Object_Access_Level with Static_Accessibility_Level.
|
||||
* sem_ch13.adb (Storage_Pool): Replace instances for
|
||||
Object_Access_Level with Static_Accessibility_Level.
|
||||
* sem_ch6.adb (Check_Return_Construct_Accessibility): Replace
|
||||
instances for Object_Access_Level with
|
||||
Static_Accessibility_Level.
|
||||
* sem_ch9.adb (Analyze_Requeue): Replace instances for
|
||||
Object_Access_Level with Static_Accessibility_Level.
|
||||
* sem_res.adb (Check_Aliased_Parameter,
|
||||
Check_Allocator_Discrim_Accessibility, Valid_Conversion):
|
||||
Replace instances for Object_Access_Level with
|
||||
Static_Accessibility_Level.
|
||||
* sem_util.adb, sem_util.ads (Accessibility_Level_Helper):
|
||||
Created to centralize calculation of accessibility levels.
|
||||
(Build_Component_Subtype): Replace instances for
|
||||
Object_Access_Level with Static_Accessibility_Level.
|
||||
(Defining_Entity): Add extra parameter to dictate whether an
|
||||
error is raised or empty is return in the case of an irrelevant
|
||||
N.
|
||||
(Dynamic_Accessibility_Level): Rewritten to use
|
||||
Accessibility_Level_Helper.
|
||||
(Is_View_Conversion): Check membership against Etype to capture
|
||||
nodes like explicit dereferences which have types but are not
|
||||
expanded names or identifers.
|
||||
(Object_Access_LeveL): Removed.
|
||||
(Param_Entity): Moved from sem_util.
|
||||
(Static_Accessibility_Level): Created as a replacement to
|
||||
Object_Access_Level, it also uses Accessibility_Level_Helper for
|
||||
its implementation.
|
||||
* snames.ads-tmpl: Added new name for extra accessibility
|
||||
parameter in init procs.
|
||||
|
||||
2020-10-22 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_prag.adb (Expand_Pragma_Contract_Cases,
|
||||
Expand_Pragma_Loop_Variant): Reuse Append_New_To.
|
||||
* sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Fix typo.
|
||||
(Analyze_Pre_Post_Condition): Refactor repeated calls to
|
||||
Defining_Entity.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* doc/gnat_rm/implementation_defined_characteristics.rst: Minor
|
||||
fixes.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2020-10-22 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Check_Unused_Withs): Move local variables from
|
||||
to a nested procedure; Lunit is passed as a parameter to
|
||||
Check_System_Aux and its type is refined from Node_Id to
|
||||
Entity_Id; Cnode is now a constant.
|
||||
|
||||
2020-10-22 Patrick Bernardi <bernardi@adacore.com>
|
||||
|
||||
* libgnat/s-rident.ads (Profile_Info): Use a common profile
|
||||
definition for Jorvik and GNAT Extended Ravenscar, using the
|
||||
GNAT Extended Ravenscar definition.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* Makefile.rtl (64-bit platforms): Add GNATRTL_128BIT_PAIRS to
|
||||
the LIBGNAT_TARGET_PAIRS list and also GNATRTL_128BIT_OBJS to
|
||||
the EXTRA_GNATRTL_NONTASKING_OBJS list.
|
||||
|
||||
2020-10-22 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* sem_prag.adb (Process_Convention,
|
||||
Process_Import_Or_Interface): Fix error message.
|
||||
|
||||
2020-10-22 Ghjuvan Lacambre <lacambre@adacore.com>
|
||||
|
||||
* sem_ch13.adb (Make_Aitem_Pragma): Turn into function. This
|
||||
removes a side-effect on the Aitem variable.
|
||||
(Analyze_Aspect_Specifications): Handle Suppress and Unsuppress
|
||||
aspects differently from the Linker_Section aspect.
|
||||
(Ceck_Aspect_At_Freeze_Point): Don't expect Suppress/Unsuppress
|
||||
to be delayed anymore.
|
||||
|
||||
2020-10-22 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_aggr.adb: (Resolve_Container_Aggregate): For an indexed
|
||||
container, verify that expressions and component associations
|
||||
are not both present.
|
||||
* exp_aggr.adb: Code reorganization, additional comments.
|
||||
(Expand_Container_Aggregate): Use Aggregate_Size for Iterated_
|
||||
Component_Associations for indexed aggregates. If present, the
|
||||
default value of the formal in the constructor function is used
|
||||
when the size of the aggregate cannot be determined statically.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_attr.adb (Eval_Attribute): Fix oversight for Bit_Position.
|
||||
|
||||
2020-10-22 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_util.ads, sem_util.adb (Check_Ambiguous_Aggregate): When a
|
||||
subprogram call is found to be ambiguous, check whether
|
||||
ambiguity is caused by an aggregate actual. and indicate that
|
||||
it should carry a type qualification.
|
||||
* sem_ch4.adb (Traverse_Hoonyms, Try_Primitive_Operation): Call
|
||||
it.
|
||||
* sem_res.adb (Report_Ambiguous_Argument): Call it.
|
||||
|
||||
2020-10-22 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Check_One_Unit): Avoid repeated calls by using a
|
||||
local variable Lunit; remove local constant Eitem, which was
|
||||
identical to Lunit.
|
||||
|
||||
2020-10-22 Alexandre Oliva <oliva@adacore.com>
|
||||
|
||||
* Makefile.rtl (LIBGNAT_TARGET_PAIRS) <x86*-vxworks*>: Select
|
||||
nolibm and wraplf variants like other vxworks ports.
|
||||
|
||||
2020-10-22 Martin Liska <mliska@suse.cz>
|
||||
|
||||
PR c/94722
|
||||
|
|
|
@ -1,3 +1,17 @@
|
|||
2020-10-22 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/97514
|
||||
* engine.cc (exploded_graph::add_function_entry): Handle failure
|
||||
to create an enode, rather than asserting.
|
||||
|
||||
2020-10-22 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/97489
|
||||
* engine.cc (exploded_graph::add_function_entry): Assert that we
|
||||
have a function body.
|
||||
(exploded_graph::on_escaped_function): Reject fndecls that don't
|
||||
have a function body.
|
||||
|
||||
2020-10-14 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/93388
|
||||
|
|
|
@ -1,3 +1,26 @@
|
|||
2020-10-22 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/97328
|
||||
* constexpr.c (init_subob_ctx): Don't punt on RANGE_EXPR
|
||||
indexes, instead build a sub-aggregate initialization context
|
||||
with no subobject.
|
||||
|
||||
2020-10-22 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/96575
|
||||
* constexpr.c (cxx_eval_constant_expression)
|
||||
<case EMPTY_CLASS_EXPR>: Lower it to a CONSTRUCTOR.
|
||||
(potential_constant_expression_1) <case COMPOUND_EXPR>: Remove
|
||||
now-redundant handling of COMPOUND_EXPR with EMPTY_CLASS_EXPR
|
||||
second operand.
|
||||
<case EMPTY_CLASS_EXPR>: Return true instead of false.
|
||||
|
||||
2020-10-22 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/97511
|
||||
* decl.c (duplicate_decls): Return NULL_TREE if
|
||||
DECL_TEMPLATE_PARM_P differ.
|
||||
|
||||
2020-10-20 Nathan Sidwell <nathan@acm.org>
|
||||
|
||||
* name-lookup.c (push_local_extern_decl_alias): Reconstextualize
|
||||
|
|
|
@ -1,3 +1,11 @@
|
|||
2020-10-22 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* gfortran.h (enum gfc_omp_memorder): Add.
|
||||
(gfc_omp_clauses): Use it.
|
||||
* openmp.c (gfc_match_omp_flush): Match memorder clauses.
|
||||
* trans-openmp.c (gfc_trans_omp_flush): Handle them.
|
||||
(gfc_trans_omp_directive): Update call.
|
||||
|
||||
2020-10-21 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR fortran/45516
|
||||
|
|
|
@ -1,3 +1,84 @@
|
|||
2020-10-22 Alan Modra <amodra@gmail.com>
|
||||
|
||||
* gcc.target/powerpc/vec-splati-runnable.c: Don't abort on
|
||||
undefined output.
|
||||
|
||||
2020-10-22 David Edelsohn <dje.gcc@gmail.com>
|
||||
|
||||
* gcc.target/powerpc/rlwimi-2.c: Adjust expected results for lp64.
|
||||
* gcc.target/powerpc/vec-rlmi-rlnm.c: Remove target and LP64.
|
||||
Adjust xxlor expected results.
|
||||
|
||||
2020-10-22 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* gfortran.dg/gomp/flush-1.f90: New test.
|
||||
* gfortran.dg/gomp/flush-2.f90: New test.
|
||||
|
||||
2020-10-22 Will Schmidt <will_schmidt@vnet.ibm.com>
|
||||
|
||||
* gcc.target/powerpc/vsx-load-element-extend-char.c: New test.
|
||||
* gcc.target/powerpc/vsx-load-element-extend-int.c: New test.
|
||||
* gcc.target/powerpc/vsx-load-element-extend-longlong.c: New test.
|
||||
* gcc.target/powerpc/vsx-load-element-extend-short.c: New test.
|
||||
* gcc.target/powerpc/vsx-store-element-truncate-char.c: New test.
|
||||
* gcc.target/powerpc/vsx-store-element-truncate-int.c: New test.
|
||||
* gcc.target/powerpc/vsx-store-element-truncate-longlong.c: New test.
|
||||
* gcc.target/powerpc/vsx-store-element-truncate-short.c: New test.
|
||||
|
||||
2020-10-22 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* ada/acats/run_all.sh: Define and substitute target_{max,min}_int.
|
||||
* ada/acats/support/macro.dfs: Parameterize {MAX,MIN}_INT.
|
||||
* gnat.dg/assert1.adb: Adjust conditionally to 128-bit integer types.
|
||||
* gnat.dg/size_clause1.adb: Do not expect a warning for LP64 targets.
|
||||
* gnat.dg/warn11.adb: Likewise.
|
||||
* gnat.dg/specs/rep_clause5.ads (Array_2_Type): Add alignment clause.
|
||||
|
||||
2020-10-22 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/97328
|
||||
* g++.dg/cpp2a/constexpr-init19.C: New test.
|
||||
* g++.dg/cpp2a/constexpr-init20.C: New test.
|
||||
|
||||
2020-10-22 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/96575
|
||||
* g++.dg/cpp1z/constexpr-96575.C: New test.
|
||||
|
||||
2020-10-22 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR c++/97511
|
||||
* g++.dg/template/shadow3.C: New test.
|
||||
|
||||
2020-10-22 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR middle-end/97521
|
||||
* gcc.target/i386/pr97521.c: New testcase.
|
||||
|
||||
2020-10-22 Andreas Krebbel <krebbel@linux.ibm.com>
|
||||
|
||||
* gcc.dg/pr97502.c: New test.
|
||||
|
||||
2020-10-22 Andreas Krebbel <krebbel@linux.ibm.com>
|
||||
|
||||
* gcc.dg/dfp/pr97439.c: New test.
|
||||
|
||||
2020-10-22 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/97514
|
||||
* gcc.dg/analyzer/pr97514.c: New test.
|
||||
|
||||
2020-10-22 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* g++.dg/analyzer/ctor-dtor-1.C: New test.
|
||||
* g++.dg/analyzer/dyncast-1.C: New test.
|
||||
* g++.dg/analyzer/vfunc-1.C: New test.
|
||||
|
||||
2020-10-22 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/97489
|
||||
* g++.dg/analyzer/pr97489.C: New test.
|
||||
|
||||
2020-10-22 Martin Liska <mliska@suse.cz>
|
||||
|
||||
PR c/94722
|
||||
|
|
|
@ -1,3 +1,54 @@
|
|||
2020-10-23 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/experimental/memory_resource: Include <tuple>.
|
||||
(polymorphic_allocator::construct): Qualify forward_as_tuple.
|
||||
* include/std/memory_resource: Likewise.
|
||||
|
||||
2020-10-22 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* testsuite/30_threads/condition_variable/members/68519.cc:
|
||||
Define recent_epoch_float_clock::duration to meet the Cpp17Clock
|
||||
requirements.
|
||||
|
||||
2020-10-22 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/std/shared_mutex: Only include <condition_variable>
|
||||
when pthread_rwlock_t and POSIX timers are not available.
|
||||
(__cpp_lib_shared_mutex, __cpp_lib_shared_timed_mutex): Change
|
||||
value to be type 'long'.
|
||||
* include/std/version (__cpp_lib_shared_mutex)
|
||||
(__cpp_lib_shared_timed_mutex): Likewise.
|
||||
|
||||
2020-10-22 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/Makefile.am: Add new header.
|
||||
* include/Makefile.in: Regenerate.
|
||||
* include/bits/shared_ptr.h: Include <iosfwd>.
|
||||
* include/bits/shared_ptr_base.h: Include required headers here
|
||||
directly, instead of in <memory>.
|
||||
* include/bits/uses_allocator_args.h: New file. Move utility
|
||||
functions for uses-allocator construction from <memory> to here.
|
||||
Only define the utility functions when concepts are available.
|
||||
(__cpp_lib_make_obj_using_allocator): Define non-standard
|
||||
feature test macro.
|
||||
* include/std/condition_variable: Remove unused headers.
|
||||
* include/std/future: Likewise.
|
||||
* include/std/memory: Remove headers that are not needed
|
||||
directly, and are now inclkuded where they're needed. Include
|
||||
new <bits/uses_allocator_args.h> header.
|
||||
* include/std/memory_resource: Include only the necessary
|
||||
headers. Use new feature test macro to detect support for the
|
||||
utility functions.
|
||||
* include/std/scoped_allocator: Likewise.
|
||||
* include/std/version (__cpp_lib_make_obj_using_allocator):
|
||||
Define.
|
||||
|
||||
2020-10-22 Olivier Hainque <hainque@adacore.com>
|
||||
|
||||
* crossconfig.m4: Turn vxworks matcher into vxworks*.
|
||||
* configure.host: Likewise.
|
||||
* configure: Regenerate.
|
||||
|
||||
2020-10-21 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/shared_ptr.h (shared_ptr(const weak_ptr&, nothrow_t)):
|
||||
|
|
Loading…
Reference in New Issue