Daily bump.
This commit is contained in:
parent
b376b1ef38
commit
688359a27d
|
@ -1,3 +1,8 @@
|
|||
2021-06-17 Aldy Hernandez <aldyh@redhat.com>
|
||||
|
||||
* MAINTAINERS (Various Maintainers): Add Andrew and myself
|
||||
as *vrp and ranger maintainers.
|
||||
|
||||
2021-06-05 Jeff Law <jeffreyalaw@gmail.com>
|
||||
|
||||
* MAINTAINERS: Adjust my entry in the DCO section so that it does
|
||||
|
|
|
@ -1,3 +1,8 @@
|
|||
2021-06-17 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* mklog.py: Add an initial component: [PRnnnnn] line when
|
||||
we have a PR.
|
||||
|
||||
2021-06-13 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* gcc-changelog/git_commit.py (pr_regex): Add ?P<pr> for group('pr').
|
||||
|
|
173
gcc/ChangeLog
173
gcc/ChangeLog
|
@ -1,3 +1,176 @@
|
|||
2021-06-17 Aaron Sawdey <acsawdey@linux.ibm.com>
|
||||
|
||||
* config/rs6000/genfusion.pl (gen_logical_addsubf): Add
|
||||
earlyclobber to alts 0/1.
|
||||
(gen_addadd): Add earlyclobber to alts 0/1.
|
||||
* config/rs6000/fusion.md: Regenerate file.
|
||||
|
||||
2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* cfgloopanal.c (get_loop_hot_path): Make path an auto_vec.
|
||||
|
||||
2021-06-17 Andrew MacLeod <amacleod@redhat.com>
|
||||
|
||||
* gimple-range-cache.cc: Comment cleanups.
|
||||
* gimple-range-gori.cc: Comment cleanups.
|
||||
* gimple-range.cc: Comment/spacing cleanups
|
||||
* value-range.h: Comment cleanups.
|
||||
|
||||
2021-06-17 H.J. Lu <hjl.tools@gmail.com>
|
||||
|
||||
PR target/100704
|
||||
* calls.c (expand_call): Replace PUSH_ARGS with
|
||||
targetm.calls.push_argument (0).
|
||||
(emit_library_call_value_1): Likewise.
|
||||
* defaults.h (PUSH_ARGS): Removed.
|
||||
(PUSH_ARGS_REVERSED): Replace PUSH_ARGS with
|
||||
targetm.calls.push_argument (0).
|
||||
* expr.c (block_move_libcall_safe_for_call_parm): Likewise.
|
||||
(emit_push_insn): Pass the number bytes to push to
|
||||
targetm.calls.push_argument and pass 0 if ARGS_ADDR is 0.
|
||||
* hooks.c (hook_bool_uint_true): New.
|
||||
* hooks.h (hook_bool_uint_true): Likewise.
|
||||
* rtlanal.c (nonzero_bits1): Replace PUSH_ARGS with
|
||||
targetm.calls.push_argument (0).
|
||||
* target.def (push_argument): Add a targetm.calls hook.
|
||||
* targhooks.c (default_push_argument): New.
|
||||
* targhooks.h (default_push_argument): Likewise.
|
||||
* config/bpf/bpf.h (PUSH_ARGS): Removed.
|
||||
* config/cr16/cr16.c (TARGET_PUSH_ARGUMENT): New.
|
||||
* config/cr16/cr16.h (PUSH_ARGS): Removed.
|
||||
* config/i386/i386.c (ix86_push_argument): New.
|
||||
(TARGET_PUSH_ARGUMENT): Likewise.
|
||||
* config/i386/i386.h (PUSH_ARGS): Removed.
|
||||
* config/m32c/m32c.c (TARGET_PUSH_ARGUMENT): New.
|
||||
* config/m32c/m32c.h (PUSH_ARGS): Removed.
|
||||
* config/nios2/nios2.h (PUSH_ARGS): Likewise.
|
||||
* config/pru/pru.h (PUSH_ARGS): Likewise.
|
||||
* doc/tm.texi.in: Remove PUSH_ARGS documentation. Add
|
||||
TARGET_PUSH_ARGUMENT hook.
|
||||
* doc/tm.texi: Regenerated.
|
||||
|
||||
2021-06-17 Uroš Bizjak <ubizjak@gmail.com>
|
||||
|
||||
PR target/97194
|
||||
* config/i386/i386-expand.c (expand_vector_set_var):
|
||||
Handle V2FS mode remapping. Pass TARGET_MMX_WITH_SSE to
|
||||
ix86_expand_vector_init_duplicate.
|
||||
(ix86_expand_vector_init_duplicate): Emit insv_1 for
|
||||
QImode for !TARGET_PARTIAL_REG_STALL.
|
||||
* config/i386/predicates.md (vec_setm_mmx_operand): New predicate.
|
||||
* config/i386/mmx.md (vec_setv2sf): Use vec_setm_mmx_operand
|
||||
as operand 2 predicate. Call ix86_expand_vector_set_var
|
||||
for non-constant index operand.
|
||||
(vec_setv2si): Ditto.
|
||||
(vec_setv4hi): Ditto.
|
||||
(vec_setv8qi): ditto.
|
||||
|
||||
2021-06-17 Aldy Hernandez <aldyh@redhat.com>
|
||||
|
||||
PR tree-optimization/100790
|
||||
* gimple-range.cc (range_of_builtin_call): Cleanup clz and ctz
|
||||
code.
|
||||
|
||||
2021-06-17 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* doc/invoke.texi: Use consistently -O1 instead of -O.
|
||||
|
||||
2021-06-17 Martin Liska <mliska@suse.cz>
|
||||
|
||||
* gcov-io.h: Update documentation entry about string format.
|
||||
|
||||
2021-06-17 Marius Hillenbrand <mhillen@linux.ibm.com>
|
||||
|
||||
PR target/100871
|
||||
* config/s390/vecintrin.h (vec_doublee): Fix to use
|
||||
__builtin_s390_vflls.
|
||||
(vec_floate): Fix to use __builtin_s390_vflrd.
|
||||
|
||||
2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* dominance.c (get_dominated_to_depth): Return auto_vec<basic_block>.
|
||||
* dominance.h (get_dominated_to_depth): Likewise.
|
||||
(get_all_dominated_blocks): Likewise.
|
||||
* cfgcleanup.c (delete_unreachable_blocks): Adjust.
|
||||
* gcse.c (hoist_code): Likewise.
|
||||
* tree-cfg.c (remove_edge_and_dominated_blocks): Likewise.
|
||||
* tree-parloops.c (oacc_entry_exit_ok): Likewise.
|
||||
* tree-ssa-dce.c (eliminate_unnecessary_stmts): Likewise.
|
||||
* tree-ssa-phiprop.c (pass_phiprop::execute): Likewise.
|
||||
|
||||
2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* dominance.c (get_dominated_by_region): Return auto_vec<basic_block>.
|
||||
* dominance.h (get_dominated_by_region): Likewise.
|
||||
* tree-cfg.c (gimple_duplicate_sese_region): Adjust.
|
||||
(gimple_duplicate_sese_tail): Likewise.
|
||||
(move_sese_region_to_fn): Likewise.
|
||||
|
||||
2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* dominance.c (get_dominated_by): Return auto_vec<basic_block>.
|
||||
* dominance.h (get_dominated_by): Likewise.
|
||||
* auto-profile.c (afdo_find_equiv_class): Adjust.
|
||||
* cfgloopmanip.c (duplicate_loop_to_header_edge): Likewise.
|
||||
* loop-unroll.c (unroll_loop_runtime_iterations): Likewise.
|
||||
* tree-cfg.c (test_linear_chain): Likewise.
|
||||
(test_diamond): Likewise.
|
||||
|
||||
2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* cfgloop.h (get_loop_hot_path): Return auto_vec<basic_block>.
|
||||
* cfgloopanal.c (get_loop_hot_path): Likewise.
|
||||
* tree-ssa-loop-ivcanon.c (tree_estimate_loop_size): Likewise.
|
||||
|
||||
2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* cgraph.c (cgraph_node::collect_callers): Return
|
||||
auto_vec<cgraph_edge *>.
|
||||
* cgraph.h (cgraph_node::collect_callers): Likewise.
|
||||
* ipa-cp.c (create_specialized_node): Adjust.
|
||||
(decide_about_value): Likewise.
|
||||
(decide_whether_version_node): Likewise.
|
||||
* ipa-sra.c (process_isra_node_results): Likewise.
|
||||
|
||||
2021-06-17 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* vec.h (vl_ptr>::using_auto_storage): Handle null m_vec.
|
||||
(auto_vec<T, 0>::auto_vec): Define move constructor, and delete copy
|
||||
constructor.
|
||||
(auto_vec<T, 0>::operator=): Define move assignment and delete copy
|
||||
assignment.
|
||||
|
||||
2021-06-17 Aldy Hernandez <aldyh@redhat.com>
|
||||
|
||||
* gimple-range.cc (debug_seed_ranger): New.
|
||||
(dump_ranger): New.
|
||||
(debug_ranger): New.
|
||||
|
||||
2021-06-17 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/54400
|
||||
* tree-vectorizer.h (enum slp_instance_kind): Add
|
||||
slp_inst_kind_bb_reduc.
|
||||
(reduction_fn_for_scalar_code): Declare.
|
||||
* tree-vect-data-refs.c (vect_slp_analyze_instance_dependence):
|
||||
Check SLP_INSTANCE_KIND instead of looking at the
|
||||
representative.
|
||||
(vect_slp_analyze_instance_alignment): Likewise.
|
||||
* tree-vect-loop.c (reduction_fn_for_scalar_code): Export.
|
||||
* tree-vect-slp.c (vect_slp_linearize_chain): Split out
|
||||
chain linearization from vect_build_slp_tree_2 and generalize
|
||||
for the use of BB reduction vectorization.
|
||||
(vect_build_slp_tree_2): Adjust accordingly.
|
||||
(vect_optimize_slp): Elide permutes at the root of BB reduction
|
||||
instances.
|
||||
(vectorizable_bb_reduc_epilogue): New function.
|
||||
(vect_slp_prune_covered_roots): Likewise.
|
||||
(vect_slp_analyze_operations): Use them.
|
||||
(vect_slp_check_for_constructors): Recognize associatable
|
||||
chains for BB reduction vectorization.
|
||||
(vectorize_slp_instance_root_stmt): Generate code for the
|
||||
BB reduction epilogue.
|
||||
|
||||
2021-06-17 Andrew MacLeod <amacleod@redhat.com>
|
||||
|
||||
* gimple-range-gori.cc (gori_compute::has_edge_range_p): Check with
|
||||
|
|
|
@ -1 +1 @@
|
|||
20210617
|
||||
20210618
|
||||
|
|
|
@ -1,3 +1,349 @@
|
|||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* sem_ch3.adb (Check_Ops_From_Incomplete_Type): Protect against
|
||||
no Primitive_Operations.
|
||||
|
||||
2021-06-17 Vadim Godunko <godunko@adacore.com>
|
||||
|
||||
* libgnat/a-strunb__shared.ads (Allocate): Additional parameter
|
||||
to provide additional amount of space to be allocated.
|
||||
* libgnat/a-strunb__shared.adb (Aligned_Max_Length): Limit
|
||||
length to Natural'Last when requested length is larger than it.
|
||||
(Allocate): Merge two slightly different implementations into
|
||||
one.
|
||||
|
||||
2021-06-17 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* checks.adb (Discrete_Range_Cond): For an index subtype that
|
||||
has a fixed lower bound, require that the range's lower bound
|
||||
match that of the subtype.
|
||||
(Selected_Range_Checks): Warn about the case where a static
|
||||
lower bound does not equal an index subtype's fixed lower bound.
|
||||
* einfo.ads (Is_Fixed_Lower_Bound_Array_Subtype,
|
||||
Is_Fixed_Lower_Bound_Index_Subtype): Document new entity flag.
|
||||
* exp_ch4.adb (Expand_N_Type_Conversion): If the operand is of
|
||||
an unconstrained array subtype with fixed lower bound, then
|
||||
Expand_Sliding_Conversion is applied to the operand.
|
||||
* exp_ch6.adb (Expand_Simple_Function_Return): If the result
|
||||
subtype is an unconstrained array subtype with fixed lower
|
||||
bound, then Expand_Sliding_Conversion is applied to the return
|
||||
object.
|
||||
* exp_util.ads (Expand_Sliding_Conversion): New procedure for
|
||||
applying a sliding subtype conversion to an array object of a
|
||||
fixed-lower-bound subtype when needed.
|
||||
* exp_util.adb: Add with_clause for Freeze.
|
||||
(Expand_Sliding_Conversion): New procedure for applying a
|
||||
sliding subtype conversion to an array object of a
|
||||
fixed-lower-bound subtype when needed. It traverses the indexes
|
||||
of the unconstrained array type/subtype to create a target
|
||||
constrained subtype and rewrites the array object to be a
|
||||
conversion to that subtype, when there's at least one index
|
||||
whose lower bound does not statically match the fixed-lower
|
||||
bound of the target subtype.
|
||||
* gen_il-fields.ads (type Opt_Field_Enum): Add literals
|
||||
Is_Fixed_Lower_Bound_Array_Subtype and
|
||||
Is_Fixed_Lower_Bound_Index_Subtype for new flags on type
|
||||
entities.
|
||||
* gen_il-gen-gen_entities.adb: Add calls to
|
||||
Create_Semantic_Field for the new fixed-lower-bound flags on
|
||||
type entities.
|
||||
* par-ch3.adb (P_Array_Type_Definition): Add handling for
|
||||
parsing of fixed-lower-bound index ranges in unconstrained array
|
||||
types. Report an error if such an index is encountered and GNAT
|
||||
language extensions are not enabled.
|
||||
(P_Index_Subtype_Def_With_Fixed_Lower_Bound): Support procedure
|
||||
for parsing unconstrained index ranges.
|
||||
(P_Index_Or_Discriminant_Constraint): Add handling for parsing
|
||||
of index constraints that specify ranges with fixed lower
|
||||
bounds. Report an error if such an index is encountered and GNAT
|
||||
language extensions are not enabled.
|
||||
* sem_ch3.adb (Analyze_Object_Declaration): If the object's
|
||||
nominal subtype is an array subtype with fixed lower bound, then
|
||||
Expand_Sliding_Conversion is applied to the object.
|
||||
(Array_Type_Declaration): Mark the array type and the subtypes
|
||||
of any indexes that specify a fixed lower bound as being
|
||||
fixed-lower-bound subtypes, and set the High_bound of the range
|
||||
of such an index to the upper bound of the named subtype.
|
||||
(Constrain_Array): For an array subtype with one or more index
|
||||
ranges specifying a fixed lower bound, set Is_Constrained to
|
||||
False and set the array subtype's
|
||||
Is_Fixed_Lower_Bound_Array_Subtype flag to True.
|
||||
(Constrain_Index): Mark the subtypes of an index that specifies
|
||||
a fixed lower bound as being a fixed-lower-bound index subtype,
|
||||
and set the High_bound of the range of such an index to the
|
||||
upper bound of the base type of the array type's corresponding
|
||||
index.
|
||||
* sem_res.adb (Resolve_Actuals): If a formal is of an
|
||||
unconstrained array subtype with fixed lower bound, then
|
||||
Expand_Sliding_Conversion is applied to the actual.
|
||||
* sem_util.adb (Build_Actual_Subtype): If the actual subtype
|
||||
corresponds to an unconstrained array subtype having any indexes
|
||||
with fixed lower bounds, then set the lower bounds of any such
|
||||
indexes of the actual subtype to the appropriate fixed lower
|
||||
bound of the formal subtype (rather than taking it from the
|
||||
formal itself).
|
||||
* sprint.adb (Sprint_Node_Actual, case N_Range): If a range's
|
||||
Etype has a fixed lower bound, then print "<>" rather than the
|
||||
High_Bound of the range.
|
||||
|
||||
2021-06-17 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem_util.adb, sem_util.ads (Has_Access_Values): New formal
|
||||
Include_Internal to indicate whether internal types should be
|
||||
included.
|
||||
* sem_warn.adb (Check_References): Change E_Out_Parameter to
|
||||
Formal_Kind, to match the comment about Spec_Entity. Pass
|
||||
Include_Internal => False to Has_Access_Values, so that we warn
|
||||
on types with access values that happen to be in internal types,
|
||||
such as Unbounded_String.
|
||||
* sem_attr.adb (Attribute_Has_Access_Values): Pass
|
||||
Include_Internal => True to Has_Access_Values, to preserve
|
||||
existing behavior.
|
||||
* libgnat/g-rewdat.adb (Do_Output): Change B from 'in out' to
|
||||
'in', to avoid warning enabled by the change to sem_warn.adb.
|
||||
* libgnat/s-objrea.adb (Check_Read_Offset): Change S from 'in
|
||||
out' to 'in', to avoid warning enabled by the change to
|
||||
sem_warn.adb.
|
||||
|
||||
2021-06-17 Steve Baird <baird@adacore.com>
|
||||
|
||||
* exp_ch5.adb
|
||||
(Expand_N_Case_Statement.Expand_General_Case_Statement): New
|
||||
subprogram.
|
||||
(Expand_N_Case_Statement): If extensions are allowed and the
|
||||
case selector is not of a discrete type, then call
|
||||
Expand_General_Case_Statement to generate expansion instead of
|
||||
flagging the non-discrete selector as an error.
|
||||
* sem_case.ads (Is_Case_Choice_Pattern): New Boolean-valued
|
||||
function for testing whether a given expression occurs as part
|
||||
of a case choice pattern.
|
||||
* sem_case.adb (Composite_Case_Ops): New package providing
|
||||
support routines for the new form of case statements. This
|
||||
includes a nested package, Composite_Case_Ops.Value_Sets, which
|
||||
encapsulates the "representative values" implementation of
|
||||
composite value sets.
|
||||
(Check_Choices.Check_Case_Pattern_Choices): New procedure for
|
||||
semantic checking of non-discrete case choices. This includes
|
||||
the checks pertaining to coverage and overlapping.
|
||||
(Check_Choices.Check_Composite_Case_Selector): New procedure for
|
||||
semantic checking of non-discrete case selectors.
|
||||
(Check_Choices): If extensions are allowed then a non-discrete
|
||||
selector type no longer implies that an error must have been
|
||||
flagged earlier. Instead of simply returning, call
|
||||
Check_Composite_Case_Selector and Check_Case_Pattern_Choices.
|
||||
(Is_Case_Choice_Pattern): Body of new function declared in
|
||||
sem_case.ads .
|
||||
* sem_ch5.adb (Analyze_Case_Statement): If extensions are
|
||||
allowed, then we can't use RM 5.4's "The selecting_expression is
|
||||
expected to be of any discrete type" name resolution rule.
|
||||
Handle the case where the type of the selecting expression is
|
||||
not discrete, as well as the new ambiguous-name-resolution error
|
||||
cases made possible by this change.
|
||||
* sem_res.adb (Resolve_Entity_Name): It is ok to treat the name
|
||||
of a type or subtype as an expression if it is part of a case
|
||||
choice pattern, as in "(Field1 => Positive, Field2 => <>)".
|
||||
* exp_aggr.adb (Expand_Record_Aggregate): Do not expand case
|
||||
choice aggregates.
|
||||
* gen_il-fields.ads: Define two new node attributes,
|
||||
Binding_Chars and Multidefined_Bindings.
|
||||
* gen_il-gen-gen_nodes.adb: The new Multidefined_Bindings
|
||||
attribute is Boolean-valued and may be set on
|
||||
N_Case_Statement_Alternative nodes. The new Binding_Chars
|
||||
attribute is Name_Id-valued and may be set on
|
||||
N_Component_Association nodes.
|
||||
* par-ch4.adb (P_Record_Or_Array_Component_Association): When
|
||||
parsing a component association, check for both new syntax forms
|
||||
used to specify a bound value in a case-choice aggregate. In
|
||||
the case of a box value, an identifier may occur within the box,
|
||||
as in "Foo => <Abc>" instead of "Foo => <>". In the more general
|
||||
case, an expression (or a box) may be followed by "is
|
||||
<identifier>", as in
|
||||
"Foo => Bar is Abc" instead of just "Foo => Bar".
|
||||
* sem_aggr.adb (Resolve_Record_Aggregate): Do not transform box
|
||||
component values in a case-choice aggregate.
|
||||
* sinfo.ads: Provide comments for the new attributes added in
|
||||
gen_il-fields.ads.
|
||||
* doc/gnat_rm/implementation_defined_pragmas.rst: Describe this
|
||||
new feature in documentation for pragma Extensions_Allowed.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* exp_ch4.adb (Expand_N_Expression_With_Actions.Process_Action):
|
||||
Do not abandon processing on a nested N_Expression_With_Actions
|
||||
or N_Loop_Statement, otherwise we may miss some transient
|
||||
declarations.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* exp_util.adb (Find_Hook_Context): Do not stop on an aggregate
|
||||
node.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Valid_Renaming): Check not only indexed
|
||||
components, but slices too.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_ch3.adb (Analyze_Private_Extension_Declaration): Check
|
||||
No_Wide_Characters restriction after rejecting illegal parent
|
||||
types.
|
||||
(Derived_Type_Declaration): Likewise.
|
||||
(Find_Type_Of_Subtype_Indic): Remove check for
|
||||
No_Wide_Characters restriction, which was done too early.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Valid_Renaming): Body moved from its nested
|
||||
routine.
|
||||
|
||||
2021-06-17 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_ch12.adb (Instantiate_Type): If the actual type for an
|
||||
incomplete formal type is also incomplete, but has a Full_View,
|
||||
use the Full_View of the actual type rather than the incomplete
|
||||
view.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* doc/gnat_ugn/building_executable_programs_with_gnat.rst
|
||||
(-gnatw.I): Remove double period at the end of sentence.
|
||||
* gnat_ugn.texi: Regenerate.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Denotes_Same_Object): Call Get_Index_Bounds with
|
||||
the range of a slice object, not its type.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Warn_On_Overlapping_Actuals): Fix style;
|
||||
refactor repeated calls to Nkind; remove early RETURN.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Warn_On_Overlapping_Actuals): Ignore formal of
|
||||
generic types, but keep examining other parameters.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Warn_On_Overlapping_Actuals): Remove dead code.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_warn.adb (Warn_On_Overlapping_Actuals): Remove repeated
|
||||
code.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* checks.adb (Overlap_Check): Replace Set_Casing with
|
||||
Adjust_Name_Case and adapt surrounding code as needed.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/s-putaim.ads, libgnat/s-putaim.adb: Move...
|
||||
* libgnarl/s-putaim.ads, libgnarl/s-putaim.adb: ... here.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* uintp.ads, uintp.adb (UI_To_Unsigned_64): New.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_prag.adb (Get_Overflow_Mode): Reword error message.
|
||||
* switch-c.adb (Get_Overflow_Mode): Likewise.
|
||||
|
||||
2021-06-17 Richard Kenner <kenner@adacore.com>
|
||||
|
||||
* exp_util.adb (Expand_Static_Predicates_In_Choices): Handle
|
||||
Others_Discrete_Choices in N_Others_Choice.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* atree.adb: Remove redundant comment with spec.
|
||||
* sem_warn.adb: Fix typo in comment.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* atree.adb: Do not suppress checks.
|
||||
|
||||
2021-06-17 Justin Squirek <squirek@adacore.com>
|
||||
|
||||
* exp_ch3.adb (Check_Missing_Others): Add comment.
|
||||
(Build_Initialization_Call): Remove inaccurate accessibility
|
||||
comment.
|
||||
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Remove
|
||||
test for Ada2012.
|
||||
(Analyze_Package_Instantiation): Remove speculative comment.
|
||||
(Inline_Instance_Body): Add comments for loops.
|
||||
(Build_Subprogram_Renaming): Remove comment about fix being
|
||||
partial and "ugly."
|
||||
(Instantiate_Subprogram_Body): Remove comment referencing DEC
|
||||
related internal issue.
|
||||
(Subtypes_Match): Add comment and simplify anonymous access
|
||||
test.
|
||||
(Is_Global): Add test for when E is an expanded name, and
|
||||
calculate the scope accordingly.
|
||||
* sem_ch6.adb (Analyze_Function_Return): Update comment
|
||||
regarding accessibility, and add check for
|
||||
Warn_On_Ada_2012_Compatibility.
|
||||
(Mask_Type_Refs): Add comments.
|
||||
(Analyze_Subprogram_Declaration): Remove mysterious suppression
|
||||
of elaboration checks.
|
||||
* sem_ch7.adb (Preserve_Full_Attributes): Preserve Is_Atomic
|
||||
value.
|
||||
* sem_ch8.adb (Most_Descendant_Use_Clause): Remove comment.
|
||||
(Note_Redundant_Use): Fix calls to Find_First_Use to be
|
||||
Find_Most_Prev.
|
||||
(Get_Object_Name): Modify error message to be more descriptive.
|
||||
(Known_But_Visible): Remove mysterious special case for
|
||||
GNAT_Mode.
|
||||
(Find_First_Use): Removed.
|
||||
(Find_Most_Prev): Renamed from Find_First_Use.
|
||||
* sem_prag.adb (Check_Static_Constraint): Add comments to
|
||||
routine.
|
||||
|
||||
2021-06-17 Bob Duff <duff@adacore.com>
|
||||
|
||||
* treepr.adb (Print_Node): Display the Entity or Associated_Node
|
||||
fields if appropriate.
|
||||
* sinfo-utils.ads (F_Associated_Node, F_Entity): Remove. These
|
||||
are no longer needed.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* checks.adb (Apply_Parameter_Aliasing_Checks): Replace calls to
|
||||
Is_Object_Reference with calls to Is_Name_Reference; remove
|
||||
asymmetric condition that only detected an aggregate as the
|
||||
first actual (aggregate objects were just a special case of an
|
||||
object reference that was not a name).
|
||||
|
||||
2021-06-17 Bob Duff <duff@adacore.com>
|
||||
|
||||
* gen_il-gen.adb, gen_il-internals.ads: Generate field
|
||||
enumeration literals with "F_" prefix. Update all generated
|
||||
references accordingly.
|
||||
* atree.adb, einfo-utils.adb, sem_ch3.adb, sem_ch5.adb,
|
||||
sem_ch6.adb, sem_ch8.adb, sinfo-cn.adb, sinfo-utils.adb,
|
||||
sinfo-utils.ads, treepr.adb: Add "F_" prefix to all uses of the
|
||||
field enumeration literals.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* libgnat/i-c.ads, libgnat/i-cexten.ads,
|
||||
libgnat/i-cexten__128.ads: bool renamed C_bool.
|
||||
|
||||
2021-06-17 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_ch4.adb (Analyze_Allocator): Reject allocators in
|
||||
restricted contexts.
|
||||
|
||||
2021-06-17 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* gcc-interface/Make-lang.in: Use libgnat.so if libgnat.a cannot
|
||||
be found.
|
||||
|
||||
2021-06-16 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Volatile_Function): Follow the exact wording
|
||||
|
|
|
@ -1,3 +1,14 @@
|
|||
2021-06-17 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/101106
|
||||
* decl.c (duplicate_decls): Make 'deleted after first declaration'
|
||||
pedwarn on by default.
|
||||
|
||||
2021-06-17 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/101029
|
||||
* init.c (build_vec_init): Preserve the type of base.
|
||||
|
||||
2021-06-16 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/101078
|
||||
|
|
|
@ -1,3 +1,35 @@
|
|||
2021-06-17 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/101106
|
||||
* g++.dg/cpp0x/deleted15.C: New test.
|
||||
|
||||
2021-06-17 H.J. Lu <hjl.tools@gmail.com>
|
||||
|
||||
PR target/100704
|
||||
* gcc.target/i386/pr100704-1.c: New test.
|
||||
* gcc.target/i386/pr100704-2.c: Likewise.
|
||||
* gcc.target/i386/pr100704-3.c: Likewise.
|
||||
|
||||
2021-06-17 Uroš Bizjak <ubizjak@gmail.com>
|
||||
|
||||
PR target/97194
|
||||
* gcc.target/i386/sse4_1-vec-set-1.c: New test.
|
||||
* gcc.target/i386/sse4_1-vec-set-2.c: ditto.
|
||||
|
||||
2021-06-17 Aldy Hernandez <aldyh@redhat.com>
|
||||
|
||||
* gcc.dg/pr100790.c: New test.
|
||||
|
||||
2021-06-17 Marius Hillenbrand <mhillen@linux.ibm.com>
|
||||
|
||||
* gcc.target/s390/zvector/vec-doublee.c: New test.
|
||||
* gcc.target/s390/zvector/vec-floate.c: New test.
|
||||
|
||||
2021-06-17 Richard Biener <rguenther@suse.de>
|
||||
|
||||
PR tree-optimization/54400
|
||||
* gcc.dg/vect/bb-slp-pr54400.c: New testcase.
|
||||
|
||||
2021-06-16 Jason Merrill <jason@redhat.com>
|
||||
|
||||
PR c++/101078
|
||||
|
|
|
@ -1,3 +1,92 @@
|
|||
2021-06-17 Chung-Lin Tang <cltang@codesourcery.com>
|
||||
|
||||
* hashtab.h (htab_clear): New function with initialization code
|
||||
factored out from...
|
||||
(htab_create): ...here, adjust to use htab_clear function.
|
||||
* libgomp.h (REFCOUNT_SPECIAL): New symbol to denote range of
|
||||
special refcount values, add comments.
|
||||
(REFCOUNT_INFINITY): Adjust definition to use REFCOUNT_SPECIAL.
|
||||
(REFCOUNT_LINK): Likewise.
|
||||
(REFCOUNT_STRUCTELEM): New special refcount range for structure
|
||||
element siblings.
|
||||
(REFCOUNT_STRUCTELEM_P): Macro for testing for structure element
|
||||
sibling maps.
|
||||
(REFCOUNT_STRUCTELEM_FLAG_FIRST): Flag to indicate first sibling.
|
||||
(REFCOUNT_STRUCTELEM_FLAG_LAST): Flag to indicate last sibling.
|
||||
(REFCOUNT_STRUCTELEM_FIRST_P): Macro to test _FIRST flag.
|
||||
(REFCOUNT_STRUCTELEM_LAST_P): Macro to test _LAST flag.
|
||||
(struct splay_tree_key_s): Add structelem_refcount and
|
||||
structelem_refcount_ptr fields into a union with dynamic_refcount.
|
||||
Add comments.
|
||||
(gomp_map_vars): Delete declaration.
|
||||
(gomp_map_vars_async): Likewise.
|
||||
(gomp_unmap_vars): Likewise.
|
||||
(gomp_unmap_vars_async): Likewise.
|
||||
(goacc_map_vars): New declaration.
|
||||
(goacc_unmap_vars): Likewise.
|
||||
* oacc-mem.c (acc_map_data): Adjust to use goacc_map_vars.
|
||||
(goacc_enter_datum): Likewise.
|
||||
(goacc_enter_data_internal): Likewise.
|
||||
* oacc-parallel.c (GOACC_parallel_keyed): Adjust to use goacc_map_vars
|
||||
and goacc_unmap_vars.
|
||||
(GOACC_data_start): Adjust to use goacc_map_vars.
|
||||
(GOACC_data_end): Adjust to use goacc_unmap_vars.
|
||||
* target.c (hash_entry_type): New typedef.
|
||||
(htab_alloc): New function hook for hashtab.h.
|
||||
(htab_free): Likewise.
|
||||
(htab_hash): Likewise.
|
||||
(htab_eq): Likewise.
|
||||
(hashtab.h): Add file include.
|
||||
(gomp_increment_refcount): New function.
|
||||
(gomp_decrement_refcount): Likewise.
|
||||
(gomp_map_vars_existing): Add refcount_set parameter, adjust to use
|
||||
gomp_increment_refcount.
|
||||
(gomp_map_fields_existing): Add refcount_set parameter, adjust calls
|
||||
to gomp_map_vars_existing.
|
||||
(gomp_map_vars_internal): Add refcount_set parameter, add local openmp_p
|
||||
variable to guard OpenMP specific paths, adjust calls to
|
||||
gomp_map_vars_existing, add structure element sibling splay_tree_key
|
||||
sequence creation code, adjust Fortran map case to avoid increment
|
||||
under OpenMP.
|
||||
(gomp_map_vars): Adjust to static, add refcount_set parameter, manage
|
||||
local refcount_set if caller passed in NULL, adjust call to
|
||||
gomp_map_vars_internal.
|
||||
(gomp_map_vars_async): Adjust and rename into...
|
||||
(goacc_map_vars): ...this new function, adjust call to
|
||||
gomp_map_vars_internal.
|
||||
(gomp_remove_splay_tree_key): New function with code factored out from
|
||||
gomp_remove_var_internal.
|
||||
(gomp_remove_var_internal): Add code to handle removing multiple
|
||||
splay_tree_key sequence for structure elements, adjust code to use
|
||||
gomp_remove_splay_tree_key for splay-tree key removal.
|
||||
(gomp_unmap_vars_internal): Add refcount_set parameter, adjust to use
|
||||
gomp_decrement_refcount.
|
||||
(gomp_unmap_vars): Adjust to static, add refcount_set parameter, manage
|
||||
local refcount_set if caller passed in NULL, adjust call to
|
||||
gomp_unmap_vars_internal.
|
||||
(gomp_unmap_vars_async): Adjust and rename into...
|
||||
(goacc_unmap_vars): ...this new function, adjust call to
|
||||
gomp_unmap_vars_internal.
|
||||
(GOMP_target): Manage refcount_set and adjust calls to gomp_map_vars and
|
||||
gomp_unmap_vars.
|
||||
(GOMP_target_ext): Likewise.
|
||||
(gomp_target_data_fallback): Adjust call to gomp_map_vars.
|
||||
(GOMP_target_data): Likewise.
|
||||
(GOMP_target_data_ext): Likewise.
|
||||
(GOMP_target_end_data): Adjust call to gomp_unmap_vars.
|
||||
(gomp_exit_data): Add refcount_set parameter, adjust to use
|
||||
gomp_decrement_refcount, adjust to queue splay-tree keys for removal
|
||||
after main loop.
|
||||
(GOMP_target_enter_exit_data): Manage refcount_set and adjust calls to
|
||||
gomp_map_vars and gomp_exit_data.
|
||||
(gomp_target_task_fn): Likewise.
|
||||
* testsuite/libgomp.c-c++-common/refcount-1.c: New testcase.
|
||||
* testsuite/libgomp.c-c++-common/struct-elem-1.c: New testcase.
|
||||
* testsuite/libgomp.c-c++-common/struct-elem-2.c: New testcase.
|
||||
* testsuite/libgomp.c-c++-common/struct-elem-3.c: New testcase.
|
||||
* testsuite/libgomp.c-c++-common/struct-elem-4.c: New testcase.
|
||||
* testsuite/libgomp.c-c++-common/struct-elem-5.c: New testcase.
|
||||
|
||||
2021-06-15 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR fortran/92568
|
||||
|
|
|
@ -1,3 +1,8 @@
|
|||
2021-06-17 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR libstdc++/91488
|
||||
* testsuite/libitm.c++/libstdc++-pr91488.C: New test.
|
||||
|
||||
2021-01-15 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR target/70454
|
||||
|
|
|
@ -1,3 +1,42 @@
|
|||
2021-06-17 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR libstdc++/91488
|
||||
* include/bits/basic_string.h (__cpp_lib_constexpr_string): Only
|
||||
define when is_constant_evaluated is available.
|
||||
* include/bits/char_traits.h (__cpp_lib_constexpr_char_traits):
|
||||
Likewise.
|
||||
(__constant_string_p, __constant_array_p): Remove.
|
||||
(char_traits): Use is_constant_evaluated directly.
|
||||
* include/std/version (__cpp_lib_constexpr_char_traits)
|
||||
(__cpp_lib_constexpr_string): Only define when
|
||||
is_constant_evaluated is available.
|
||||
|
||||
2021-06-17 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR libstdc++/100940
|
||||
* include/std/ranges (__adaptor::_Partial): For the "simple"
|
||||
forwarding partial specializations, also require that
|
||||
the extra arguments are trivially copyable.
|
||||
* testsuite/std/ranges/adaptors/100577.cc (test04): New test.
|
||||
|
||||
2021-06-17 Patrick Palka <ppalka@redhat.com>
|
||||
|
||||
PR libstdc++/100940
|
||||
* include/std/ranges (__adaptor::_RangeAdaptor): Document the
|
||||
template form of _S_has_simple_extra_args.
|
||||
(__adaptor::__adaptor_has_simple_extra_args): Add _Args template
|
||||
parameter pack. Try to treat _S_has_simple_extra_args as a
|
||||
variable template parameterized by _Args.
|
||||
(__adaptor::_Partial): Pass _Arg/_Args to the constraint
|
||||
__adaptor_has_simple_extra_args.
|
||||
(views::_Take::_S_has_simple_extra_args): Templatize according
|
||||
to the type of the extra argument.
|
||||
(views::_Drop::_S_has_simple_extra_args): Likewise.
|
||||
(views::_Split::_S_has_simple_extra_args): Define.
|
||||
* testsuite/std/ranges/adaptors/100577.cc (test01, test02):
|
||||
Adjust after changes to _S_has_simple_extra_args mechanism.
|
||||
(test03): Define.
|
||||
|
||||
2021-06-16 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/iterator_concepts.h (__decay_copy): Name type.
|
||||
|
|
Loading…
Reference in New Issue