+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
+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
+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
git://gcc.gnu.org / gcc.git / commitdiff