Daily bump.
This commit is contained in:
GCC Administrator
parent
ec3fafa9ec
commit
ede6c3568f
11 changed files with 562 additions and 1 deletions
|
|
@ -1,3 +1,71 @@
|
|||
2021-06-15 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR middle-end/100876
|
||||
* builtins.c: (gimple_call_return_array): Account for size_t
|
||||
mangling as either unsigned int or unsigned long
|
||||
|
||||
2021-06-15 Jeff Law <jeffreyalaw@gmail.com>
|
||||
|
||||
* compare-elim.c (try_eliminate_compare): Run DCE to clean things
|
||||
up before eliminating comparisons.
|
||||
|
||||
2021-06-15 Aldy Hernandez <aldyh@redhat.com>
|
||||
|
||||
* range-op.cc (operator_bitwise_or::wi_fold): Make sure
|
||||
nonzero|X is nonzero.
|
||||
(range_op_bitwise_and_tests): Add tests for above.
|
||||
|
||||
2021-06-15 Carl Love <cel@us.ibm.com>
|
||||
|
||||
PR target/101022
|
||||
* config/rs6000/rs6000-builtin.def (VCMPEQUT): Fix the ICODE for the
|
||||
enum definition.
|
||||
(VRLQ, VSLQ, VSRQ, VSRAQ): Remove unused BU_P10_OVERLOAD_2
|
||||
definitions.
|
||||
|
||||
2021-06-15 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR fortran/92568
|
||||
* gimplify.c (enum gimplify_defaultmap_kind): Add GDMK_SCALAR_TARGET.
|
||||
(struct gimplify_omp_ctx): Extend defaultmap array by one.
|
||||
(new_omp_context): Init defaultmap[GDMK_SCALAR_TARGET].
|
||||
(omp_notice_variable): Update type classification for Fortran.
|
||||
(gimplify_scan_omp_clauses): Update calls for new argument; handle
|
||||
GDMK_SCALAR_TARGET; for Fortran, GDMK_POINTER avoid GOVD_MAP_0LEN_ARRAY.
|
||||
* langhooks-def.h (lhd_omp_scalar_p): Add 'ptr_ok' argument.
|
||||
* langhooks.c (lhd_omp_scalar_p): Likewise.
|
||||
(LANG_HOOKS_OMP_ALLOCATABLE_P, LANG_HOOKS_OMP_SCALAR_TARGET_P): New.
|
||||
(LANG_HOOKS_DECLS): Add them.
|
||||
* langhooks.h (struct lang_hooks_for_decls): Add new hooks, update
|
||||
omp_scalar_p pointer type to include the new bool argument.
|
||||
|
||||
2021-06-15 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* doc/analyzer.texi
|
||||
(Special Functions for Debugging the Analyzer): Add
|
||||
__analyzer_dump_capacity.
|
||||
|
||||
2021-06-15 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR target/101046
|
||||
* expr.c (expand_expr_real_2) <case VEC_PACK_FIX_TRUNC_EXPR,
|
||||
case VEC_PACK_TRUNC_EXPR>: Clear subtarget when changing mode.
|
||||
|
||||
2021-06-15 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* cfgloopanal.c (mark_irreducible_loops): Use a dominance
|
||||
check to identify loop latches.
|
||||
* cfgloop.c (verify_loop_structure): Likewise.
|
||||
* loop-init.c (apply_loop_flags): Allow marked irreducible
|
||||
regions even with multiple latches.
|
||||
* predict.c (rebuild_frequencies): Simplify.
|
||||
|
||||
2021-06-15 Richard Biener <rguenther@suse.de>
|
||||
|
||||
* tree-ssa-threadupdate.c
|
||||
(jump_thread_path_registry::mark_threaded_blocks): Assert we
|
||||
have marked irreducible regions.
|
||||
|
||||
2021-06-14 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR c++/100876
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
20210615
|
||||
20210616
|
||||
|
|
|
|||
|
|
@ -1,3 +1,279 @@
|
|||
2021-06-15 Steve Baird <baird@adacore.com>
|
||||
|
||||
* exp_util.adb (Kill_Dead_Code): Generalize the existing
|
||||
handling of if statements to handle case statements similarly.
|
||||
|
||||
2021-06-15 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* raise.h (_gnat_builtin_longjmp): Delete.
|
||||
(set_gnat_exit_status): Likewise.
|
||||
|
||||
2021-06-15 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_util.adb (Possible_Side_Effect_In_SPARK): Handle component
|
||||
declaration just like full type and subtype declarations.
|
||||
|
||||
2021-06-15 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* errout.adb (First_And_Last_Node): Also apply to arbitrary late
|
||||
declarations, not only subprogram specs.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem_ch3.adb (Make_Class_Wide_Type): Make sure all the calls to
|
||||
Reinit_Field_To_Zero are for the correct Ekinds.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* aspects.ads (No_Task_Parts): New aspect.
|
||||
* snames.ads-tmpl: Add the aspect name.
|
||||
* exp_ch6.adb (Might_Have_Tasks): Return False if this is a
|
||||
class-wide type whose specific type has No_Task_Parts.
|
||||
* freeze.adb (Check_No_Parts_Violations): This is an adaptation
|
||||
of the procedure formerly known as
|
||||
Check_No_Controlled_Parts_Violations, which now supports both
|
||||
No_Controlled_Parts and No_Task_Parts. It takes a parameter
|
||||
indicating which aspect is being checked.
|
||||
(Freeze_Entity): Call Check_No_Parts_Violations for both
|
||||
aspects.
|
||||
* sem_ch13.adb (Analyze_Aspect_Specifications): The code for
|
||||
Aspect_No_Controlled_Parts already works as is with
|
||||
Aspect_No_Task_Parts.
|
||||
* libgnat/a-iteint.ads: Add No_Task_Parts aspect to the two
|
||||
iterator iterfaces.
|
||||
* doc/gnat_rm/implementation_defined_aspects.rst: Add
|
||||
documentation for the No_Task_Parts aspect.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2021-06-15 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* exp_unst.adb (Unnest_Subprogram.Build_Table.Visit_Node): Fix
|
||||
handling of scopes for subprogram calls.
|
||||
|
||||
2021-06-15 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_prag.adb: Fix typos in comments related to access types.
|
||||
* sem_util.adb (Is_Access_Variable): Stronger condition.
|
||||
|
||||
2021-06-15 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* Make-generated.in: Add rule to copy runtime files needed
|
||||
during stage1.
|
||||
* raise.c: Remove obsolete symbols used during bootstrap.
|
||||
* gcc-interface/Make-lang.in: Do not use libgnat sources during
|
||||
stage1.
|
||||
(GNAT_ADA_OBJS, GNATBIND_OBJS): Split in two parts, the common
|
||||
part and the part only used outside of stage1.
|
||||
(ADA_GENERATED_FILES): Add runtime files needed during bootstrap
|
||||
when recent APIs are needed.
|
||||
(ada/b_gnatb.adb): Remove prerequisite.
|
||||
* gcc-interface/system.ads: Remove obsolete entries.
|
||||
|
||||
2021-06-15 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* raise-gcc.c (__gnat_personality_seh0): Use PERSONALITY_FUNCTION.
|
||||
|
||||
2021-06-15 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_util.adb (Is_Confirming): Separate the handling of
|
||||
Implicit_Dereference, for which no pragma is generated but which
|
||||
is already checked for legality in Sem_Ch13, including renamed
|
||||
discriminants in a derived type.
|
||||
(Is_Confirming, Same_Name): For expanded names, only check
|
||||
matching of selector, because prefix may correspond to original
|
||||
and derived types with different names and/or scopes. Semantic
|
||||
checks on aspect expression have already verified its legality.
|
||||
Add comments regarding possible gaps in RM description of the
|
||||
feature.
|
||||
|
||||
2021-06-15 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* freeze.adb (Freeze_Subprogram): Don't propagate conventions
|
||||
Intrinsic or Entry to anonymous access-to-subprogram types
|
||||
associated with subprograms having those conventions. Update
|
||||
related comment.
|
||||
* sem_attr.adb (Resolve_Attribute, Attribute_*Access): Remove
|
||||
special-case warning code for cases where a called subprogram
|
||||
has convention Intrinsic as well as its formal's type (the
|
||||
expected type for the Access attribute), since this case can no
|
||||
longer occur.
|
||||
|
||||
2021-06-15 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* exp_imgv.adb (Expand_User_Defined_Enumeration_Image): Fix
|
||||
typos.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* einfo-utils.adb (Known_Component_Size,
|
||||
Known_Static_Component_Size, Unknown_Component_Size): Use
|
||||
Implementation_Base_Type instead of Base_Type.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* gen_il-gen-gen_entities.adb (E_Loop_Parameter): Add
|
||||
Interface_Name field.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem_cat.adb (Check_Non_Static_Default_Expr): Allow nonstatic
|
||||
expression in predefined unit with pragma Preelaborate.
|
||||
|
||||
2021-06-15 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* doc/gnat_rm/intrinsic_subprograms.rst: More details on shift
|
||||
operations for signed types. Also add the missing Import and
|
||||
Convention on the example.
|
||||
* gnat_rm.texi: Regenerate.
|
||||
|
||||
2021-06-15 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* raise-gcc.c: Include <cstdarg> instead of <stdarg.h> in C++.
|
||||
Include <stdbool.h> and unconditionally <stdlib.h> in C.
|
||||
|
||||
2021-06-15 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_util.ads (Find_Overlaid_Entity): Simplify comment for
|
||||
spec.
|
||||
* sem_util.adb (Find_Overlaid_Entity): Remove defensive code
|
||||
from body.
|
||||
|
||||
2021-06-15 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* argv.c: Add include of <stdlib.h> for the runtime.
|
||||
(gnat_argv): Change type to char ** and initialize to NULL.
|
||||
(gnat_envp): Likewise.
|
||||
* argv-lynxos178-raven-cert.c: Add include of <stdlib.h>.
|
||||
(gnat_argv): Change type to char ** and initialize to NULL.
|
||||
(gnat_envp): Likewise.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* gen_il-gen.adb (Setter_Needs_Parent): Add missing
|
||||
Then_Actions. Fix self-contradictory comment.
|
||||
* exp_util.adb (Insert_Actions): Minor comment improvments.
|
||||
|
||||
2021-06-15 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* sem_eval.adb (Eval_Logical_Op, Test_Expression_Is_Foldable):
|
||||
Add support for folding more "and"/"or" expressions.
|
||||
* exp_util.adb (Side_Effect_Free): Fix handling of membership
|
||||
tests.
|
||||
|
||||
2021-06-15 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_res.adb (Resolve_Actual): Replace repeated calls to
|
||||
"Etype (F)" with references to "F_Typ", which keeps the results
|
||||
of exactly that call.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* gen_il-gen.adb (To_Bit_Offset): Use 'Base to avoid overflow in
|
||||
computations in Last_Bit when Offset = 'Last.
|
||||
(Choose_Offset): Give a better error message when we run out of
|
||||
fields. In particular, point out that
|
||||
Gen_IL.Internals.Bit_Offset'Last needs to be increased.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* atree.ads, einfo-utils.ads, einfo-utils.adb, fe.h, gen_il.adb,
|
||||
gen_il.ads, gen_il-gen-gen_entities.adb,
|
||||
gen_il-gen-gen_nodes.adb, sem_ch12.adb, sem_ch3.adb,
|
||||
sem_util.adb, sinfo-utils.ads, treepr.adb, types.ads: Clean up
|
||||
??? comments and other comments.
|
||||
* atree.adb: Clean up ??? comments and other comments.
|
||||
(Validate_Node): Fix bug: "Off_0 (N) < Off_L (N)"
|
||||
should be "Off_0 (N) <= Off_L (N)".
|
||||
* gen_il-gen.adb, gen_il-gen.ads: Clean up ???
|
||||
comments and other comments. Add support for getter-specific
|
||||
and setter-specific preconditions. Detect the error of putting
|
||||
a field in the wrong subrange. Misc cleanup.
|
||||
(Node_Field vs. Entity_Field): Clean up Nmake. Improve
|
||||
comments.
|
||||
* gen_il-utils.ads: Misc cleanup. Move...
|
||||
* gen_il-internals.ads: ... here.
|
||||
* gen_il-utils.adb: Misc cleanup. Move...
|
||||
* gen_il-internals.adb: ... here.
|
||||
* gen_il-fields.ads: Move Was_Default_Init_Box_Association,
|
||||
which was in the wrong subrange. Add comments. Misc cleanup.
|
||||
* gen_il-types.ads: Add Named_Access_Kind.
|
||||
* sinfo-cn.adb: Clean up ??? comments and other comments.
|
||||
Remove redundant assertions.
|
||||
* einfo.ads, sinfo.ads: Clean up ??? comments and other
|
||||
comments. Remove all the comments indicating field offsets.
|
||||
These are obsolete now that Gen_IL computes the offsets
|
||||
automatically.
|
||||
|
||||
2021-06-15 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* einfo.ads, errout.adb, errout.ads, exp_aggr.adb, exp_ch5.adb,
|
||||
exp_ch6.adb, exp_ch8.adb, exp_ch9.adb, exp_imgv.adb,
|
||||
exp_put_image.adb, fe.h, impunit.adb, impunit.ads,
|
||||
libgnat/a-cobove.ads, libgnat/a-convec.ads, opt.ads,
|
||||
par-ch12.adb, par-ch3.adb, par-ch4.adb, par-ch5.adb,
|
||||
par-ch6.adb, par-prag.adb, par-util.adb, scans.ads, scng.adb,
|
||||
sem_aggr.adb, sem_attr.adb, sem_ch10.adb, sem_ch12.adb,
|
||||
sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_ch6.adb,
|
||||
sem_ch8.adb, sem_elab.adb, sem_eval.adb, sem_prag.adb,
|
||||
sem_res.adb, sem_type.adb, sem_util.adb, sem_util.ads,
|
||||
sinfo.ads, snames.ads-tmpl, sprint.adb, switch-c.adb, usage.adb,
|
||||
doc/gnat_ugn/building_executable_programs_with_gnat.rst,
|
||||
doc/gnat_rm/implementation_defined_aspects.rst,
|
||||
gcc-interface/trans.c: Update all references to Ada 2020 to Ada
|
||||
2022. Rename pragma Ada_2020 to Ada_2022. Update documentation
|
||||
accordingly.
|
||||
* gnat_ugn.texi, gnat_rm.texi: Regenerate.
|
||||
|
||||
2021-06-15 Steve Baird <baird@adacore.com>
|
||||
|
||||
* sem_util.adb (Gather_Components): Factor the test that was
|
||||
already being used to govern emitting a pre-Ada_2020 error
|
||||
message into an expression function,
|
||||
OK_Scope_For_Discrim_Value_Error_Messages. Call that new
|
||||
function in two places: the point where the same test was being
|
||||
performed previously, and in governing emission of a newer
|
||||
Ada_2020 error message. In both cases, the out-mode parameter
|
||||
Gather_Components.Report_Errors is set to True even if no error
|
||||
messages are generated within Gather_Components.
|
||||
* sem_util.ads: Correct a comment.
|
||||
|
||||
2021-06-15 Richard Kenner <kenner@adacore.com>
|
||||
|
||||
* sem_ch3.adb (Array_Type_Declaration, Build_Derived_Type):
|
||||
Reinitialize Stored_Constraint when needed.
|
||||
(Set_Modular_Size): Likewise.
|
||||
* atree.adb: (Check_Vanishing_Fields): Add node id to debugging
|
||||
information.
|
||||
|
||||
2021-06-15 Bob Duff <duff@adacore.com>
|
||||
|
||||
* sem_util.adb (Propagate_Invariant_Attributes): Call
|
||||
Set_Has_Own_Invariants on the base type, because these are
|
||||
Base_Type_Only. The problem is that the base type of a type is
|
||||
indeed a base type when Set_Base_Type is called, but then the
|
||||
type is mutated into a subtype in rare cases.
|
||||
* atree.ads, atree.adb (Is_Entity): Export. Correct subtype of
|
||||
parameter in body.
|
||||
* gen_il-gen.adb: Improve getters so that "Pre => ..." can refer
|
||||
to the value of the field. Put Warnings (Off) on some with
|
||||
clauses that are not currently used, but might be used by such
|
||||
Pre's.
|
||||
|
||||
2021-06-15 Piotr Trojanek <trojanek@adacore.com>
|
||||
|
||||
* sem_ch3.adb (Access_Type_Declaration): Add comments to explain
|
||||
the ordering of Mutate_Kind and Set_Directly_Designated_Type;
|
||||
remove temporary setting of Ekind to E_Access_Type for building
|
||||
_master objects, since now the Ekind is already set to its final
|
||||
value. Move repeated code into Setup_Access_Type routine and use
|
||||
it so that Process_Subtype is executed before mutating the kind
|
||||
of the type entity.
|
||||
* gen_il-gen-gen_entities.adb (Gen_Entities): Remove
|
||||
Directly_Designated_Type from E_Void, E_Private_Record,
|
||||
E_Limited_Private_Type and Incomplete_Kind; now it only belongs
|
||||
to Access_Kind entities.
|
||||
* sem_util.adb: Minor reformatting.
|
||||
|
||||
2021-06-03 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Add PAT
|
||||
|
|
|
|||
|
|
@ -1,3 +1,93 @@
|
|||
2021-06-15 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/99212
|
||||
PR analyzer/101082
|
||||
* engine.cc: Include "target.h".
|
||||
(impl_run_checkers): Log BITS_BIG_ENDIAN, BYTES_BIG_ENDIAN, and
|
||||
WORDS_BIG_ENDIAN.
|
||||
* region-model-manager.cc
|
||||
(region_model_manager::maybe_fold_binop): Move support for masking
|
||||
via ARG0 & CST into...
|
||||
(region_model_manager::maybe_undo_optimize_bit_field_compare):
|
||||
...this new function. Flatten by converting from nested
|
||||
conditionals to a series of early return statements to reject
|
||||
failures. Reject if type is not unsigned_char_type_node.
|
||||
Handle BYTES_BIG_ENDIAN when determining which bits are bound
|
||||
in the binding_map.
|
||||
* region-model.h
|
||||
(region_model_manager::maybe_undo_optimize_bit_field_compare):
|
||||
New decl.
|
||||
* store.cc (bit_range::dump): New function.
|
||||
* store.h (bit_range::dump): New decl.
|
||||
|
||||
2021-06-15 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* engine.cc (exploded_node::on_stmt): Handle __analyzer_dump_capacity.
|
||||
(exploded_node::on_stmt): Drop m_sm_changes from on_stmt_flags.
|
||||
(state_change_requires_new_enode_p): New function...
|
||||
(exploded_graph::process_node): Call it, rather than querying
|
||||
flags.m_sm_changes, so that dynamic-extent differences can also
|
||||
trigger the splitting of nodes.
|
||||
* exploded-graph.h (struct on_stmt_flags): Drop field m_sm_changes.
|
||||
* program-state.cc (program_state::detect_leaks): Purge dead
|
||||
heap-allocated regions from dynamic extents.
|
||||
(selftest::test_program_state_1): Fix type of "size_in_bytes".
|
||||
(selftest::test_program_state_merging): Likewise.
|
||||
* region-model-impl-calls.cc
|
||||
(region_model::impl_call_analyzer_dump_capacity): New.
|
||||
(region_model::impl_call_free): Remove dynamic extents from the
|
||||
freed region.
|
||||
* region-model-reachability.h
|
||||
(reachable_regions::begin_mutable_base_regs): New.
|
||||
(reachable_regions::end_mutable_base_regs): New.
|
||||
* region-model.cc: Include "tree-object-size.h".
|
||||
(region_model::region_model): Support new field m_dynamic_extents.
|
||||
(region_model::operator=): Likewise.
|
||||
(region_model::operator==): Likewise.
|
||||
(region_model::dump_to_pp): Dump sizes of dynamic regions.
|
||||
(region_model::handle_unrecognized_call): Purge dynamic extents
|
||||
from any regions that have escaped mutably:.
|
||||
(region_model::get_capacity): New function.
|
||||
(region_model::add_constraint): Unset dynamic extents when a
|
||||
heap-allocated region's address is NULL.
|
||||
(region_model::unbind_region_and_descendents): Purge dynamic
|
||||
extents of unbound regions.
|
||||
(region_model::can_merge_with_p): Call
|
||||
m_dynamic_extents.can_merge_with_p.
|
||||
(region_model::create_region_for_heap_alloc): Assert that
|
||||
size_in_bytes's type is compatible with size_type_node. Update
|
||||
for renaming of record_dynamic_extents to set_dynamic_extents.
|
||||
(region_model::create_region_for_alloca): Likewise.
|
||||
(region_model::record_dynamic_extents): Rename to...
|
||||
(region_model::set_dynamic_extents): ...this. Assert that
|
||||
size_in_bytes's type is compatible with size_type_node. Add it
|
||||
to the m_dynamic_extents map.
|
||||
(region_model::get_dynamic_extents): New.
|
||||
(region_model::unset_dynamic_extents): New.
|
||||
(selftest::test_state_merging): Fix type of "size".
|
||||
(selftest::test_malloc_constraints): Likewise.
|
||||
(selftest::test_malloc): Verify dynamic extents.
|
||||
(selftest::test_alloca): Likewise.
|
||||
* region-model.h (region_to_value_map::is_empty): New.
|
||||
(region_model::dynamic_extents_t): New typedef.
|
||||
(region_model::impl_call_analyzer_dump_capacity): New decl.
|
||||
(region_model::get_dynamic_extents): New function.
|
||||
(region_model::get_dynamic_extents): New decl.
|
||||
(region_model::set_dynamic_extents): New decl.
|
||||
(region_model::unset_dynamic_extents): New decl.
|
||||
(region_model::get_capacity): New decl.
|
||||
(region_model::record_dynamic_extents): Rename to set_dynamic_extents.
|
||||
(region_model::m_dynamic_extents): New field.
|
||||
|
||||
2021-06-15 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* region-model.cc (region_to_value_map::operator=): New.
|
||||
(region_to_value_map::operator==): New.
|
||||
(region_to_value_map::dump_to_pp): New.
|
||||
(region_to_value_map::dump): New.
|
||||
(region_to_value_map::can_merge_with_p): New.
|
||||
* region-model.h (class region_to_value_map): New class.
|
||||
|
||||
2021-06-13 Trevor Saunders <tbsaunde@tbsaunde.org>
|
||||
|
||||
* call-string.cc (call_string::call_string): Use range based for
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
2021-06-15 Robin Dapp <rdapp@linux.ibm.com>
|
||||
|
||||
* c-attribs.c (common_handle_aligned_attribute): Remove short
|
||||
circuit and dead code.
|
||||
|
||||
2021-06-14 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR c++/101052
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
2021-06-15 Robin Dapp <rdapp@linux.ibm.com>
|
||||
|
||||
* c-decl.c (merge_decls): Copy DECL_USER_ALIGN if DECL_ALIGN is
|
||||
similar.
|
||||
|
||||
2021-06-14 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR c/100913
|
||||
|
|
|
|||
|
|
@ -1,3 +1,7 @@
|
|||
2021-06-15 Robin Dapp <rdapp@linux.ibm.com>
|
||||
|
||||
* decl.c (duplicate_decls): Likewise.
|
||||
|
||||
2021-06-14 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR c/100913
|
||||
|
|
|
|||
|
|
@ -1,3 +1,22 @@
|
|||
2021-06-15 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR fortran/92568
|
||||
* dump-parse-tree.c (show_omp_clauses): Update for defaultmap.
|
||||
* f95-lang.c (LANG_HOOKS_OMP_ALLOCATABLE_P,
|
||||
LANG_HOOKS_OMP_SCALAR_TARGET_P): New.
|
||||
* gfortran.h (enum gfc_omp_defaultmap,
|
||||
enum gfc_omp_defaultmap_category): New.
|
||||
* openmp.c (gfc_match_omp_clauses): Update defaultmap matching.
|
||||
* trans-decl.c (gfc_finish_decl_attrs): Set GFC_DECL_SCALAR_TARGET.
|
||||
* trans-openmp.c (gfc_omp_allocatable_p, gfc_omp_scalar_target_p): New.
|
||||
(gfc_omp_scalar_p): Take 'ptr_alloc_ok' argument.
|
||||
(gfc_trans_omp_clauses, gfc_split_omp_clauses): Update for
|
||||
defaultmap changes.
|
||||
* trans.h (gfc_omp_scalar_p): Update prototype.
|
||||
(gfc_omp_allocatable_p, gfc_omp_scalar_target_p): New.
|
||||
(struct lang_decl): Add scalar_target.
|
||||
(GFC_DECL_SCALAR_TARGET, GFC_DECL_GET_SCALAR_TARGET): New.
|
||||
|
||||
2021-06-14 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
* resolve.c (resolve_variable): Remove *XCNEW used to
|
||||
|
|
|
|||
|
|
@ -1,3 +1,49 @@
|
|||
2021-06-15 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR fortran/92568
|
||||
* gfortran.dg/gomp/pr99928-1.f90: Uncomment 'defaultmap(none)'.
|
||||
* gfortran.dg/gomp/pr99928-2.f90: Uncomment 'defaultmap(none)'.
|
||||
* gfortran.dg/gomp/pr99928-3.f90: Uncomment 'defaultmap(none)'.
|
||||
* gfortran.dg/gomp/pr99928-4.f90: Uncomment 'defaultmap(none)'.
|
||||
* gfortran.dg/gomp/pr99928-5.f90: Uncomment 'defaultmap(none)'.
|
||||
* gfortran.dg/gomp/pr99928-6.f90: Uncomment 'defaultmap(none)'.
|
||||
* gfortran.dg/gomp/pr99928-8.f90: Uncomment 'defaultmap(none)'.
|
||||
* gfortran.dg/gomp/defaultmap-1.f90: New test.
|
||||
* gfortran.dg/gomp/defaultmap-2.f90: New test.
|
||||
* gfortran.dg/gomp/defaultmap-3.f90: New test.
|
||||
* gfortran.dg/gomp/defaultmap-4.f90: New test.
|
||||
* gfortran.dg/gomp/defaultmap-5.f90: New test.
|
||||
* gfortran.dg/gomp/defaultmap-6.f90: New test.
|
||||
* gfortran.dg/gomp/defaultmap-7.f90: New test.
|
||||
|
||||
2021-06-15 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
* gcc.dg/analyzer/analyzer-decls.h (__analyzer_dump_capacity): New decl.
|
||||
* gcc.dg/analyzer/capacity-1.c: New test.
|
||||
* gcc.dg/analyzer/capacity-2.c: New test.
|
||||
* gcc.dg/analyzer/capacity-3.c: New test.
|
||||
|
||||
2021-06-15 David Malcolm <dmalcolm@redhat.com>
|
||||
|
||||
PR analyzer/101068
|
||||
* gcc.dg/analyzer/explode-2a.c: New test.
|
||||
|
||||
2021-06-15 Jakub Jelinek <jakub@redhat.com>
|
||||
|
||||
PR target/101046
|
||||
* gcc.target/i386/pr101046.c: New test.
|
||||
|
||||
2021-06-15 Robin Dapp <rdapp@linux.ibm.com>
|
||||
|
||||
* c-c++-common/Wattributes.c: Remove s390-specific check and add
|
||||
new tests.
|
||||
* gcc.dg/Wattributes-6.c: Likewise.
|
||||
|
||||
2021-06-15 Xionghu Luo <luoxhu@linux.ibm.com>
|
||||
|
||||
PR target/101020
|
||||
* gcc.target/powerpc/float128-call.c: Adjust counts for be and le.
|
||||
|
||||
2021-06-14 Martin Sebor <msebor@redhat.com>
|
||||
|
||||
PR c++/100876
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
2021-06-15 Tobias Burnus <tobias@codesourcery.com>
|
||||
|
||||
PR fortran/92568
|
||||
* testsuite/libgomp.fortran/defaultmap-8.f90: New test.
|
||||
|
||||
2021-06-10 Andrew Stubbs <ams@codesourcery.com>
|
||||
Thomas Schwinge <thomas@codesourcery.com>
|
||||
|
||||
|
|
|
|||
|
|
@ -1,3 +1,46 @@
|
|||
2021-06-15 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/ranges_base.h (ranges::begin, ranges::end)
|
||||
(ranges::cbegin, ranges::cend, ranges::rbeing, ranges::rend)
|
||||
(ranges::crbegin, ranges::crend, ranges::size, ranges::ssize)
|
||||
(ranges::empty, ranges::data, ranges::cdata): Make types final.
|
||||
Add deleted operator& overloads.
|
||||
(ranges::advance, ranges::distance, ranges::next, ranges::prev):
|
||||
Likewise.
|
||||
* testsuite/std/ranges/headers/ranges/synopsis.cc: Replace
|
||||
ill-formed & expressions with using-declarations. Add checks for
|
||||
other function objects.
|
||||
|
||||
2021-06-15 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/ranges_util.h (view_interface): Add noexcept to
|
||||
empty, operator bool, data and size members.
|
||||
(subrange): Add noexcept to constructors.
|
||||
* include/std/ranges (single_view, ref_view): Add noexcept to
|
||||
constructors.
|
||||
(views::single, views::all): Add noexcept.
|
||||
* testsuite/std/ranges/adaptors/all.cc: Check noexcept.
|
||||
* testsuite/std/ranges/single_view.cc: Likewise.
|
||||
|
||||
2021-06-15 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/ranges_util.h (subrange): Add __size_type typedef
|
||||
and use it to simplify declarations.
|
||||
(subrange(i, s, n)): Remove assertion.
|
||||
* testsuite/std/ranges/subrange/constexpr.cc: New test.
|
||||
|
||||
2021-06-15 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/iterator_concepts.h (__cust_access::__decay_copy):
|
||||
Replace with function object.
|
||||
(__cust_access::__member_begin, ___cust_access::_adl_begin): Use
|
||||
__decay_copy unqualified.
|
||||
* include/bits/ranges_base.h (__member_end, __adl_end):
|
||||
Likewise. Use __range_iter_t for type of ranges::begin.
|
||||
(__member_rend): Use correct value category for rbegin argument.
|
||||
(__member_data): Use __decay_copy unqualified.
|
||||
(__begin_data): Use __range_iter_t for type of ranges::begin.
|
||||
|
||||
2021-06-14 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* include/bits/ranges_base.h (ranges::empty): Check whether
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue