diff options
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 5709 |
1 files changed, 2 insertions, 5707 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 026f202af58..f9f8fc0c950 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5714 +1,9 @@ -2018-12-23 Iain Sandoe <iain@sandoe.co.uk> - - * adaint.c [__APPLE__] (__gnat_lwp_self): Ensure that the system - interface used is available on the target. - -2018-12-14 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (rm_size): Take into account the padding in - the case of a record type containing a template. - * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Size>: Likewise. - Do not subtract the padded size for Max_Size_In_Storage_Elements. - <Attr_Descriptor_Size>: Tweak comment. - -2018-12-14 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (choices_to_gnu): Directly use a naked boolean - discriminant if the value is the boolean true. - -2018-12-11 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/88429 - * gcc-interface/Makefile.in (./stamp-gnatlib1-$(RTSDIR)): Also pass - MULTISUBDIR to sub-make and add quotes around $(THREAD_KIND). - (gnatlib-shared-dual): Also pass PICFLAG_FOR_TARGET to sub-make. - (gnatlib-sjlj): Also pass MULTISUBDIR to sub-make, but do not pass - PICFLAG_FOR_TARGET. - (gnatlib-zcx): Likewise. - -2018-12-11 Piotr Trojanek <trojanek@adacore.com> - - * libgnat/a-calend.ads: Add "Global => null" contract to pure routines. - -2018-12-11 Hristian Kirtchev <kirtchev@adacore.com> - - * freeze.adb (Check_Pragma_Thread_Local_Storage): Use the - violating set to diagnose detect an illegal initialization, - rather than the complement of the OK set. - (Freeze_Object_Declaration): Factorize code in - Has_Default_Initialization. - (Has_Default_Initialization, Has_Incompatible_Initialization): - New routines. - -2018-12-11 Dmitriy Anisimkov <anisimko@adacore.com> - - * libgnat/g-socket.ads (Family_Type): Add new enumerated value - Family_Unspec to be able to use it in Get_Address_Info parameter - and find IPv4 together with IPv6 addresses. - (Inet_Addr_Bytes_Length): Zero length for Family_Unspec. New - IPv6 predefined constant addresses. - (IPv4_To_IPv6_Prefix): IPv4 mapped to IPv6 address prefix. - (Is_IPv4_Address): Rename from Is_IP_Address and published. - (Is_IPv6_Address): New routine. - (Image of Inet_Addr_Type): Fix description about IPv6 address - text representation. - (Level_Type): New propocol level IP_Protocol_For_IPv6_Level. - (Add_Membership_V4): New socket option equal to Add_Membership. - (Drop_Membership_V4): New socket option equal to - Drop_Membership. - (Multicast_If_V4): New socket option equal to Multicast_If. - (Multicast_Loop_V4, Add_Membership_V6, Drop_Membership_V6, - Multicast_If_V6, Multicast_Loop_V6, Multicast_Hops, IPv6_Only): - New socket option for IPv6. - (Address_Info): New record to keep address info. - (Address_Info_Array): Array to keep address info records. - (Get_Address_Info): Routine to get address info records by host - and service names. - (Host_Service): Record to keep host and service names. - (Get_Name_Info): New routine to get host and service names by - address. - (Create_Socket): Add Level parameter, IP_Protocol_For_IP_Level - default. - (Name_Array, Inet_Addr_Array): Change array index to Positive. - * libgnat/g-socket.adb (IPV6_Mreq): New record definition for - IPv6. - (Hex_To_Char): Remove. - (Short_To_Network, Network_To_Short): Move to package - GNAT.Sockets.Thin_Common. - (Is_IP_Address): Remove. - (To_In_Addr, To_Inet_Addr): Move to package - GNAT.Sockets.Thin_Common. - (Get_Socket_Option): Get value of Multicast_Loop option as - integer boolean, process IPv6 options. Don't try to get - Add_Membership_V4, Add_Membership_V6, Drop_Membership_V4, and - Drop_Membership_V6 as not supported by the socket API. - (Set_Socket_Option): Set value of Multicast_Loop option as - integer boolean, process IPv6 options. - * gsocket.h - (IPV6_ADD_MEMBERSHIP): Define from IPV6_JOIN_GROUP if necessary - for VxWorks. - (IPV6_DROP_MEMBERSHIP): Define from IPV6_LEAVE_GROUP if - necessary for VxWorks - (HAVE_INET_NTOP): New definition. - (HAVE_INET_PTON): Includes VxWorks now. - * socket.c (__gnat_getaddrinfo, __gnat_getnameinfo, - __gnat_freeaddrinfo, __gnat_gai_strerror, __gnat_inet_ntop): New - routines. - * libgnat/g-sothco.ads, libgnat/g-sothco.adb - (socklen_t, In6_Addr, To_In6_Addr): New. - (To_In_Addr, To_Inet_Addr): Move from package body GNAT.Sockets. - (To_Inet_Addr): New overload with In6_Addr type parmeter. - (In_Addr_Access_Array): Remove. - (Sockaddr): Unchecked_Union instead of Sockaddr_In and old - defined generic Sockaddr. - (Set_Address): Use it to set family, port and address into - Sockaddr. - (Get_Address): New routine to get Socket_Addr_Type from - Sockaddr. - (Addrinfo): Structure to use with getaddrinfo. - (C_Getaddrinfo, C_Freeaddrinfo, C_Getnameinfo, C_GAI_Strerror, - Inet_Ntop): New routine import. - (Short_To_Network, Network_To_Short): Move from package body - GNAT.Sockets. - * libgnat/g-stsifd__sockets.adb: Use Sockaddr instead of - Sockaddr_In. - * s-oscons-tmplt.c (AF_UNSPEC, EAI_SYSTEM, SOCK_RAW, - IPPROTO_IPV6, IP_RECVERR, SIZEOF_socklen_t, IF_NAMESIZE): New - constants. - (AI_xxxx_OFFSET): Constants to consider platform differences in - field positions and sizes for addrinfo structure. - (AI_xxxxx): Flags for getaddrinfo. - (NI_xxxxx): Flags for getnameinfo. - (IPV6_xxxxx): Socket options for IPv6. - (Inet_Ntop_Linkname): New routine. - -2018-12-11 Yannick Moy <moy@adacore.com> - - * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Deactivate - expansion in ignored ghost subprogram body. - * sem_ch7.adb (Analyze_Package_Body_Helper): Deactivate - expansion in ignored ghost package body. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Register_Subprogram): A subprogram whose address - is taken (through attribute Address or Access) is reachable and - cannot be eliminated, even if there is no explicit call to it: - the address may be used in an indirect call or in some - address-related operation. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * sem_util.adb (Get_Actual_Subtype): Function can return type - mark. - (Get_Cursor_Type): Improve recovery and error message on a - misplaced First aspect for an iterable type. - -2018-12-11 Hristian Kirtchev <kirtchev@adacore.com> - - * checks.adb: Add with and use clauses for Sem_Mech. - (Ensure_Valid): Update the "annoying special case" to include - entry and function calls. Use Get_Called_Entity to obtain the - entry or subprogram being invoked, rather than retrieving it - manually. Parameters passed by reference do not need a validity - check. - -2018-12-11 Yannick Moy <moy@adacore.com> - - * sem_prag.adb (Analyze_Global_Item): Refine error message. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Check_Unnesting_In_Declarations): Extend - subprogram so that it is usable for visible and private - declarations of a package declaration, not just for declarations - in the pakage body. - * exp_ch13.adb (Expand_Freeze_Entity): Handle properly the - freezing of a finalizer routine generated for a controlled objet - declaration. Special processing already applies to finalizers - because they are usually displaced into another construct. - -2018-12-11 Arnaud Charlet <charlet@adacore.com> - - * exp_unst.adb (Unnest_Subprogram): Ensure Current_Subprogram is - always initialized. - -2018-12-11 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity): Add - gnat_annotate_type local variable initialized to Empty. - <E_Record_Subtype>: Set it to the Cloned_Subtype, if any. For - types, back-annotate alignment and size values earlier and only - if the DECL was created here; otherwise, if gnat_annotate_type - is present, take the values from it. - (gnat_to_gnu_field): Add gnat_clause local variable. If a - component clause is present, call validate_size only once on the - Esize of the component. Otherwise, in the packed case, do not - call validate_size again on the type of the component but - retrieve directly its RM size. - (components_to_record): Minor tweak. - (set_rm_size): Remove useless test. - * gcc-interface/trans.c (gnat_to_gnu): Do not wrap the instance of - a boolean discriminant attached to a variant part. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * sem_aggr.adb (Array_Aggr_Subtype. Resolve_Aggr_Expr): Indicate - that aggregate subtype has a predicate if the component type has - a predicate; do not rely on exisatence of predicate function for - component, in case component is a type no yet frozen, for which - predicate function has not been created yet. - -2018-12-11 Eric Botcazou <ebotcazou@adacore.com> - - * exp_aggr.adb (Packed_Array_Aggregate_Handled): Bail out for - any non-scalar type as component type of the array. - -2018-12-11 Eric Botcazou <ebotcazou@adacore.com> - - * einfo.ads (Is_Bit_Packed_Array): Fix values of component size. - (Is_Packed): Likewise. - * gcc-interface/utils.c (convert): Do not extract the value of a - justified modular type if the destination type is a regular - array. - * gcc-interface/decl.c (gnat_to_gnu_component_type): Pass - TYPE_DECL to validate_size wherever the array has packed - components. - -2018-12-11 Bob Duff <duff@adacore.com> - - * gnat1drv.adb (gnat1drv): Pass the correct Object value when - calling Write_ALI in the case of -gnatQ. - * gnatbind.adb (Gnatbind): Avoid silent failure; give an error - message. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Needs_Fat_Pointer): A fat pointer is required if - the entity has a private type whose full view is an - unconstrained array type. - (Rewrite_One_Ref): If the reference is to a static constant, use - its value rather than create a reference through the activation - record. This is more efficient, and furthermore indispensable if - the context requires a static constant, such as in a branch of a - case statement. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Analyze_Object_Declaration): Apply - Dynamic_Predicate check to an object of an array type - initialized with an aggregate. - -2018-12-11 Hristian Kirtchev <kirtchev@adacore.com> - - * freeze.adb (Add_To_Result): Move the ignored Ghost-specific - handling of freeze nodes to... - (Freeze_Entity): ...here. This ensures that the freeze nodes of - constructs that have recursive freezing are preserved when the - context is ignored Ghost, and the top level construct being - frozen is non-Ghost. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * uintp.ads, uintp.adb (UI_From_Integral): New generic function, - to simplify construction of Universal_Integer representations - from any Integer type. If type is small enough the code is - equivalent to a call to UI_To_Int with appropriate conversions; - otherwise the routine uses the existing mechanism of building a - vector of suitable integer values and calling Vector_To_Uint. - The routine must not be applied to a biased type. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Build_Itype_Reference): Handle properly an itype - reference created for a function that is a compilation unit, for - example if the function builds in place an object of a limited - type. - -2018-12-11 Dmitriy Anisimkov <anisimko@adacore.com> - - * libgnat/g-socket.ads, libgnat/g-socket.adb: Fix duration - computations to be compatible with the type for socket timeouts - on Windows. - -2018-12-11 Gary Dismukes <dismukes@adacore.com> - - * exp_util.ads: Use preferred U.S. spelling of "honored". - * sem_spark.adb: Remove extra whitespace. - -2018-12-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_util.adb (Insert_Action): Add new formal parameter - Spec_Expr_OK. - (Insert_Actions): Add new formal parameter Spec_Expr_OK. Update - all calls to Insert_Actions where relevant. Honour an insertion - from a spec expression context when requested by the caller. - * exp_util.ads (Insert_Action): Add new formal parameter - Spec_Expr_OK. - (Insert_Actions): Add new formal parameter Spec_Expr_OK. - * freeze.adb (Add_To_Result): Force the insertion of the freeze - node even when the context is a spec expression. - -2018-12-11 Jerome Lambourg <lambourg@adacore.com> - - * vxaddr2line.adb, vxlink-bind.adb, vxlink-bind.ads, - vxlink-link.adb, vxlink-link.ads, vxlink-main.adb, vxlink.adb, - vxlink.ads: Remove. - * gcc-interface/Make-lang.in, gcc-interface/Makefile.in: Remove - bits for vxaddr2line. - -2018-12-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb, exp_ch7.adb, gnat1drv.adb, sem_ch10.adb, - sem_ch13.adb, sem_ch6.adb, sem_ch7.adb, sem_util.adb: Minor - reformatting. - -2018-12-11 Eric Botcazou <ebotcazou@adacore.com> - - * fe.h (Is_Atomic_Object): Declare. - (Is_Volatile_Object): Likewise. - * gcc-interface/trans.c (atomic_or_volatile_copy_required_p): New. - (Call_to_gnu): Generate a copy for an actual parameter passed by - reference if the conditions set forth by RM C.6(19) are met and - specificially deal with an atomic actual parameter. - -2018-12-11 Piotr Trojanek <trojanek@adacore.com> - - * sem_util.adb (Is_Subprogram_Stub_Without_Prior_Declaration): - Return False on stubs that complete a generic subprogram. - * sem_util.ads: Update corresponding comment. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch4.adb (Analyze_Allocator): In GNATprove mode build a - subtype declaration if the allocator has a subtype indication - with a constraint. This allows additional proofs to be applied - to allocators that designate uninitialized constrained objects. - -2018-12-11 Yannick Moy <moy@adacore.com> - - * sem_util.adb (Has_Full_Default_Initialization): Consider - access types as having full default initialization. - -2018-12-11 Yannick Moy <moy@adacore.com> - - * gnat1drv.adb (Gnat1drv): Issue specific error message in - GNATprove mode when multiple file names on the command line. - * osint.adb, osint.ads (Dump_Command_Line_Source_File_Names): - New procedure to print file names on the command line. - -2018-12-11 Javier Miranda <miranda@adacore.com> - - * exp_aggr.adb (Convert_To_Assignments): When gnerating C, do - not declare a temporary to initialize an aggregate assigned to - Out or In_Out parameters whose type has no discriminants. This - avoids stack overflow errors at runtime. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Check_Unnesting_Elaboration_Code): Extend - algorithm to cover subprograms generated in nested loops and in - exception handlers, in order to build an explicit elaboration - procedure in more complex cases. - -2018-12-11 Jerome Lambourg <lambourg@adacore.com> - - * Makefile.rtl, gcc-interface/Makefile.in: Remove crtbe bits for - VxWorks. - * libgnat/system-vxworks-arm-rtp-smp.ads, - libgnat/system-vxworks-arm-rtp.ads, - libgnat/system-vxworks-arm.ads, - libgnat/system-vxworks-e500-kernel.ads, - libgnat/system-vxworks-e500-rtp-smp.ads, - libgnat/system-vxworks-e500-rtp.ads, - libgnat/system-vxworks-ppc-kernel.ads, - libgnat/system-vxworks-ppc-rtp-smp.ads, - libgnat/system-vxworks-ppc-rtp.ads, - libgnat/system-vxworks-ppc.ads, - libgnat/system-vxworks-x86-kernel.ads, - libgnat/system-vxworks-x86-rtp-smp.ads, - libgnat/system-vxworks-x86-rtp.ads, - libgnat/system-vxworks7-aarch64-rtp-smp.ads, - libgnat/system-vxworks7-aarch64.ads, - libgnat/system-vxworks7-arm-rtp-smp.ads, - libgnat/system-vxworks7-e500-kernel.ads, - libgnat/system-vxworks7-e500-rtp-smp.ads, - libgnat/system-vxworks7-e500-rtp.ads, - libgnat/system-vxworks7-ppc-kernel.ads, - libgnat/system-vxworks7-ppc-rtp-smp.ads, - libgnat/system-vxworks7-ppc-rtp.ads, - libgnat/system-vxworks7-ppc64-kernel.ads, - libgnat/system-vxworks7-ppc64-rtp-smp.ads, - libgnat/system-vxworks7-x86-kernel.ads, - libgnat/system-vxworks7-x86-rtp-smp.ads, - libgnat/system-vxworks7-x86-rtp.ads, - libgnat/system-vxworks7-x86_64-kernel.ads, - libgnat/system-vxworks7-x86_64-rtp-smp.ads: Remove pragma - Linker_Options for --specs. - * vx_crtbegin.c, vx_crtbegin.inc, vx_crtbegin_array.c, - vx_crtbegin_attr.c, vx_crtend.c, vxworks-gnat-crtbe-link.spec: - Remove. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations, - Freeze_Entity_Checks): Process aspect Predicate in the same - fashion as aspect Dynamic_Predicate. - -2018-12-11 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (elaborate_all_entities_for_package): - Skip aliasing subprograms. - -2018-12-11 Bob Duff <duff@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Update gnatmetric - documentation for the Libadalang-based version. - -2018-12-11 Javier Miranda <miranda@adacore.com> - - * exp_aggr.adb (In_Object_Declaration): Removed. - (Is_CCG_Supported_Aggregate): New subprogram that replaces - In_Object_Declaration extending its functionality to indicate if - an aggregate is in a context supported by the CCG backend. - -2018-12-11 Bob Duff <duff@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Update gnatstub - documentation for the Libadalang-based version. - * gnat_ugn.texi: Regenerate. - -2018-12-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch13.adb (Push_Type, Pop_Type): New procedures, used for - analysis of aspect expressions for record types, whose - components (not only discriminants) may be referenced in aspect - expressions. - (Analyze_Aspect_Specifications, Analyze_Aspects_At_Freeze_Point, - Analyze_Aspect_At_End-Of_Declarations, - Resolve_Aspect_Expressions): Use the new subprograms. - (Check_Aspect_At_End_Of_Declarations): Improve error message. - (Build_Predicate_Functions): Do not build their bodies in a - generic unit. - (Is_Derived_Type_With_Constraint): New subprogram to uncover and - reject aspect specificationss on types that appear after the - type is frozen. - * sem_ch13.ads (Push_Scope_And_Install_Discriminants, - Uninstall_Discriminants_And_Pop_Scope): Remove. - * sem_ch6.adb, sem_ch6.ads (Fully_Conformant_Expressions): - Additional parameter to improve error message on illegal aspect - specifications whose resolution differ between aspect - specification and freeze point. - * freeze.adb: Remove references to - Install/Uninstall_Discriminants. - -2018-12-11 Pierre-Marie de Rodat <derodat@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst: - Document the -fgnat-encodings switch. - * gnat_ugn.texi: Regenerate. - -2018-12-11 Justin Squirek <squirek@adacore.com> - - * sem_ch10.adb (Analyze_Subunit): Modify conditional to fully - remove parent contexts from library-level subprogram bodies in - addition to package bodies. - -2018-12-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_prag.adb (Expand_Pragma_Initial_Condition): Do not - generate an Initial_Condition procedure and a call to it when - the associated pragma is ignored. - * sem_ch10.adb (Analyze_Compilation_Unit): Minor cleanup. - -2018-12-11 Eric Botcazou <ebotcazou@adacore.com> - - * fe.h (Debug_Generated_Code): Declare. - * gcc-interface/gigi.h (enum inline_status_t): Rename - is_disabled to is_default, is_enabled to is_requested and add - is_prescribed. - * gcc-interface/decl.c (inline_status_for_subprog): New function. - (gnat_to_gnu_entity) <E_Subprogram_Type>: Use it to get the - inlining status of the subprogram. - * gcc-interface/trans.c (gigi): Adjust to above renaming. - (build_raise_check): Likewise. - (Compilation_Unit_to_gnu): Likewise. - (gnat_to_gnu): Likewise. - * gcc-interface/utils.c (create_subprog_decl): Likewise. Deal - with is_prescribed status by setting - DECL_DISREGARD_INLINE_LIMITS. Do not set the - DECL_NO_INLINE_WARNING_P flag if Debug_Generated_Code is true. - -2018-12-03 Gary Dismukes <dismukes@adacore.com> - - * sem_aux.adb (Object_Type_Has_Constrained_Partial_View): Return - True for an untagged discriminated formal derived type when - referenced within a generic body (augments existing test for - formal private types). - * sem_util.adb (Is_Dependent_Component_Of_Mutable_Type): If the - prefix of the name is a qualified expression, retrieve the - operand of that. Add a test of whether the (possible) - dereference prefix is a variable, and also test whether that - prefix might just be of an access type (occurs in some implicit - dereference cases) rather than being an explicit dereference. - Retrieve the Original_Node of the object name's main prefix and - handle the possibility of that being a qualified expression. - Remove special-case code for explicit dereferences that don't - come from source. Add test for the renaming not being within a - generic body for proper determination of whether a formal access - type is known to be constrained (it is within a generic spec, - but not in the body). Fix an existing incorrect test for - renaming of a discriminant-dependent component of a untagged - generic formal type being within a generic body, adding test of - taggedness and calling In_Generic_Body (now properly checks for - cases where the renaming is in a nongeneric body nested within a - generic). Return False in cases where the selector is not a - component (or discriminant), which can occur for - prefixed-notation calls. - -2018-12-03 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Apply_Check): For array types, apply a length - check rather than a qualification, to avoid spurious errors when - the value of a dependend expression has a matching length but - different bounds from those of the type of the contect. - -2018-12-03 Hristian Kirtchev <kirtchev@adacore.com> - - * libgnat/a-calend.adb: Update the number of leap seconds. Add - the hard time values for year 2015 and 2016. - -2018-12-03 Gary Dismukes <dismukes@adacore.com> - - * exp_ch3.adb, libgnarl/s-taasde.adb, libgnarl/s-taenca.adb, - libgnarl/s-tarest.adb, libgnarl/s-tasini.adb, - libgnarl/s-taskin.ads, libgnarl/s-tasren.adb, - libgnarl/s-tassta.adb, libgnarl/s-tasuti.adb: Spelling fixes and - minor reformatting. - -2018-12-03 Eric Botcazou <ebotcazou@adacore.com> - - * exp_aggr.adb (Convert_To_Positional): Use - Static_Array_Aggregate to decide whether to set - Compile_Time_Known_Aggregate on an already flat aggregate. - (Expand_Array_Aggregate): Remove test on - Compile_Time_Known_Aggregate that turns out to be dead and - simplify. - (Is_Static_Component): New predicate extracted from... - (Static_Array_Aggregate): ...here. Test neither Is_Tagged_Type - nor Is_Controlled for the type, but test whether the component - type has discriminants. Use the Is_Static_Component predicate - consistently for the positional and named cases. - -2018-12-03 Eric Botcazou <ebotcazou@adacore.com> - - * freeze.adb (Freeze_Entity): Do not freeze the partial view of - a private subtype if its base type is also private with delayed - freeze before the full type declaration of the base type has - been seen. - * sem_ch7.adb (Preserve_Full_Attributes): Add assertion on - freeze node. - -2018-12-03 Eric Botcazou <ebotcazou@adacore.com> - - * exp_ch3.adb (Build_Record_Init_Proc): Inherit an - initialization procedure if it is present, even if it is null. - -2018-12-03 Patrick Bernardi <bernardi@adacore.com> - - * libgnarl/s-taskin.ads (ATC_Level_Base): Redefine to span from - -1 to Max_ATC_Nesting so that 0 represents no ATC nesting and -1 - represented a completed task. To increase readability, new - constants are introduced to represent key ATC nesting levels. - Consequently, Level_No_Pending_Abort replaces - ATC_Level_Infinity. ATC_Level related definitions now - documented. - (Ada_Task_Control_Block): The default initialization of - components ATC_Nesting_Level and Pending_ATC_Level now use new - ATC_Level_Base constants. Comments improved - * libgnarl/s-taskin.adb (Initialize): Improve the initialisation - of the first element of the Entry_Calls array to facilitate - better maintenance. - * libgnarl/s-taasde.ads: Update comment. - * libgnarl/s-taasde.adb, libgnarl/s-taenca.adb, - libgnarl/s-tasren.adb, libgnarl/s-tassta.adb, - libgnarl/s-tasuti.ads, libgnarl/s-tasuti.adb: Use new - ATC_Level_Base constants. - * libgnarl/s-tarest.adb (Create_Restricted_Task): Improve the - initialisation of the first element of the task's Entry_Calls - array to facilitate better maintenance. - * libgnarl/s-tasini.ads (Locked_Abort_To_Level): Update - signature to accept ATC_Level_Base. - * libgnarl/s-tasini.adb (Locked_Abort_To_Level): Update - signature to accept ATC_Level_Base. Use new ATC_Level_Base - constants and only modify the aborting task's Entry_Calls array - if any entry call is happening. - * libgnarl/s-tposen.adb (Protected_Single_Entry_Call): Reference - the first element of the task's Entry_Calls array via 'First - attribute to facilitate better maintenance. - -2018-12-03 Eric Botcazou <ebotcazou@adacore.com> - - * einfo.adb (Write_Entity_Info): Don't take Scope of Standard - package. - * sem_ch4.adb (Remove_Abstract_Operations): Add missing blank - lines to -gnatdv output. - * sem_type.adb (Write_Overloads): Take Entity of entity names - only. - -2018-12-03 Hristian Kirtchev <kirtchev@adacore.com> - - * checks.adb, exp_aggr.adb, exp_attr.adb, exp_ch3.adb, - exp_util.adb, exp_util.ads, repinfo.adb, sem_attr.adb, - sem_ch3.adb, sem_res.adb, sem_util.adb: Minor reformatting. - -2018-12-03 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Complete_Private_Subtype): Enhance comment. - -2018-12-03 Olivier Hainque <hainque@adacore.com> - - * gcc-interface/lang.opt (fopenacc): New option for Ada. - * gcc-interface/misc.c (gnat_handle_option): Handle it. - * gcc-interface/trans.c (struct loop_info_d): Add OMP - attributes. - (Iterate_Acc_Clause_Arg, Acc_gnat_to_gnu): New functions, - helpers for OpenACC pragmas processing in Pragma_to_gnu. - (Acc_Var_to_gnu, Acc_Reduc_Var_to_gnu, Acc_Reduc_to_gnu): - Likewise. - (Acc_Size_Expr_to_gnu, Acc_Size_List_to_gnu): Likewise. - (Pragma_Acc_Data_to_gnu): Likewise. - (Pragma_to_gnu): Handle Pragma_Acc_Loop, Pragma_Acc_Data, - Pragma_Acc_Kernels and Pragma_Acc_Parallel. - (Acc_Loop_to_gnu, Regular_Loop_to_gnu): New functions. Helpers - for ... - (Loop_Statement_to_gnu): Rework to handle OpenACC loops. - -2018-12-03 Olivier Hainque <hainque@adacore.com> - - * gcc-interface/targtyps.c (MALLOC_OBSERVABLE_ALIGNMENT): Set to - 2 * POINTER_SIZE. - -2018-12-03 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Set_Slice_Subtype): The index type of a slice is - constrained. - -2018-11-26 Matthias Klose <doko@ubuntu.com> - - PR ada/88191 - * libgnarl/s-linux__alpha.ads: Define SIGSYS. - -2018-11-19 Alexandre Oliva <oliva@adacore.com> - - PR ada/81878 - * gcc-interface/config-lang.in (lang_requires): Set to "c c++" - when gnattools wants it. - -2018-11-19 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/cuintp.c (UI_From_gnu): Remove code for 32-bit hosts. - -2018-11-15 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/misc.c (gnat_init_gcc_eh): Do not override the switch - -fnon-call-exceptions passed on the command line in -gnatp mode. - -2018-11-14 Ed Schonberg <schonberg@adacore.com> - - * exp_util.ads, exp_util.adb: Change the profile of - Silly_Boolean_Array_Xor_Test, adding a formal that can be a copy - of the right opersnd. This prevents unnesting anomalies when - that operand contains uplevel references. - * exp_ch4.adb (Expand_Boolean_Operation): Use this new profile. - * exp_pakd.adb (Expand_Packed_Boolean_Operator): Ditto. - -2018-11-14 Patrick Bernardi <bernardi@adacore.com> - - * libgnarl/a-intnam__linux.ads: Add SIGSYS. - * libgnarl/s-linux__alpha.ads, libgnarl/s-linux__android.ads, - libgnarl/s-linux__hppa.ads, libgnarl/s-linux__mips.ads, - libgnarl/s-linux__riscv.ads, libgnarl/s-linux__sparc.ads, - libgnarl/s-linux__x32.ads: Rename SIGLTHRRES, SIGLTHRCAN and - SIGLTHRDBG to SIG32, SIG33 and SIG34 as their names are - implementation specific. - * libgnarl/s-osinte__linux.ads, libgnarl/s-linux.ads: Add - SIGSYS. Move SIG32, SIG33 and SIG34 from the unmasked list to - the reserved list. - -2018-11-14 Eric Botcazou <ebotcazou@adacore.com> - - * exp_aggr.adb (Is_Static_Element): New predicate extracted - from... - (Check_Static_Components): ...here. Call Is_Static_Element on - each element of the component association list, if any. - (Flatten): Duplicate the expression of an others choice only if - it is static or is an aggregate which can itself be flattened. - -2018-11-14 Olivier Hainque <hainque@adacore.com> - - * sigtramp-vxworks-target.inc: Fix stack checking test errors in - ACATS, now that GCC can emit CFI rules referring to sp in - absence of a frame pointer. - -2018-11-14 Eric Botcazou <ebotcazou@adacore.com> - - * exp_aggr.adb (Check_Static_Components): Remove dead test. - (Flatten): Likewise. Move comment around. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch6.adb (Analyze_Null_Procedure): Capture Ghost and - SPARK-related global state at the start of the routine. Set the - Ghost mode of the completed spec if any. Restore the saved - Ghost and SPARK-related global state on exit from the routine. - -2018-11-14 Eric Botcazou <ebotcazou@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst - (-gnatR): Document new -gnatR4 level. - * gnat_ugn.texi: Regenerate. - * opt.ads (List_Representation_Info): Bump upper bound to 4. - * repinfo.adb: Add with clause for GNAT.HTable. - (Relevant_Entities_Size): New constant. - (Entity_Header_Num): New type. - (Entity_Hash): New function. - (Relevant_Entities): New set implemented with GNAT.HTable. - (List_Entities): Also list compiled-generated entities present - in the Relevant_Entities set. Consider that the Component_Type - of an array type is relevant. - (List_Rep_Info): Reset Relevant_Entities for each unit. - * switch-c.adb (Scan_Front_End_Switches): Add support for -gnatR4. - * switch-m.adb (Normalize_Compiler_Switches): Likewise - * usage.adb (Usage): Likewise. - -2018-11-14 Javier Miranda <miranda@adacore.com> - - * exp_disp.adb (Expand_Interface_Thunk): Extend handling of - renamings of the predefined equality primitive. - (Make_Secondary_DT): When calling Expand_Interface_Thunk() pass - it the primitive, instead of its Ultimate_Alias; required to - allow the called routine to identify renamings of the predefined - equality operation. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * freeze.adb (Check_Pragma_Thread_Local_Storage): New routine. A - variable with suppressed initialization has no initialization - for purposes of the pragma. - (Freeze_Object_Declaration): Remove variable - Has_Default_Initialization as it is no longer used. Use routine - Check_Pragma_Thread_Local_Storage to verify the semantics of - pragma Thread_Local_Storage. - -2018-11-14 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Resolve_If_Expression): Verify that the subtypes - of all dependent expressions obey the constraints of the - expected type for the if-expression. - (Analyze_Expression): Only add qualificiation to the dependent - expressions when the context type is constrained. Small - adjustment to previous patch. - -2018-11-14 Eric Botcazou <ebotcazou@adacore.com> - - * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Don't - register a compile-time warning or error for 'Alignment or 'Size - of an entity declared in a generic unit. - -2018-11-14 Justin Squirek <squirek@adacore.com> - - * sem_ch8.adb (Use_One_Package): Add test for out-of-scope - homonyms. - -2018-11-14 Ed Schonberg <schonberg@adacore.com> - - * exp_ch3.adb: (Expand_N_Object_Declaration): If the expression - is a limited aggregate its resolution is delayed until the - object declaration is expanded. - * sem_ch3.adb: (Analyze_Object_Declaration): If the expression - is a limited aggregate and the declaration has a following - address clause indicate that resolution of the aggregate (which - must be built in place) must be delayed. - -2018-11-14 Bob Duff <duff@adacore.com> - - * sem_attr.adb (To_Address): Simplify setting of - Is_Static_Expression. Remove second (unconditional) call to - Set_Is_Static_Expression -- surely it's not static if the - operand is not. Initialize Static on declaration. Do not try - to fold 'To_Address, even though it's static. - * exp_attr.adb (To_Address): Preserve Is_Static_Expression. - * sinfo.ads, sem_eval.ads, sem_eval.adb (Is_Static_Expression, - Is_OK_Static_Expression, Raises_Constraint_Error): Simplify - documentation. There was too much repetition and redundancy. - -2018-11-14 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Analyze_Object_Declaration): Use the - Actual_Subtype to preserve information about a constant - initialized with a non-static entity that is known to be valid, - when the type of the entity has a narrower range than that of - the nominal subtype of the constant. - * checks.adb (Determine_Range): If the expression is a constant - entity that is known-valid and has a defined Actual_Subtype, use - it to determine the actual bounds of the value, to enable - additional optimizations. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * back_end.adb, checks.adb, exp_ch3.adb, exp_ch4.adb, - exp_ch7.adb, exp_disp.adb, exp_unst.adb, exp_util.adb, - freeze.adb, sem_ch13.adb, sem_ch6.adb, sem_ch7.adb, - sem_prag.adb, sem_spark.adb, sem_util.adb: Minor reformatting. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch4.adb (Find_Aliased_Equality): New routine. - (Find_Equality): Reimplemented. - (Is_Equality): New routine. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * ghost.adb (Ghost_Entity): New routine. - (Mark_And_Set_Ghost_Assignment): Reimplemented. - * sem_ch5.adb (Analyze_Assignment): Assess whether the target of - the assignment is an ignored Ghost entity before analyzing the - left hand side. - * sem_ch8.adb (Find_Direct_Name): Update the subprogram - signature. Do not generate markers and references when they are - not desired. - (Nvis_Messages): Do not execute when errors are not desired. - (Undefined): Do not emit errors when they are not desired. - * sem_ch8.ads (Find_Direct_Name): Update the subprogram - signature and comment on usage. - * sem_util.adb (Ultimate_Prefix): New routine. - * sem_util.ads (Ultimate_Prefix): New routine. - -2018-11-14 Justin Squirek <squirek@adacore.com> - - * sem_ch7.adb (Uninstall_Declarations): Add conditional to avoid - uninstalling potential visibility during freezing on enumeration - literals. - -2018-11-14 Jerome Lambourg <lambourg@adacore.com> - - * env.c: Do not include crt_externs.h on iOS, as it does not - exist there. This is also true for the iPhone Simulator SDK. - -2018-11-14 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Check_Unnesting_In_Declarations): New procedure - to transform blocks that appear in the declarative part of a - package body into subprograms if they contain generated - subprograms (such as finalization routines). Needed to generate - the proper upward references in unnesting mode. - -2018-11-14 Ed Schonberg <schonberg@adacore.com> - - * freeze.adb (Freeze_Fixed_Point_Type): If the given low bound - of the type is less than the nearest model number, do not expand - the range of the type to include the model number below the - bound. Similar adjustment if the upper bound is larger than the - nearest model number. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * checks.adb (Install_Primitive_Elaboration_Check): Do not - create the check when exceptions cannot be used. - * exp_ch6.adb (Expand_N_Extended_Return_Statement): Do not raise - Program_Errror when exceptions cannot be used. Analyze the - generated code with all checks suppressed. - * exp_ch7.adb (Build_Finalizer): Remove the declaration of - Exceptions_OK. - (Make_Deep_Array_Body): Remove the declaration of Exceptions_OK. - (Make_Deep_Record_Body): Remove the declaration of - Exceptions_OK. - (Process_Transients_In_Scope): Remove the declaration of - Exceptions_OK. - * exp_util.adb (Exceptions_In_Finalization_OK): Renamed to - Exceptions_OK. - * exp_util.ads (Exceptions_In_Finalization_OK): Renamed to - Exceptions_OK. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch4.adb (Expand_N_Op_Eq): Remove duplicated code and use - routine Find_Equality instead. - (Find_Equality): New routine. - -2018-11-14 Piotr Trojanek <trojanek@adacore.com> - - * sem_util.adb (First_From_Global_List): Do not expect - N_Selected_Component in the Global contract; simplify assertion - with Nam_In. - -2018-11-14 Piotr Trojanek <trojanek@adacore.com> - - * sem_ch12.adb (Instantiate_Object): Set - Corresponding_Generic_Association on generic actuals with - default expression. - * sinfo.ads (Corresponding_Generic_Association): Update comment. - -2018-11-14 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch4.adb (Expand_Concatenate): Use the proper routine to - set the need for debug info. - * exp_dbug.adb (Build_Subprogram_Instance_Renamings): Use the - proper routine to set the need for debug info. - * exp_prag.adb (Expand_Pragma_Initial_Condition): Use the proper - routine to set the need for debug info. - * exp_util.adb (Build_DIC_Procedure_Declaration): Use the proper - routine to set the need for debug info. - (Build_Invariant_Procedure_Declaration): Use the proper routine - to set the need for debug info. - * ghost.adb (Record_Ignored_Ghost_Node): Add statements as a - whole class to the list of top level ignored Ghost nodes. - * sem_util.adb (Set_Debug_Info_Needed): Do not generate debug - info for an ignored Ghost entity. - -2018-11-14 Piotr Trojanek <trojanek@adacore.com> - - * bindgen.adb, exp_cg.adb, repinfo.adb, sprint.adb: Minor reuse - Cancel_Special_Output where possible. - -2018-11-14 Piotr Trojanek <trojanek@adacore.com> - - * exp_dbug.ads, sem_util.ads: Minor fixes in comments. - -2018-11-14 Arnaud Charlet <charlet@adacore.com> - - * adabkend.adb (Scan_Back_End_Switches): Handle -gx switches - explicitly. - -2018-11-13 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions - for the runtime on platforms where System.Machine_Overflow is true. - -2018-11-08 Eric Botcazou <ebotcazou@adacore.com> - - * fe.h (Suppress_Checks): Declare. - * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions - only if checks are not suppressed and -faggressive-loop-optimizations - only if they are. - * gcc-interface/trans.c (struct loop_info_d): Remove has_checks and - warned_aggressive_loop_optimizations fields. - (gigi): Do not clear warn_aggressive_loop_optimizations here. - (Raise_Error_to_gnu): Do not set has_checks. - (gnat_to_gnu) <N_Indexed_Component>: Remove support for aggressive - loop optimizations. - -2018-11-08 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (components_to_record): Remove obsolete kludge. - * gcc-interface/utils.c (make_packable_type): Set TYPE_PACKED on the - new type but do not take into account the setting on the old type for - the new fields. Rename a local variable. - (finish_record_type): Clear DECL_BIT_FIELD_TYPE on a variant part at - offset 0, if any. - (create_field_decl): Tweak comment. - -2018-10-22 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/utils.c (unchecked_convert): Use local variables for - the biased and reverse SSO attributes of both types. - Further extend the processing of integral types in the presence of - reverse SSO to all scalar types. - -2018-10-22 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (Pragma_to_gnu) <Pragma_Inspection_Point>: Use - a simple memory constraint in all cases. - - * gcc-interface/lang-specs.h: Bump copyright year. - -2018-10-17 David Malcolm <dmalcolm@redhat.com> - - * gcc-interface/Make-lang.in (selftest-ada): New. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * exp_ch3.adb (Is_Null_Statement_List): New predicate. - (Build_Array_Init_Proc): Use it to find out whether the - initialization procedure Is_Null_Init_Proc; if so, set - Warnings_Off on the parameter. - (Build_Init_Procedure): Likewise. - (Init_Formals): Use an in/out first parameter only for - unconstrained arrays and for records either containing or built - for proteced types or task types; use an out parameter in all - the other cases. - * fe.h (Is_Init_Proc): Declare. - * gcc-interface/decl.c (type_requires_init_of_formal): Do not - return true for a discriminant in an unchecked union. - (gnat_to_gnu_param): Do not create a PARM_DECL for the Out - parameter of an initialization procedure. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: If - this is not a definition, retrieve the expression in all cases - even if we are just annotating types. - * gcc-interface/trans.c (gnat_to_gnu): Also translate Size - attribute for constrained types in this mode. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * adaint.c (__gnat_get_executable_suffix_ptr): Add new line. - (__gnat_locate_exec): Check that HOST_EXECUTABLE_SUFFIX is not - empty before doing a string search for it. - * socket.c (ATTRIBUTE_UNUSED): Define. - (__gnat_disable_sigpipe): Add ATTRIBUTE_UNUSED on parameter. - * terminals.c (ATTRIBUTE_UNUSED): Move around. - (__gnat_setup_child_communication): Add ATTRIBUTE_UNUSED on - parameter. - (__gnat_send_header): Add ATTRIBUTE_UNUSED on parameters. - -2018-10-09 Yannick Moy <moy@adacore.com> - - * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Rewrite - pragmas as null statements in GNATprove mode. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * exp_ch6.adb (Add_Call_By_Copy_Code): Initialize the temporary - made for an Out parameter if the formal type has discriminants. - -2018-10-09 Maroua Maalej <maalej@adacore.com> - - * sem_spark.adb (Check_Declaration): fix bug related to non - access object permissions. - -2018-10-09 Doug Rupp <rupp@adacore.com> - - * libgnat/a-ncelfu.ads: Fix name in header to match package. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * exp_disp.adb (Make_Disp_Asynchronous_Select_Spec): Set - Warnings_Off on the B out parameter. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * einfo.ads: Small comment fix. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * sem_ch7.adb (Has_Referencer): Add comment for the - N_Freeze_Entity case. Do not rely on - Has_Referencer_Of_Non_Subprograms to clear the Is_Public flag on - subprogram entities. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (In_Synchronized_Call): Handle properly private - types whose full views are synchronized types, in order to - recognize generated subprograms whose bodies must be considered - reachable even if no direct calls to them are visible in the - source. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * exp_ch4.adb (Expand_Modular_Op): When expanding an operation - on nonbinary modular types, convert the opersnds to an integer - type that is large enough to hold the modulus of the type, which - may be larger than Integer'Last. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Unnest_Subprogram): When an uplevel reference - is to an unconstrained formal, the 'Access reference that is - created to initialize the corresponding component of the - activation record must be wrapped in an unchecked conversion to - the generated type of the component. Otherwise, spurious suvtype - conformance errors will be generated when the code is within an - instantiation and the type of the formal is a formal type of the - enclosing generic. Note that during unnesting there is no simple - way to determine that the code appears within an instance - because ther is no scope stack. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (type_requires_init_of_formal): New - predicate. - (gnat_to_gnu_param): Use it to determine whether a PARM_DECL - must be created for an Out parameter passed by copy. - -2018-10-09 Arnaud Charlet <charlet@adacore.com> - - * libgnat/a-coboho.ads (Storage_Element): Fix a typo. - -2018-10-09 Claire Dross <dross@adacore.com> - - * libgnat/a-cfinve.ads: Remove default value for - Max_Size_In_Storage_Elements as it was not supported in SPARK. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * exp_ch6.adb (Add_Call_By_Copy_Node, - Add_Simple_Call_By_Copy_Node, Expand_Call_Helper): Reset - Is_True_Constant on entities used as Out or In_Out parameters in - calls. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Unnest_Subprogram): Do not load System to obtain - the Address entity unless an activation record is being built. - Removes useless with_clauses for System when nested subprograms - do not have uplevel references, and therefore do not need - activation records. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Fully_Conformant_Expressions): Handle properly - the conformance check on an aspect expression that includes a - call to an instance of Unchecked_Conversion, or more generally a - call to an intrinsic operation. - -2018-10-09 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb: Remove with/use clause for Stand. - (List_Mechanisms): List the mechanism of functions only. - -2018-10-09 Bob Duff <duff@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Correct spelling of - --eol switch. Document the language-version switches. Update - description for --no-exception. - -2018-10-09 Vasiliy Fofanov <fofanov@adacore.com> - - * libgnat/s-os_lib.ads (Normalize_Pathname): Fix incorrect - comment. - -2018-10-09 Arnaud Charlet <charlet@adacore.com> - - * vxlink.adb: Remove pragma Annotate, no longer needed. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * checks.adb (Apply_Type_Conversion_Checks): Use GNATprove_Mode - rather than SPARK_mode in order to preserve the Do_Range_Check - flag for verification purposes. - -2018-10-09 Ed Schonberg <schonberg@adacore.com> - - * exp_aggr.adb (Expand_Array_Aggregate): If it is not possible - to build in place an aggregate with component associations, set - the Warnings_Off flag on the generated temporary, to prevent - spurious warnings from the backend when compiling with the - -Wuninitialized gcc flag. - -2018-09-30 Alexandre Oliva <oliva@adacore.com> - - * gcc-interface/lang-specs.h (default_compilers): When given - fcompare-debug-second, adjust auxbase like cc1, and pass - gnatd_A. - * gcc-interface/misc.c (flag_compare_debug): Remove variable. - (gnat_post_options): Do not set it. - * lib-writ.adb (flag_compare_debug): Remove import. - (Write_ALI): Do not test it. - -2018-09-28 Eric Botcazou <ebotcazou@adacore.com> - Pierre-Marie de Rodat <derodat@adacore.com> - - * gcc-interface/decl.c (is_cplusplus_method): Do not require C++ - convention on Interfaces. - * gcc-interface/trans.c (Subprogram_Body_to_gnu): Try to create a - bona-fide thunk and hand it over to the middle-end. - (get_controlling_type): New function. - (use_alias_for_thunk_p): Likewise. - (thunk_labelno): New static variable. - (make_covariant_thunk): New function. - (maybe_make_gnu_thunk): Likewise. - * gcc-interface/utils.c (finish_subprog_decl): Set DECL_CONTEXT of the - result DECL here instead of... - (end_subprog_body): ...here. - -2018-09-27 Martin Sebor <msebor@redhat.com> - - * gcc-interface/utils.c (make_packable_type): Introduce a temporary - to avoid -Wnonnull. - (unchecked_convert): Same. - -2018-09-26 Elisa Barboni <barboni@adacore.com> - - * sem_prag.adb (Check_Refined_Global_Item): Improve error - message. - -2018-09-26 Thomas Quinot <quinot@adacore.com> - - * sem_ch13.adb (Inherit_Aspects_At_Freeze_Point): For a - representation item that is an N_Aspect_Definition, retrieve the - entity it applies to using the Entity attribute. - -2018-09-26 Justin Squirek <squirek@adacore.com> - - * sem_ch8.adb (Analyze_Subprogram_Renaming): Add extra condition - to check for unmarked subprogram references coming from - renamings. - -2018-09-26 Arnaud Charlet <charlet@adacore.com> - - * back_end.adb (Scan_Compiler_Arguments): Store -G xxx switches. - -2018-09-26 Yannick Moy <moy@adacore.com> - - * errout.ads: Update comment for insertion character '?'. - * inline.adb: Use simple insertion character '?' for GNATprove - info messages. - * sem_res.adb (Resolve_Call): Issue an info message on inlining - in GNATprove mode. - -2018-09-26 Ed Schonberg <schonberg@adacore.com> - - * checks.adb (Apply_Type_Conversion_Checks): Do not generate a - range check on the expression of the conversion if it involves a - fixed-point type, as such conversions are handled specially - during expansion. - * exp_ch4.adb (Expand_N_Type_Conversion): In a conversion from - Fixed to Integer, use the base type of the expression to ensure - that the caller will generate the proper constraint check when - needed. - -2018-09-26 Maroua Maalej <maalej@adacore.com> - - * sem_spark.adb (Check_Loop_Statement): Fix a bug related to - loop exit environment. - (Check_Statement): fixing a bug when comparing the source and - target in an assignment statement. - -2018-09-26 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch12.adb (Instantiate_Package_Body): Capture and restore - the full compilation context. - (Instantiate_Subprogram_Body): Capture and restore the full - compilation context. - -2018-09-26 Yannick Moy <moy@adacore.com> - - * debug.adb: Add use for -gnatd_f switch. - * inline.adb (Cannot_Inline): Only issue info message for - failure to inline in GNATprove mode when switch -gnatd_f is - used. - -2018-09-26 Javier Miranda <miranda@adacore.com> - - * exp_disp.adb (Expand_Interface_Conversion): No displacement of - the pointer needed when the type of the operand is an interface - type that maches the target type and we are compiling under - configurable runtime. Adding also documentation explaining why - this cannot be done when compiling with the full runtime. - * exp_intr.adb: Update comment. - -2018-09-26 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch5.adb (Wrap_Loop_Statement): Annotate as No_Return. - -2018-09-26 Ed Schonberg <schonberg@adacore.com> - - * exp_util.adb (Make_Predicate_Call): Use OK_Convert_To when - applying a predicate check to prevent spurious errors when - private ancestors are involved. - -2018-09-26 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch4.adb (Expand_N_Allocator): Ensure that the use of the - secondary stack does not clash with restriction - No_Secondary_Stack. - * exp_ch6.adb (Expand_N_Extended_Return_Statement): Ensure that - the use of the secondary stack does not clash with restriction - No_Secondary_Stack. - * sem_ch5.adb (Analyze_Loop_Statement): Wrap the loop in a block - prior to analysis in order to either provide a local scope for - an iterator, or ensure that the secondary stack is properly - managed. - (Check_Call): Account for the case where the tree may be - unanalyzed or contain prior errors. - (Has_Call_Using_Secondary_Stack): Renamed to Has_Sec_Stack_Call. - Update all uses of the subprogram. - (Prepare_Loop_Statement): New routine. - -2018-09-26 Javier Miranda <miranda@adacore.com> - - * sem_res.adb (Resolve_Actuals): If the formal is a class-wide - type conversion then do not skip resolving and expanding the - conversion; required to displace the pointer to the object and - reference the dispatch table associated with the target - interface type. - -2018-09-26 Hristian Kirtchev <kirtchev@adacore.com> - - * libgnat/g-dynhta.adb (Prepend_Or_Replace): Update the number - of key-value pairs in the hash table only when adding a brand - new pair. - -2018-09-26 Sergey Rybin <rybin@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Add note about - processing of aggregate projects in gnatmetric and gnatstub. - -2018-09-26 Hristian Kirtchev <kirtchev@adacore.com> - - * contracts.adb, exp_unst.adb, exp_util.adb, gnat1drv.adb, - opt.ads, par-prag.adb, sem_ch3.adb, sem_ch5.adb, sem_prag.adb, - sinfo.ads, snames.ads-tmpl: Minor reformatting. - -2018-09-26 Hristian Kirtchev <kirtchev@adacore.com> - - * gcc-interface/Make-lang.in: Add unit GNAT.Sets to the list of - front end sources. - * impunit.adb: Add unit GNAT.Sets to the list of predefined - units. - * Makefile.rtl: Add unit GNAT.Sets to the list of non-tasking - units. - * libgnat/g-sets.adb: New unit. - * libgnat/g-sets.ads: New unit. - * libgnat/g-dynhta.adb (Minimum_Size): Decrease to 8 in order to - allow for small sets. Update all occurrences of Table_Locked to - Iterated. - (Ensure_Unlocked): Query the number of iterators. - (Find_Node): Use the supplied equality. - (Is_Empty): New routine. - (Lock): Update the number of iterators. - (Prepend_Or_Replace): Use the supplied equality. - (Size): Update the return type. - (Unlock): Update the number of iterators. - * libgnat/g-dynhta.ads: Update all occurrences of Table_Locked - to Iterated. Rename formal subprogram Equivalent_Keys to "=". - (Bucket_Range_Type, Pair_Count_Type): Remove types. - (Not_Created, Table_Locked, Iterator_Exhausted): Remove - exceptions. - (Hash_Table): Update to store the number of iterators rather - than locks. - (Is_Empty): New routine. - (Size): Update the return type. - * libgnat/g-lists.adb: Update all occurrences of List_Locked to - Iterated. - (Ensure_Unlocked): Query the number of iterators. - (Length): Remove. - (Lock): Update the number of iterators. - (Size): New routine. - (Unlock): Update the number of iterators. - * libgnat/g-lists.ads: Update all occurrences of List_Locked to - Iterated. - (Element_Count_Type): Remove type. - (Not_Created, Table_Locked, Iterator_Exhausted): Remove - exceptions. - (Linked_List): Update type to store the number of iterators - rather than locks. - (Length): Remove. - (Size): New routine. - * libgnat/gnat.ads (Bucket_Range_Type): New type. - (Iterated, Iterator_Exhausted, and Not_Created): New exceptions. - -2018-09-26 Javier Miranda <miranda@adacore.com> - - * checks.adb (Install_Null_Excluding_Check): Do not add - null-excluding checks when the tree may not be fully decorated. - This patch cascade errors. - -2018-09-26 Gary Dismukes <dismukes@adacore.com> - - * sem_ch3.adb (Analyze_Object_Declaration): Remove test for - Comes_From_Source, which prevented implicit conversions from - being applied to anonymous access-to-subprogram formals in - constant declartions that arise from instance associations for - generic formal objects. Add RM and AARM references to comment. - -2018-09-26 Olivier Hainque <hainque@adacore.com> - - * opt.ads (OpenAcc_Enabled): New flag. False by default. True - when OpenACC pragmas are requested to be honored, when -fopenacc - is found on the command line. - * back_end.adb (Scan_Compiler_Arguments): Set OpenACC_Enabled if - -fopenacc is seen on the command line. - * sinfo.adb, sinfo.ads (Is_OpenAcc_Environment): New - flag/predicate on Loop statements which embed an Acc_Kernels, - Acc_Parallel or Acc_Data pragma. - (Is_OpenAcc_Loop): New flag/predicate on Loop statements which - embed an Acc_Loop pragma. - (Set_Is_OpenAcc_Environment, Set_Is_OpenAcc_Loop): Setters for - the new flags. - * par-prag.adb (Prag): Handle Acc_Data, Acc_Loop, Acc_Parallel - and Acc_Kernels pragmas. Nothing to do here, all handled by - sem_prag. - * sem_prag.adb (Acc_First, Acc_Next, - Validate_Acc_Condition_Clause, Validate_Acc_Data_Clause, - Validate_Acc_Int_Expr_Clause, Validate_Acc_Int_Expr_List_Clause, - Validate_Acc_Loop_Collapse, Validate_Acc_Loop_Gang, - Validate_Acc_Loop_Vector, Validate_Acc_Loop_Worker, - Validate_Acc_Name_Reduction, Validate_Acc_Size_Expressions): New - helper for Analyze_Pragma, to handle OpenACC pragmas. - (Analyze_Pragma): Handle Acc_Data, Acc_Loop, Acc_Parallel and - Acc_Kernels pragmas. - * sem_ch5.adb (Disable_Constant): Unset Is_True_Constant on - variable entity, action for ... - (Disable_Constants): Helper for Analyze_Loop_Statement, to ... - (Analyze_Loop_Statement): Disable True_Constant on variables - referenced within an OpenACC environment. - * snames.ads-tmpl: Declare Name_Ids for the OpenACC directives - and clauses we can handle. Remove an exraneous whitespace before - columns, preventing line length overflow in the generated spec - with Ids now reaching beyond 999. - * doc/gnat_rm/implementation_defined_pragmas.rst: Document - pragma Acc_Parallel, Acc_Loop, Acc_Kernels and Acc_Data. - * gnat_rm.texi: Regenerate. - -2018-09-26 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Is_Onown_Limited): A derived type whose parent P - is a derived limited record is not itself limited if P is a - derived limited interface. - -2018-09-26 Eric Botcazou <ebotcazou@adacore.com> - - * sem_ch7.adb (Has_Referencer): Remove Top_Level parameter and - add In_Nested_Instance and - Has_Outer_Referencer_Of_Non_Subprograms parameters. Rename - Has_Non_Subprograms_Referencer variable into - Has_Referencer_Of_Non_Subprograms and initialize it with the new - third parameter. Adjust recursive calls and to the renaming. - Replace test on Top_Level with test on In_Nested_Instance to - decide whether to clear the Is_Public flag on entities. - (Hide_Public_Entities): Adjust call to Has_Referencer. - -2018-09-26 Eric Botcazou <ebotcazou@adacore.com> - - * exp_disp.adb (Expand_Interface_Conversion): Use Present test. - (Expand_Interface_Thunk): Propagate debug info setting from - target. - * exp_util.ads (Find_Interface_Tag): Adjust comment. - * exp_util.adb (Find_Interface_Tag): Remove assertions of - success. - * sem_util.adb (Is_Variable_Size_Record): Only look at - components and robustify the implementation. - * fe.h (Find_Interface_Tag): Declare. - (Is_Variable_Size_Record): Likewise. - -2018-09-26 Thomas Quinot <quinot@adacore.com> - - * exp_util.adb (Make_CW_Equivalent_Type): Propagate bit order - and scalar storage order from root type to classwide equivalent - type, to prevent rejection of the equivalent type by the - freezing circuitry. - -2018-09-26 Justin Squirek <squirek@adacore.com> - - * sem_ch5.adb (Analyze_Iterator_Specification): Add conditional - to freeze called functions within iterator specifications during - full analysis. - (Preanalyze_Range): Minor typo fix. - -2018-09-26 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Analyze_Function_Return): If the return type has - a dynamic_predicate, apply a Predicate_Check to the expression, - given that it is implicitly converted to the return type. - Exclude case expressions from the check, because in this context - the expression is expanded into individual return statements. - -2018-09-26 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Task_Type>: In - -gnatct mode, process the discriminants only for a definition. - -2018-09-26 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_Record_Layout): Be prepared for JSON output. - (List_Record_Info): Use the flat representation for record - subtypes in the JSON format. - -2018-09-26 Justin Squirek <squirek@adacore.com> - - * lib-writ.adb, lib-writ.ads (Write_With_Lines): Add - documentation and an extra conditional check for RCI units so - that generated ali files will list the spec only instead of a - body when a body is not found. - -2018-09-26 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/gigi.h (error_gnat_node): Delete. - * gcc-interface/trans.c (error_gnat_node): Likewise. - (gigi): Replace it with Current_Error_Node. - (gnat_to_gnu): Likewise. - * gcc-interface/utils.c (rest_of_subprog_body_compilation): - Likewise. - * gcc-interface/misc.c (internal_error_function): Do not set it. - -2018-09-26 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Adjust - code retrieving the address when a clause has already been - processed. - * gcc-interface/trans.c (gnat_to_gnu) - <N_Attribute_Definition_Clause>: For an object with a Freeze - node, build a meaningful expression. - -2018-09-26 Arnaud Charlet <charlet@adacore.com> - - * gnat1drv.adb (Adjust_Global_Switches): -gnatd_A sets - Opt.Disable_ALI_File. - * debug.adb: Update debug flags documentation. - -2018-09-26 Ed Schonberg <schonberg@adacore.com> - - * contracts.adb (Analyze_Entry_Or_Subprogram_Contract): The - analysis of preconditions specified by pragmas (rather than - aspects) is not delayed, and therefore expressions functions - that are completions do not need special handling during - expansion. - -2018-09-26 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb: Fix handling of up level references for entries. - -2018-09-26 Ed Schonberg <schonberg@adacore.com> - - * contracts.adb (Expand_Subprogram_Contract, - Process_Preconditions_For): Apply Freeze_Expr_Types to the - expression for a precondition of an expression function that is - a completion, when the completion appears in the private part - and the declaration it completes is in the visible part of the - same package. - * freeze.adb (Freeze_Expr_Types): Do not establish the scope of - the operation if it is already installed, as will be the case - when called to analyze the contract oc the subprogram (which - happens when generating code inside the subprogram body). - -2018-09-26 Maroua Maalej <maalej@adacore.com> - - * sem_spark.adb (Check_Param_In, Setup_Parameter_Or_Global): - Change the operation associated to assigning to an IN parameter. - In SPARK, IN access-to-variable is an observe operation for a - function, and borrow operation for a procedure. - -2018-09-26 Arnaud Charlet <charlet@adacore.com> - - * vxlink.adb: Minor reformatting. - -2018-09-26 Gary Dismukes <dismukes@adacore.com> - - * exp_ch9.adb, layout.adb, sem_attr.adb, sem_res.adb: Fix - miscellaneous typos. - -2018-09-26 Jerome Lambourg <lambourg@adacore.com> - - * vxlink.adb: Kill a CodePeer warning. - -2018-09-24 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/87396 - * fe.h (Get_Attribute_Definition_Clause): Use 'unsigned char' instead - of 'char' as the type of the second parameter. - -2018-09-13 Eric Botcazou <ebotcazou@adacore.com> - - * Makefile.rtl (arm% linux-gnueabi%): Always set EH_MECHANISM to -arm. - -2018-09-13 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/81103 - * terminals.c: Do not include termio.h. - -2018-08-27 Martin Liska <mliska@suse.cz> - - * gcc-interface/decl.c (update_profile): Use new function - fndecl_built_in_p and remove check for FUNCTION_DECL if - possible. - * gcc-interface/gigi.h (call_is_atomic_load): Likewise. - * gcc-interface/utils.c (gnat_pushdecl): Likewise. - -2018-08-23 Giuliano Belinassi <giuliano.belinassi@usp.br> - - * exp_unst.ads: Fix typo 'exapnded' to 'expanded'. - -2018-08-21 Hristian Kirtchev <kirtchev@adacore.com> - - * checks.adb, contracts.adb, exp_aggr.adb, exp_attr.adb, - exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_unst.adb, - exp_util.adb, freeze.adb, gnatlink.adb, layout.adb, - lib-writ.adb, lib-xref-spark_specific.adb, sem_ch13.adb, - sem_ch3.adb, sem_ch6.adb, sem_res.adb, sem_util.adb, sinfo.ads, - sprint.adb: Minor reformatting. - -2018-08-21 Jerome Lambourg <lambourg@adacore.com> - - * vxlink-bind.adb, vxlink-bind.ads, vxlink-link.adb, - vxlink-link.ads, vxlink-main.adb, vxlink.adb, vxlink.ads: Add a - new tool vxlink to handle VxWorks constructors in DKMs. - * gcc-interface/Makefile.in: add rules to build vxlink - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Analyze_Subprogram_Body_Helper, Mask_Type): - Refine the handling of freezing types for expression functions - that are not completions, when analyzing the generated body for - the function: the body is inserted at the end of the enclosing - declarative part, and its analysis may freeze types declared in - the same scope that have not been frozen yet. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb: Remove Freeze_Expr_Types. - * freeze.ads, freeze.adb (Freeze_Expr_Types): Moved from - sem_ch6.adb, and extended to handle other expressions that may - contain unfrozen types that must be frozen in their proper - scopes. - * contracts.adb (Analyze_Entry_Or_Subprogram_Contract): If the - contract is for the generated body of an expression function - that is a completion, traverse the expressions for pre- and - postconditions to freeze all types before adding the contract - code within the subprogram body. - -2018-08-21 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch10.adb: Remove the with and use clause for unit Ghost. - (Analyze_With_Clause): Do not mark a with clause which mentions - an ignored Ghost code for elimination. - -2018-08-21 Javier Miranda <miranda@adacore.com> - - * lib-writ.adb (Write_Unit_Information): Handle pragmas removed - by the expander. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Check_Synchronized_Overriding): The conformance - between an overriding protected operation and the overridden - abstract progenitor operation requires subtype conformance; - requiring equality of return types in the case of a function is - too restrictive and leads to spurious errors when the return - type is a generic actual. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * exp_ch9.adb (Expand_N_Timed_Entry_Call, - Expand_Conditional_Entry_Call): Use Reset_Scopes_Of to set - properly the scope of all entities created in blocks generated - by the expansion of these constructs. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_ch13.adb (Build_Predicate_Functioss): Apply - Reset_Quantified_Variables_Scope after predicate function has - been analyzed, so that the scope can be reset on the generated - loop statements that have replaced the quantified expressions. - -2018-08-21 Bob Duff <duff@adacore.com> - - * einfo.ads, einfo.adb (Private_View, Shadow_Entities): Remove - obsolete code. - -2018-08-21 Maroua Maalej <maalej@adacore.com> - - * sem_spark.adb (Check_Call_Statement): Check global and formal - parameter permissions at call sites. - (Check_Callable_Body): Assume permissions on globals and - parameters depending on their modes then analyse the body - operations. - (Check_Declaration): Consider both deep (including elementary - access) object declarations and normal variables. First check - whether the deep object is of Ownership Aspec True or not, then, - depending on its initialization, assign the appropriate state. - Check related to non access type variables deal with - initialization value permissions. - (Check_Expression): Check nodes used in the expression being - analyzed. - (Check_Globals): Call by Check_Call_Statement to perform the - check on globals. - (Check_List): Call Check_Node on each element of the list. - (Check_Loop_Statement): Check the Iteration_Scheme and loop - statements. - (Check_Node): Main traversal procedure to check safe pointer usage. - (Check_Package_Body): Check subprogram's body. - (Check_Param_In): Take a formal and an actual parameter and - Check the permission of every in-mode parameter. - (Check_Param_Out): Take a formal and an actual parameter and - check the state of out-mode and in out-mode parameters. - (Check_Statement): Check statements other than procedure call. - (Get_Perm, Get_Perm_Or_Tree, Get_Perm_Tree): Find out the state - related to the given name. - (Is_Deep): Return True if an object is of access type or has - subfields of access type. - (Perm_Error, Perm_Error_Subprogram_End): Add an error message - whenever the found state on the given name is different from the - one expected (in the statement being analyzed). - (Process_Path): Given an operation and a current state, call - Perm_Error if there is any mismatch. - (Return_Declarations, Return_Globals, Return_The_Global): Check - the state of a given name at the end of the subprogram. These - procedures may change depending on how we shall finally deal - with globals and the rhs state in a move operation. - (Set_Perm_Extensions, Set_Perm_Prefixes_Borrow, - Set_Perm_Prefixes, Setup_Globals, Setup_Parameter_Or_Global, - Setup_Parameters): Set up the new states to the given node and - up and down the tree after an operation. - (Has_Ownership_Aspect_True): This function may disappear later - when the Ownership Aspect will be implemented in the FE. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Resolve_Call): Resolve correctly a parameterless - call that returns an access type whose designated type is the - component type of an array, when the function has no defaulted - parameters. - -2018-08-21 Yannick Moy <moy@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst: - Document entries of the target parametrization file. - * gnat_ugn.texi: Regenerate. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_attr.adb: Set scope of elaboration flag for 'Access. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sprint.adb: Add guard on printing aspects. - -2018-08-21 Javier Miranda <miranda@adacore.com> - - * exp_cg.adb (Generate_CG_Output): Handle calls removed by the - expander. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * layout.adb: Do not set size of access subprogram if unnesting. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * freeze.adb: Remove warnings for access to subprograms when - unnesting is active. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * exp_aggr.adb (Expand_Array_Aggregate): If the component type - is limited, the array must be constructed in place, so set flag - In_Place_Assign_OK_For_Declaration accordingly. This prevents - improper copying of an array of tasks during initialization. - -2018-08-21 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (Call_to_gnu): Always suppress an - unchecked conversion around the actual for an In parameter - passed by copy. - -2018-08-21 Eric Botcazou <ebotcazou@adacore.com> - - * exp_util.adb (Is_Possibly_Unaligned_Object): For the case of a - selected component inherited in a record extension and subject - to a representation clause, retrieve the position and size from - the original record component. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_util.ads, sem_util.adb (New_External_Entity): Type of - Suffix_Index must be Int, not Nat, so that a negative value can - be used to generate a unique name for an external object, as - specified in Tbuild.New_External_Name. - (Scope_Within): Handle private type whose completion is a - synchronized type (For unnesting). - * itypes.ads, itypes.adb (Create_Itype): Ditto - * sem_ch3.adb (Constrain_Corresponding_Record): Generate a - unique name for the created subtype, because there may be - several discriminated tasks present in the same scope, and each - needs its distinct corresponding record subtype. - -2018-08-21 Yannick Moy <moy@adacore.com> - - * doc/gnat_ugn/gnat_and_program_execution.rst: Update - documentation of dimensionality analysis. - * gnat_ugn.texi: Regenerate. - * Makefile.rtl, impunit.adb: Consider the new units. - * libgnat/s-dfmkio.ads, libgnat/s-dfmopr.ads, - libgnat/s-diflmk.ads: New units based on Float. - * libgnat/s-dilomk.ads, libgnat/s-dlmkio.ads, - libgnat/s-dlmopr.ads: New units based on Long_Float. - * libgnat/s-dmotpr.ads: Rename to libgnat/s-dgmgop.ads and turn - into an instance of - System.Dim.Generic_Mks.Generic_Other_Prefixes. - * libgnat/s-dimmks.ads: Rename to libgnat/s-digemk.ads and turn - into an instance of System.Dim.Generic_Mks. - -2018-08-21 Hristian Kirtchev <kirtchev@adacore.com> - - * impunit.adb: Add g-lists to the set of non-implementation - units. - * libgnat/g-lists.adb, libgnat/g-lists.ads: New unit. - * Makefile.rtl: Add g-lists to the set of non-tasking units. - * gcc-interface/Make-lang.in: Add g-lists to the set of files - used by gnat1. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * exp_ch9.adb (Reset_Scopes): Do not recurse into type - declarations when resetting the scope of entities declared the - procedures generated for entry bodies and accept alternatives. - Use the entity of the procedure declaration, not its body, as - the new scope. - -2018-08-21 Hristian Kirtchev <kirtchev@adacore.com> - - * einfo.adb (Elaboration_Entity): Include entries and entry - families in the set of legal entities. - (Elaboration_Entity_Required): Include entries and entry - families in the set of legal entities. - (Set_Elaboration_Entity): Include entries and entry families in - the set of legal entities. - (Set_Elaboration_Entity_Required): Include entries and entry - families in the set of legal entities. - (Write_Field13_Name): Update the output of attribute - Elaboration_Entity. - * einfo.ads: Attributes Elaboration_Entity and - Elaboration_Entity_Required now apply to entries and entry - families. - -2018-08-21 Arnaud Charlet <charlet@adacore.com> - - * set_targ.adb: Mark some CodePeer message as Intentional. - -2018-08-21 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Resolve_Call): Force the freezing of an - expression function that is called to provide a default value - for a defaulted discriminant in an object initialization. - -2018-08-21 Hristian Kirtchev <kirtchev@adacore.com> - - * libgnat/g-dynhta.adb, libgnat/g-dynhta.ads: New package - Dynamic_HTable. - -2018-08-21 Javier Miranda <miranda@adacore.com> - - * checks.ads (Determine_Range): Adding documentation. - * checks.adb (Determine_Range): Don't deal with enumerated types - with non-standard representation. - (Convert_And_Check_Range): For conversion of enumeration types - with non standard representation to an integer type perform a - direct conversion to the target integer type. - -2018-08-21 Piotr Trojanek <trojanek@adacore.com> - - * lib-xref.ads, lib-xref-spark_specific.adb - (Enclosing_Subprogram_Or_Library_Package): Now roughtly works - for pragmas that come from aspect specifications. - -2018-08-21 Pierre-Marie de Rodat <derodat@adacore.com> - - * sa_messages.ads, sa_messages.adb: New source files. - -2018-08-03 Pierre-Marie de Rodat <derodat@adacore.com> - - Reverts - 2018-07-06 Jim Wilson <jimw@sifive.com> - - * Make-generated.in (treeprs.ads): Use $(GNATMAKE) instead of gnatmake. - (einfo.h, sinfo.h, stamp-snames, stamp-nmake): Likewise. - * gcc-interface/Makefile.in (xoscons): Likewise. - -2018-07-31 Alexandre Oliva <oliva@adacore.com> - Olivier Hainque <hainque@adacore.com> - - * gcc-interface/trans.c: Include debug.h. - (file_map): New static variable. - (gigi): Set it. Create decl_to_instance_map when needed. - (Subprogram_Body_to_gnu): Pass gnu_subprog_decl to... - (Sloc_to_locus): ... this. Add decl parm, map it to instance. - * gcc-interface/gigi.h (Sloc_to_locus): Adjust declaration. - -2018-07-31 Arnaud Charlet <charlet@adacore.com> - - * clean.adb, gnatchop.adb, gnatfind.adb, gnatls.adb, - gnatmake.ads, gnatxref.adb, make.adb, make.ads, make_util.ads, - sfn_scan.adb, vxaddr2line.adb, xeinfo.adb, xoscons.adb, - xr_tabls.adb, xref_lib.adb: Address CodePeer messages. - -2018-07-31 Arnaud Charlet <charlet@adacore.com> - - * gnatlink.adb: Fix potential Constraint_Error if - Library_Version is too long. - -2018-07-31 Arnaud Charlet <charlet@adacore.com> - - * sem_elab.adb: Remove duplicate condition detected by CodePeer. - -2018-07-31 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Subp_Index): In the case of a protected - operation, the relevant entry is the generated - protected_subprogram_body into which the original body is - rewritten. Assorted cleanup and optimizations. - -2018-07-31 Ed Schonberg <schonberg@adacore.com> - - * exp_attr.adb (Expand_Attribute, case Fixed_Value): Set the - base type of the result to ensure that proper overflow and range - checks are generated. If the target is a fixed-point tyoe, - generate the required overflow and range checks explicitly, - rather than relying on Apply_Type_Conversion_Checks, which might - simply set the Do_Range_Check flag and rely on the backend to - add the check. - -2018-07-31 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_res.adb (Resolve_Call): Establish a transient scope to - manage the secondary stack when the designated type of an - access-to-subprogram requires it. - -2018-07-31 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Check_Unnesting_Elaboration_Code): To find local - subprograms in the elaboration code for a package body, recurse - through nested statement sequences because a compiler-generated - procedure may appear within a condition statement. - -2018-07-31 Ed Schonberg <schonberg@adacore.com> - - * exp_ch6.adb (Expand_Protected_Subprogram_Call): Handle - properly a protected call that includes a default parameter that - is a call to a protected function of the same type. - -2018-07-31 Justin Squirek <squirek@adacore.com> - - * lib-writ.adb (Write_With_Lines): Modfiy the generation of - dependencies within ali files so that source unit bodies are - properly listed even if said bodies are missing. Perform legacy - behavior in GNATprove mode. - * lib-writ.ads: Modify documentation to reflect current behavior. - -2018-07-31 Eric Botcazou <ebotcazou@adacore.com> - - * libgnarl/s-osinte__solaris.ads (upad64_t): New private type. - (mutex_t): Use it for 'lock' and 'data' components. - (cond_t): Likewise for 'data' and use single 'flags' component. - -2018-07-31 Justin Squirek <squirek@adacore.com> - - * exp_ch5.adb (Make_Field_Assign): Force temporarily generated - objects for assignment of overlaid user objects to be renamings - instead of constant declarations. - -2018-07-31 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch9.adb (Analyze_Pragmas): New routine. - (Build_Private_Protected_Declaration): Code clean up. Relocate - relevant aspects and pragmas from the stand-alone body to the - newly created spec. Explicitly analyze any pragmas that have - been either relocated or produced by the analysis of the - aspects. - (Move_Pragmas): New routine. - * sem_prag.adb (Find_Related_Declaration_Or_Body): Recognize the - case where a pragma applies to the internally created spec for a - stand-along subprogram body declared in a protected body. - -2018-07-31 Gary Dismukes <dismukes@adacore.com> - - * exp_ch6.adb (Expand_N_Extended_Return_Statement): Replace - calls to Current_Scope in three assertions with calls to - Current_Subprogram. - -2018-07-31 Ed Schonberg <schonberg@adacore.com> - - * sem_eval.adb (Check_Non_Static_Context): Do not warn on an - integer literal greater than the upper bound of - Universal_Integer'Last when expansion is disabled, to avoid a - spurious warning over ranges involving 64-bit modular types. - -2018-07-31 Arnaud Charlet <charlet@adacore.com> - - * einfo.adb (Write_Entity_Flags): Also print - Is_Activation_Record flag. - -2018-07-31 Piotr Trojanek <trojanek@adacore.com> - - * exp_aggr.adb, exp_ch4.adb, exp_ch6.adb, lib-xref.adb, - repinfo.adb, sem_ch9.adb: Minor replace Ekind membership tests - with a wrapper routine. - -2018-07-31 Piotr Trojanek <trojanek@adacore.com> - - * ali.adb (Known_ALI_Lines): Remove 'F' as a prefix for lines - related to the FORMAL analysis done by GNATprove. - -2018-07-31 Javier Miranda <miranda@adacore.com> - - * sem.ads (Inside_Preanalysis_Without_Freezing): New global - counter. - * sem.adb (Semantics): This subprogram has now the - responsibility of resetting the counter before analyzing a unit, - and restoring its previous value before returning. - * freeze.adb (Freeze_Entity): Do not freeze if we are - preanalyzing without freezing. - * sem_res.adb (Preanalyze_And_Resolve): Set & restore - In_Preanalysis_Without_Freezing. - -2018-07-31 Ed Schonberg <schonberg@adacore.com> - - * sem_ch4.adb (Traverse_Homonyms): Consider generic actuals that - may rename a matching class-wide operation only if the renaming - declaration for that actual is in an enclosing scope (i.e. - within the corrresponding instance). - -2018-07-31 Hristian Kirtchev <kirtchev@adacore.com> - - * checks.adb, contracts.adb, exp_aggr.adb, exp_ch5.adb, - exp_disp.adb, make.adb, sem_ch4.adb, sem_eval.adb, sem_res.adb, - usage.adb: Minor reformatting. - -2018-07-31 Bob Duff <duff@adacore.com> - - * sem_res.adb (Resolve_Allocator): Do not complain about the - implicit allocator that occurs in the expansion of a return - statement for a build-in-place function. - -2018-07-20 Martin Sebor <msebor@redhat.com> - - PR middle-end/82063 - * gcc-interface/misc.c (gnat_handle_option): Change function argument - to HOST_WIDE_INT. - -2018-07-17 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (choices_to_gnu): Rename parameters. Deal with - an operand of Character type. Factor out range generation to the end. - Check that the bounds are literals and convert them to the type of the - operand before building the ranges. - * gcc-interface/utils.c (make_dummy_type): Minor tweak. - (make_packable_type): Propagate TYPE_DEBUG_TYPE. - (maybe_pad_type): Likewise. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * sem_ch4.adb (Try_Object_Operation): Handle properly a prefixed call - in an instance, when the generic parameters include an interface type - and a abstract operation of that type, and the actuals in the instance - include an interface type and a corresponding abstract operation of it, - with a different name than the corresponding generic subprogram - parameter. - -2018-07-17 Arnaud Charlet <charlet@adacore.com> - - * sem_eval.adb (Rewrite_In_Raise_CE): Keep the original reason in more - cases. - -2018-07-17 Arnaud Charlet <charlet@adacore.com> - - * checks.adb (Apply_Division_Check): Add provision for floating-point - checks. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * exp_aggr.adb (Component_OK_For_Backend): If an array component of the - enclosing record has a bound that is out of range (and that has been - rewritten as a raise statement) the aggregate is not OK for any back - end, and should be expanded into individual assignments. - -2018-07-17 Piotr Trojanek <trojanek@adacore.com> - - * atree.adb (Relocate_Node): Simplify with Is_Rewrite_Substitution. - -2018-07-17 Piotr Trojanek <trojanek@adacore.com> - - * sem_util.ads (Denotes_Same_Object): Likewise. - * sem_warn.adb (Warn_On_Overlapping_Actuals): Fix RM rule references. - -2018-07-17 Eric Botcazou <ebotcazou@adacore.com> - - * exp_disp.adb (Make_Tags): When the type has user-defined primitives, - build the access type that is later used by Build_Get_Prim_Op_Address - as pointing to a subtype of Ada.Tags.Address_Array. - -2018-07-17 Patrick Bernardi <bernardi@adacore.com> - - * libgnat/s-memory__mingw.adb: Remove. - * Makefile.rtl: Remove s-memory.adb target pair from the Cygwin/Mingw32 - section. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * frontend.adb (Frontend): The removal of ignored Ghost code must be - the last semantic operation performed on the tree. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * frontend.adb (Frontend): Update the call to Register_Config_Switches. - * inline.ads: Add new component Config_Switches to record - Pending_Body_Info which captures the configuration state of the pending - body. Remove components Version, Version_Pragma, SPARK_Mode, and - SPARK_Mode_Pragma from record Pending_Body_Info because they are - already captured in component Config_Switches. - * opt.adb (Register_Opt_Config_Switches): Rename to - Register_Config_Switches. - (Restore_Opt_Config_Switches): Rename to Restore_Config_Switches. - (Save_Opt_Config_Switches): Rename to Save_Config_Switches. This - routine is now a function, and returns the saved configuration state as - an aggregate to avoid missing an attribute. - (Set_Opt_Config_Switches): Rename to Set_Config_Switches. - * opt.ads (Register_Opt_Config_Switches): Rename to - Register_Config_Switches. - (Restore_Opt_Config_Switches): Rename to Restore_Config_Switches. - (Save_Opt_Config_Switches): Rename to Save_Config_Switches. This - routine is now a function. - (Set_Opt_Config_Switches): Rename to Set_Config_Switches. - * par.adb (Par): Update the calls to configuration switch-related - subprograms. - * sem.adb (Semantics): Update the calls to configuration switch-related - subprograms. - * sem_ch10.adb (Analyze_Package_Body_Stub): Update the calls to - configuration switch-related subprograms. - (Analyze_Protected_Body_Stub): Update the calls to configuration - switch-related subprograms. - (Analyze_Subprogram_Body_Stub): Update calls to configuration - switch-related subprograms. - * sem_ch12.adb (Add_Pending_Instantiation): Update the capture of - pending instantiation attributes. - (Inline_Instance_Body): Update the capture of pending instantiation - attributes. It is no longer needed to explicitly manipulate the SPARK - mode. - (Instantiate_Package_Body): Update the restoration of the context - attributes. - (Instantiate_Subprogram_Body): Update the restoration of context - attributes. - (Load_Parent_Of_Generic): Update the capture of pending instantiation - attributes. - (Set_Instance_Env): Update the way relevant configuration attributes - are saved and restored. - -2018-07-17 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Deal with - more rvalues in the expression of a renaming. - -2018-07-17 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Define for - METHOD_TYPE too. - (TYPE_RETURN_UNCONSTRAINED_P): Likewise. - (TYPE_CI_CO_LIST): Likewise. - * gcc-interface/gigi.h (is_cplusplus_method): Delete. - (fntype_same_flags_p): Adjust comment. - * gcc-interface/decl.c (Has_Thiscall_Convention): Delete. - (gnat_to_gnu_entity) <E_Subprogram_Type>: Do not set the "thiscall" - attribute directly. - (is_cplusplus_method): Make static and adjust head comment. - (gnat_to_gnu_param): Return a pointer for the "this" parameter of - C++ constructors. - (gnat_to_gnu_subprog_type): Turn imported C++ constructors into their - callable form. Generate a METHOD_TYPE node for imported C++ methods. - Set param_list at the very end of the processing. - (substitute_in_type) <METHOD_TYPE>: New case. - * gcc-interface/misc.c (gnat_print_type) <METHOD_TYPE>: Likewise. - (gnat_type_hash_eq): Accept METHOD_TYPE. - * gcc-interface/trans.c (Identifier_to_gnu): Deal with METHOD_TYPE. - (Attribute_to_gnu): Likewise. - (Call_to_gnu): Likewise. - (process_freeze_entity): Likewise. - * gcc-interface/utils.c (create_subprog_decl): Adjust head comment. - (fntype_same_flags_p): Likewise. - -2018-07-17 Piotr Trojanek <trojanek@adacore.com> - - * inline.adb (Expand_Inlined_Call): Remove extra parentheses. - -2018-07-17 Eric Botcazou <ebotcazou@adacore.com> - - * exp_disp.adb (Gen_Parameters_Profile): Make the _Init parameter an - In/Out parameter. - (Set_CPP_Constructors): Adjust comment accordingly. - -2018-07-17 Bob Duff <duff@adacore.com> - - * exp_disp.adb (Build_Class_Wide_Check): Return early if the - precondition is supposed to be ignored. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Check_Untagged_Equality): Extend check to operations - declared in the same scope as the operand type, when that scope is a - procedure. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Unnest_Subprograms): Do nothing if the expander is not - active. Don't use Get_Actual_Subtype for record subtypes. Ignore - rewritten identifiers and uplevel references to bounds of types that - come from the original type reference. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch13.adb, exp_ch7.adb, exp_unst.adb, freeze.adb, - libgnat/s-os_lib.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb, - sem_eval.adb, sem_res.adb, sem_util.adb: Minor reformatting. - -2018-07-17 Javier Miranda <miranda@adacore.com> - - * exp_ch13.adb (Expand_N_Freeze_Entity): Handle subtype declared for an - iterator. - * freeze.adb (Freeze_Expression): Handle freeze of an entity defined - outside of a subprogram body. This case was previously handled during - preanalysis; the frozen entities were remembered and left pending until - we continued freezeing entities outside of the subprogram. Now, when - climbing the parents chain to locate the correct placement for the - freezeing node, we check if the entity can be frozen and only when no - enclosing node is marked as Must_Not_Freeze the entity is frozen. - * sem_ch3.ads (Preanalyze_Default_Expression): Declaration moved to the - package body. - * sem_ch3.adb (Preanalyze_Default_Expression): Code adjusted to invoke - the new subprogram Preanalyze_With_Freezing_And_Resolve. - * sem_ch6.adb (Preanalyze_Formal_Expression): New subprogram. - (Analyze_Expression_Function, Process_Formals): Invoke - Preanalyze_Formal_Expression instead of Preanalyze_Spec_Expression - since the analysis of the formals may freeze entities. - (Analyze_Subprogram_Body_Helper): Skip building the body of the - class-wide clone for eliminated subprograms. - * sem_res.ads, sem_res.adb (Preanalyze_And_Resolve): New subprogram. - Its code is basically the previous version of this routine but extended - with an additional parameter which is used to specify if during - preanalysis we are allowed to freeze entities. If the new parameter is - True then the subtree root node is marked as Must_Not_Freeze and no - entities are frozen during preanalysis. - (Preanalyze_And_Resolve): Invokes the internal version of - Preanalyze_And_Resolve without entity freezing. - (Preanalyze_With_Freezing_And_Resolve): Invokes the internal version of - Prenalyze_And_Resolve with freezing enabled. - -2018-07-17 Piotr Trojanek <trojanek@adacore.com> - - * einfo.ads, libgnat/g-comlin.ads: Minor change "ie" to "i.e." in docs - and comments. - -2018-07-17 Justin Squirek <squirek@adacore.com> - - * libgnat/s-os_lib.adb (Argument_String_To_List): Fix trimming of - whitespace. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_prag.adb (Has_Visible_State): Do not consider constants as - visible state because it is not possible to determine whether a - constant depends on variable input. - (Propagate_Part_Of): Add comment clarifying the behavior with respect - to constant. - -2018-07-17 Yannick Moy <moy@adacore.com> - - * gnat1drv.adb (Gnat1drv): Do not issue warning about exception not - being propagated in GNATprove mode. - -2018-07-17 Dmitriy Anisimkov <anisimko@adacore.com> - - * libgnat/g-socket.adb, libgnat/g-socket.ads: Reorganize and make - public components of Inet_Addr_Type. Introduce public binary - operations. - -2018-07-17 Javier Miranda <miranda@adacore.com> - - * exp_ch7.adb (Make_Transient_Block): When determining whether an - enclosing scope already handles the secondary stack, take into account - transient blocks nested in a block that do not manage the secondary - stack and are located within a loop. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * sem_util.adb (Enclosing_Subprogram): Protected entries and task - entries must be treated separately: task entries are within the - enclosing subprogram of the task type, while protected entries are - transformed into the corresponding Protected_Body_Subprogram, which is - the enclosing_subprogram of any subprogram declared within the entry - body. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Add missing - sections on -gnatH and -gnatJ compiler switches. - * gnat_ugn.texi: Regenerate. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * alloc.ads: Update the allocation metrics of the ignored Ghost nodes - table. - * atree.adb: Add a soft link for a procedure which is invoked whenever - an ignored Ghost node or entity is created. - (Change_Node): Preserve relevant attributes which come from the Flags - table. - (Mark_New_Ghost_Node): Record a newly created ignored Ghost node or - entity. - (Rewrite): Preserve relevant attributes which come from the Flags - table. - (Set_Ignored_Ghost_Recording_Proc): New routine. - * atree.ads: Define an access-to-suprogram type for a soft link which - records a newly created ignored Ghost node or entity. - (Set_Ignored_Ghost_Recording_Proc): New routine. - * ghost.adb: Remove with and use clause for Lib. Remove table - Ignored_Ghost_Units. Add new table Ignored_Ghost_Nodes. - (Add_Ignored_Ghost_Unit): Removed. - (Initialize): Initialize the table which stores ignored Ghost nodes. - Set the soft link which allows Atree.Mark_New_Ghost_Node to record an - ignored Ghost node. - (Is_Ignored_Ghost_Unit): Use the ultimate original node when checking - an eliminated ignored Ghost unit. - (Lock): Release and lock the table which stores ignored Ghost nodes. - (Mark_And_Set_Ghost_Assignment): Record rather than propagate ignored - Ghost nodes. - (Mark_And_Set_Ghost_Procedure_Call): Record rather than propagate - ignored Ghost nodes. - (Mark_Ghost_Clause): Record rather than propagate ignored Ghost nodes. - (Mark_Ghost_Declaration_Or_Body): Record rather than propagate ignored - Ghost nodes. - (Mark_Ghost_Pragma): Record rather than propagate ignored Ghost nodes. - (Propagate_Ignored_Ghost_Code): Removed. - (Record_Ignored_Ghost_Node): New routine. - (Remove_Ignored_Ghost_Code): Reimplemented. - (Remove_Ignored_Ghost_Node): New routine. - (Ultimate_Original_Node): New routine. - * ghost.ads (Check_Ghost_Completion): Removed. - * sem_ch8.adb (Analyze_Use_Package): Remove obsolete code. Mark a use - package clause as ignored Ghost if applicable. - * sem_util.adb (Is_Body_Or_Package_Declaration): Reimplemented. - -2018-07-17 Javier Miranda <miranda@adacore.com> - - * sem_ch5.adb (Has_Call_Using_Secondary_Stack): Moved to library level - to reuse it. - (Analyze_Loop_Statement): Wrap the loop in a block when the evaluation - of the loop iterator relies on the secondary stack. - -2018-07-17 Piotr Trojanek <trojanek@adacore.com> - - * sem_util.adb (Next_Actual): If the parent is a N_Null_Statement, - which happens for inlined calls, then fetch the next actual from the - original AST. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads: Update documentation for Scalar_Range. - -2018-07-17 Piotr Trojanek <trojanek@adacore.com> - - * lib-xref-spark_specific.adb (Create_Heap): Attach the HEAP entity to - the Standard package. - -2018-07-17 Piotr Trojanek <trojanek@adacore.com> - - * einfo.adb (Is_Wrapper_Package): Remove extra parentheses. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * sem_util.adb (Enclosing_Subprogram): Handle properly entries, and - synchronized types that are completions of limited types or private - extensions. - (Scope_Within): Handle properly accept statements in task bodies. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_prag.adb (Has_Visible_State): Do not consider generic formals - because they are not part of the visible state space. Add constants to - the list of acceptable visible states. - (Propagate_Part_Of): Do not consider generic formals when propagating - the Part_Of indicator. - * sem_util.adb (Entity_Of): Do not follow renaming chains which go - through a generic formal because they are not visible for SPARK - purposes. - * sem_util.ads (Entity_Of): Update the comment on usage. - -2018-07-17 Ed Schonberg <schonberg@adacore.com> - - * sem_util.adb (Gather_Components): A discriminant of an ancestor may - have been constrained by a later ancestor, so when looking for the - value of that hidden discriminant we must examine the stored constraint - of other ancestors than the immediate parent type. - -2018-07-17 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch6.adb (Build_Heap_Or_Pool_Allocator): Ensure that scoping - constructs and entities within receive new entities when replicating a - tree. - (Expand_N_Extended_Return_Statement): Ensure that scoping constructs - and entities within receive new entities when replicating a tree. - * sem_util.adb (New_Copy_Tree): Add new formal Scopes_In_EWA_OK. - (Visit_Entity): Visit entities within scoping constructs inside - expression with actions nodes when requested by the caller. Add blocks, - labels, and procedures to the list of entities which need replication. - * sem_util.ads (New_Copy_Tree): Add new formal Scopes_In_EWA_OK. Update - the comment on usage. - -2018-07-17 Arnaud Charlet <charlet@adacore.com> - - * doc/gnat_ugn/about_this_guide.rst, - doc/gnat_ugn/gnat_and_program_execution.rst: Remove references to gcov. - * gnat_ugn.texi: Regenerate. - -2018-07-16 Hristian Kirtchev <kirtchev@adacore.com> - - * contracts.adb (Analyze_Contracts): Add specialized processing for - package instantiation contracts. - (Analyze_Package_Contract): Remove the verification of a missing - Part_Of indicator. - (Analyze_Package_Instantiation_Contract): New routine. - * contracts.ads (Analyze_Package_Contract): Update the comment on - usage. - * sem_prag.adb (Check_Missing_Part_Of): Ensure that the entity of the - instance is being examined when trying to determine whether a package - instantiation needs a Part_Of indicator. - -2018-07-16 Hristian Kirtchev <kirtchev@adacore.com> - - * einfo.adb, exp_ch7.adb, exp_ch9.adb, exp_unst.adb, inline.adb, - sem.adb, sem_ch12.adb, sem_ch13.adb, sem_ch3.adb, sem_eval.adb, - sem_util.adb: Minor reformatting. - -2018-07-16 Arnaud Charlet <charlet@adacore.com> - - * frontend.adb: Only unnest subprograms if no previous errors were - detected. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Check_Unnesting_Elaboration_Code): Handle loops that - contain blocks in the elaboration code for a package body. Create the - elaboration subprogram wrapper only if there is a subprogram - declaration in a block or loop. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * exp_ch4.adb (Expand_Set_Membership): Use New_Copy_Tree to perform a - deep copy of the left operand when building each conjuct of the - expanded membership operation, to avoid sharing nodes between them. - This sharing interferes with the unnesting machinery and is generally - undesirable. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Handle 'Address references that are - calls. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Handle the semantic of Storage_Pool field - in relevant nodes: Allocate, Free, and return statements. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * sem_ch12.adb (Analyze_Package_Instantiation): Handle properly an - instance that carries an aspect Default_Storage_Pool that overrides a - default storage pool that applies to the generic unit. The aspect in - the generic unit was removed before copying it in the instance, rather - than removing it from the copy of the aspects that are appended to the - aspects in the instance. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * einfo.adb (Set_Is_Uplevel_Referenced_Entity): Flag can appear on - loop parameters. - * exp_ch7.adb (Check_Unnesting_Elaboration_Code): Handle subprogram - bodies. - * exp_ch9.adb (Reset_Scopes_To): Set the scopes of entities local to an - entry body to be the corresponding generated subprogram, for correct - analysis of uplevel references. - * exp_unst.adb (Visit_Node): Handle properly binary and unary operators - Ignore pragmas, fix component associations. - (Register_Subprograms): Subprograms in synchronized types must be - treated as reachable. - -2018-07-16 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_util.adb (Check_No_Hidden_State): Ignore internally-generated - states and variables. - -2018-07-16 Piotr Trojanek <trojanek@adacore.com> - - * sinfo.ads, sinfo.adb (Withed_Body): Remove. - (Set_Withed_Body): Remove. - -2018-07-16 Piotr Trojanek <trojanek@adacore.com> - - * sem.adb (Walk_Library_Items): Skip units with configuration pragmas - when printing debug info. - -2018-07-16 Piotr Trojanek <trojanek@adacore.com> - - * sem.adb (Walk_Library_Items): Reuse local constant. - (Is_Subunit_Of_Main): Turn condition to positive and flip the - IF-THEN-ELSE branches; avoid potentially ineffective assignment to the - Lib variable. - -2018-07-16 Piotr Trojanek <trojanek@adacore.com> - - * sem.adb (Walk_Library_Items): Deconstruct dead code. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * exp_ch4.adb (Expand_N_Op_Xor): Use common routine - Expand_Nonbinary_Modular_Op. Needed for unnesting. - -2018-07-16 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Inherit_Predicate_Flags): A non-discrete type may have a - static predicate (for example True) but has no - static_discrete_predicate. - -2018-07-16 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_attr.adb (Build_Record_VS_Func): Handle corner cases dealing with - class-wide types and record extensions. - -2018-07-16 Justin Squirek <squirek@adacore.com> - - * sem_eval.adb (Eval_Integer_Literal): Add exception for avoiding - checks on expanded literals within if and case expressions. - -2018-07-16 Hristian Kirtchev <kirtchev@adacore.com> - - * libgnat/s-wchwts.adb (Wide_String_To_String): Use the appropriate - longest sequence factor. Code clean up. - (Wide_Wide_String_To_String): Use the appropriate longest sequence - factor. Code clean up. - -2018-07-16 Javier Miranda <miranda@adacore.com> - - * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Report an error - on Bit_Order when defined for a record extension. - -2018-07-16 Arnaud Charlet <charlet@adacore.com> - - * libgnat/s-objrea.ads: Minor code clean up. - -2018-07-16 Piotr Trojanek <trojanek@adacore.com> - - * sem_ch3.adb (Process_Discriminants): Adjust reference to the SPARM RM - rule. - -2018-07-16 Arnaud Charlet <charlet@adacore.com> - - * adaint.c (__gnat_set_file_time_name): Code clean up. - -2018-07-16 Javier Miranda <miranda@adacore.com> - - * inline.adb (Build_Body_To_Inline): Minor code reorganization that - ensures that calls to function Has_Single_Return() pass a decorated - tree. - (Has_Single_Return.Check_Return): Peform checks on entities (instead on - relying on their characters). - -2018-07-16 Javier Miranda <miranda@adacore.com> - - * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Code cleanup. Required - to avoid generating an ill-formed tree that confuses gnatprove causing - it to blowup. - -2018-07-16 Yannick Moy <moy@adacore.com> - - * inline.adb (Has_Single_Return): Rewrap comment. - -2018-07-16 Eric Botcazou <ebotcazou@adacore.com> - - * einfo.ads: Minor tweak in comment. - -2018-07-16 Javier Miranda <miranda@adacore.com> - - * sem_ch4.adb (Analyze_Membership_Op): Code cleanup. - -2018-07-16 Javier Miranda <miranda@adacore.com> - - * exp_attr.adb (Expand_N_Attribute_Reference ['Count]): Do not - transform 'Count into a function call if the current scope has been - eliminated. - -2018-07-16 Javier Miranda <miranda@adacore.com> - - * sem_util.ads, sem_util.adb (Has_Prefix): Move this function to the - public part of this package. - -2018-07-16 Yannick Moy <moy@adacore.com> - - * sem_res.adb (Resolve_Call): Do not inline calls inside - compiler-generated functions translated as predicates in GNATprove. - -2018-07-16 Gary Dismukes <dismukes@adacore.com> - - * exp_ch4.adb (Expand_N_Allocator): Test for Storage_Pool being RTE in - addition to the existing test for no Storage_Pool as a condition - enabling generation of the call to Check_Standard_Allocator when the - restriction No_Standard_Allocators_After_Elaboration is active. - * libgnat/s-elaall.ads (Check_Standard_Allocator): Correct comment to - say that Storage_Error will be raised (rather than Program_Error). - * libgnat/s-elaall.adb (Check_Standard_Allocator): Raise Storage_Error - rather than Program_Error when Elaboration_In_Progress is False. - -2018-07-16 Gary Dismukes <dismukes@adacore.com> - - * sem_eval.adb: Fix spelling for compile-time-known. - -2018-07-16 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_eval.adb (Compile_Time_Known_Value): Add a guard which prevents - the compiler from entering infinite recursion when trying to determine - whether a deferred constant has a compile time known value, and the - initialization expression of the constant is a reference to the - constant itself. - -2018-07-16 Nicolas Roche <roche@adacore.com> - - * libgnat/a-strunb.adb, libgnat/a-strunb__shared.adb: Adjust growth - factor from 1/32 to 1/2 for Unbounded_String. - -2018-07-13 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/lang.opt (funsigned-char): New option. - * gcc-interface/misc.c (gnat_handle_option): Accept it. - * gcc-interface/utils.c (finish_character_type): Tweak comment. - -2018-07-07 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity): Add GNAT_DECL local - variable and use it throughout. - <E_Variable>: If the nominal subtype of the object is unconstrained, - compute the Ada size separately and put in on the padding type if the - size is not fixed. - <E_Record_Type>: Minor tweak. - * gcc-interface/misc.c (gnat_type_max_size): Rename max_size_unit - into max_size_unit throughout. - -2018-07-07 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/gigi.h (add_decl_expr): Adjust prototype. - * gcc-interface/decl.c (gnat_to_gnu_entity): Remove useless test. - * gcc-interface/trans.c (add_stmt_with_node): Remove exceptions. - (add_decl_expr): Change type of second parameter and rename it. - (renaming_from_instantiation_p): New function moved from... - (set_expr_location_from_node): Test for exceptions here and add one - for actual subtypes built for unconstrained composite actuals. - * gcc-interface/utils.c (renaming_from_instantiation_p): ...here. - -2018-07-07 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (lvalue_required_p): Remove ALIASED parameter - and adjust recursive calls. - (Identifier_to_gnu): Adjust calls to lvalue_required_p. - (gnat_to_gnu): Likewise. - -2018-07-07 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_param): Minor tweak. - (gnat_to_gnu_subprog_type): New pure_flag local variable. Set it for - a pure Ada function with a by-ref In parameter. Propagate it onto the - function type by means of the TYPE_QUAL_RESTRICT flag. - * gcc-interface/utils.c (finish_subprog_decl): Set DECL_PURE_P if the - function type has the TYPE_QUAL_RESTRICT flag set. - -2018-07-06 Jim Wilson <jimw@sifive.com> - - * Makefile.rtl: Add riscv*-linux* support. - * libgnarl/s-linux__riscv.ads: New. - * libgnat/system-linux-riscv.ads: New. - - * Make-generated.in (treeprs.ads): Use $(GNATMAKE) instead of gnatmake. - (einfo.h, sinfo.h, stamp-snames, stamp-nmake): Likewise. - * gcc-interface/Makefile.in (xoscons): Likewise. - -2018-07-06 Sebastian Huber <sebastian.huber@embedded-brains.de> - - * libgnat/system-rtems.ads (Frontend_Exceptions): Set to False. - (ZCX_By_Default): Set to True. - -2018-07-02 Martin Liska <mliska@suse.cz> - - * gnatvsn.ads: Bump Library_Version to 9. - -2018-06-12 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Change from - using TYPE_LANG_FLAG_4 to using TYPE_LANG_FLAG_0. - (TYPE_ALIGN_OK): Move around. - (TYPE_PADDING_FOR_COMPONENT): Remove superfluous parentheses. - * gcc-interface/decl.c (change_qualified_type): Move to... - (gnat_to_gnu_entity): Adjust comment. - * gcc-interface/gigi.h (change_qualified_type): ...here; make inline. - (ceil_pow2): Use ceil_log2. - * gcc-interface/utils.c (finish_subprog_decl): Add couple of comments - and do not set TREE_SIDE_EFFECTS. - (handle_noreturn_attribute): Use change_qualified_type. - -2018-06-12 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Do not get - the expression of a dispatch table that is not being defined. - <E_Record_Subtype>: Remove obsolete kludge. - -2018-06-12 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (warn_on_field_placement): Use specific wording - for discriminants. - (warn_on_list_placement): New static function. - (components_to_record): Use it to warn on multiple fields in list. - -2018-06-12 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (variant_desc): Add AUX field. - (gnat_to_gnu_entity) <discrete_type>: Do not call compute_record_mode - directly. - (reverse_sort_field_list): New static function. - (components_to_record): Place the variant part at the beginning of the - field list when there is an obvious order of increasing position. - (build_variant_list): Initialize it. - (create_variant_part_from): Do not call compute_record_mode directly. - (copy_and_substitute_in_layout): Likewise. Always sort the fields with - fixed position in order of increasing position, in the record and all - the variants, in any. Call reverse_sort_field_list. - * gcc-interface/utils.c (make_packable_type): Compute the sizes before - calling finish_record_type. Do not call compute_record_mode directly. - (finish_record_type): Overhaul final processing depending on REP_LEVEL - and call finish_bitfield_layout if it is equal to one or two. - -2018-06-11 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Reuse the - existing fields of a dummy fat pointer type, if any. Clear the - TYPE_DECL_SUPPRESS_DEBUG on the fat pointer type after completing it. - -2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> - - * contracts.adb (Process_Body_Postconditions): Expand only checked - postconditions. - (Process_Contract_Cases_For): Expand only checked contract cases. - (Process_Inherited_Preconditions): Ignored class-wide preconditions are - partially expanded because some of their semantic checks are tied to - the expansion. - (Process_Preconditions_For): Expand only checked preconditions. - (Process_Spec_Postconditions): Expand only checked preconditions. - Ignored class-wide preconditions are partially expanded because some of - their semantic checks are tied to the expansion. - * exp_prag.adb (Expand_N_Pragma): Suppress the expansion of ignored - assertion pragmas. - * exp_util.adb (Add_Inherited_Invariants): Code clean up. - * sem_util.adb (Propagate_Invariant_Attributes): Code clean up. - -2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch9.adb, exp_unst.adb, inline.adb, libgnat/a-ciorma.adb, - libgnat/a-ciormu.adb, libgnat/a-ciorse.adb, libgnat/a-coorma.adb, - libgnat/a-coormu.adb, libgnat/a-coorse.adb, sem_prag.adb: Minor - reformatting. - -2018-06-11 Gary Dismukes <dismukes@adacore.com> - - * exp_unst.ads, exp_unst.adb: Typo fixes and minor reformatting. - -2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call): Do - not add any actuals when the size of the object is known, and the - caller will allocate it. - (Build_Heap_Allocator): Rename to Build_Heap_Or_Pool_Allocator to - better illustrate its functionality. Update the comment on the - generated code. Generate a branch for the heap and pool cases where - the object is not necessarity controlled. - (Expand_N_Extended_Return_Statement): Expand the extended return - statement into four branches depending the requested mode if the caller - will not allocate the object on its side. - (Make_Build_In_Place_Call_In_Allocator): Do not allocate a controlled - object on the caller side because this will violate the semantics of - finalizable types. Instead notify the function to allocate the object - on the heap or a user-defined storage pool. - (Needs_BIP_Alloc_Form): A build-in-place function needs to be notified - which of the four modes to employ when returning a limited controlled - result. - * exp_util.adb (Build_Allocate_Deallocate_Proc): Remove a redundant - guard which is already covered in Needs_Finalization. - -2018-06-11 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-excmac*.ads: Factorize Unwind_Action definitions ... - * libgnat/a-exexpr.adb: ... Here, then add comments describing the - major datastructures associated with the current exception raised. - (Setup_Current_Excep): Accept a "Phase" argument conveying the - unwinding phase during which this subprogram is called. For an Ada - exception, don't update the current exception buffer from the raised - exception object during SEARCH_PHASE, as this is redundant with the - call now issued just before propagation starts. - (Propagate_GCC_Exception): Move call to Setup_Current_Excep ahead of - the unwinding start, conveying Phase 0. - (Unhandled_Except_Handler): Pass UA_CLEANUP_PHASE as the Phase value on - the call to Setup_Current_Excep. - * raise-gcc.c (personality_body): Pass uw_phases as the Phase argument - on calls to Setup_Current_Excep. - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.ads, exp_unst.adb (Needs_Fat_Pointer, - Build_Access_Type_Decl): New subprograms to handle uplevel references - to formals of an unconstrained array type. The activation record - component for these is an access type, and the reference is rewritten - as an explicit derefenrence of that component. - -2018-06-11 Bob Duff <duff@adacore.com> - - * libgnat/a-ciorma.adb, libgnat/a-ciormu.adb, libgnat/a-ciorse.adb, - libgnat/a-coorma.adb, libgnat/a-coormu.adb, libgnat/a-coorse.adb: - (Element): Add code to detect dangling cursors in some cases. - -2018-06-11 Yannick Moy <moy@adacore.com> - - * sem_ch6.adb (Build_Subprogram_Declaration): Mark parameters as coming - from source. - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch13.adb (Build_Predicate_Functions): For a derived type, ensure - that its parent is already frozen so that its predicate function, if - any, has already been constructed. - -2018-06-11 Yannick Moy <moy@adacore.com> - - * sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context): Adapt for - possible task unit as the enclosing context. - -2018-06-11 Eric Botcazou <ebotcazou@adacore.com> - - * gnat1drv.adb: Remove use clause for Repinfo. - (Gnat1drv): Beef up comment about the interplay between -gnatc and - back-end annotations. Use full qualified name for List_Rep_Info. - -2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> - - * libgnat/g-arrspl.ads: Add pragma Preelaborate. - -2018-06-11 Arnaud Charlet <charlet@adacore.com> - - * exp_ch4.adb (Expand_Record_Equality): Remove extraneous "True and - then" and general logical "ada" in codepeer mode. - -2018-06-11 Javier Miranda <miranda@adacore.com> - - * exp_ch9.adb (Expand_N_Protected_Body): Add missing handling of - N_Call_Marker nodes. - -2018-06-11 Arnaud Charlet <charlet@adacore.com> - - * exp_ch3.adb, exp_unst.adb, inline.adb, sem_prag.adb: Minor - reformatting. - -2018-06-11 Yannick Moy <moy@adacore.com> - - * doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible - argument to Assertion_Policy - * gnat_rm.texi: Regenerate. - -2018-06-11 Yannick Moy <moy@adacore.com> - - * gnat1drv.adb: Do not check representation information in CodePeer and - GNATprove modes, as these modes call a special backend instead of gigi, - so do not have the information. - -2018-06-11 Yannick Moy <moy@adacore.com> - - * inline.adb (Build_Body_To_Inline): Consider case of extended return - of unconstrained type as one case where inlining is not supported. - (Expand_Inlined_Call): Remove special case for body as extended return - of unconstrained type. - -2018-06-11 Yannick Moy <moy@adacore.com> - - * sem_prag.adb (Analyze_Part_Of): Only allow Part_Of on non-generic - unit. - (Check_Missing_Part_Of): Do not force Part_Of on generic unit. - -2018-06-11 Piotr Trojanek <trojanek@adacore.com> - - * sem_ch13.adb (Analyze_Aspect_Specifications): Don't split AND THEN - expressions in Pre/Post contracts while in GNATprove_Mode. - -2018-06-11 Piotr Trojanek <trojanek@adacore.com> - - * sem_util.adb (Is_Potentially_Unevaluated): Fix detection of contracts - with AND THEN expressions broken down into individual conjuncts. - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Check_Unnesting_Elaboration_Code): Add guard. - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Skip generic associations. - -2018-06-11 Arnaud Charlet <charlet@adacore.com> - - * libgnat/memtrack.adb (fwrite): Remove second definition. - -2018-06-11 Javier Miranda <miranda@adacore.com> - - * sinfo.ads (Is_Dynamic_Coextension): Adding documentation. - (Is_Static_Coextension): Adding documentation. - * sinfo.adb (Is_Dynamic_Coextension): Extending the assertion. - (Is_Static_Coextension): Extending the assertion. - * sem_util.adb (Mark_Allocator): Clear Is_Static_Coextension when - setting flag Is_Dynamic_Coextension (and vice versa). - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Search_Subprograms): Handle explicitly stubs at the top - level of a compilation unit, becuase they may contain nested - subprograms that need an activation record. - -2018-06-11 Arnaud Charlet <charlet@adacore.com> - - * Makefile.rtl: Compile Ada files with $(ADAC) instead of $(CC). - -2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch11.adb, exp_unst.adb, inline.adb, sem_ch12.adb, sem_util.adb: - Minor reformatting. - * sinfo.ads: Fix a typo. - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * inline.adb (Expand_Inlined_Call): If no optimization level is - specified, the expansion of a call to an Inline_Always function is - fully performed in the front-end even on a target that support back-end - inlining. - -2018-06-11 Arnaud Charlet <charlet@adacore.com> - - * bindgen.adb (Gen_Adainit): Protect reference to System.Parameters - with Sec_Stack_Used. - -2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch8.adb (Find_Direct_Name): Mode the declaration of - Is_Assignment_LHS further in. Use predicate - Needs_Variable_Reference_Marker to determine whether to create a - variable marker. - (Find_Expanded_Name): Mode the declaration of Is_Assignment_LHS further - in. Use predicate Needs_Variable_Reference_Marker to determine whether - to create a variable marker. - * sem_elab.adb (Build_Variable_Reference_Marker): Remove the various - checks that determine whether the identifier or expanded name is a - suitable variable reference. The checks are now performed by - Needs_Variable_Reference_Marker. - * sem_res.adb (Resolve_Actuals): Use predicate - Needs_Variable_Reference_Marker to determine whether to create a - variable marker. - * sem_util.adb (Needs_Variable_Reference_Marker): New routine. - * sem_util.ads (Needs_Variable_Reference_Marker): New routine. - -2018-06-11 Valentine Reboul <reboul@adacore.com> - - * doc/gnat_rm.rst, doc/gnat_ugn.rst: Rename "GPL Edition" into - "Community Edition". - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch12.adb (Install_Body): In order to determine the placement of - the freeze node for an instance of a generic nested within another - instance, take into account that the outer instance may be declared in - the visible part of a package and the inner intance may be in the - private part of the same package. - -2018-06-11 Eric Botcazou <ebotcazou@adacore.com> - - * errout.adb (Special_Msg_Delete): Remove handling of Atomic and VFA. - -2018-06-11 Nicolas Roche <roche@adacore.com> - - * libgnat/s-valuti.adb (Bad_Value): Ensure that we do not generate a - stack overflow while raising a constraint error. - -2018-06-11 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.ads (Rep_Value): Use a single line. - * repinfo.adb (Rep_Value): Likewise. - (List_Attr): Do not use string concatenation. - -2018-06-11 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Check reference to formal parameter of - current procedure, because the bounds of its type may be uplevel - references. - -2018-06-02 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: If this is - not a definition, retrieve the expression only if it's a compile-time - known value if we are just annotating types. - - * gcc-interface/utils.c (convert): Do not try to upcast properly for a - conversion between tagged types in type_annotate_only mode. - -2018-06-02 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro. - * gcc-interface/decl.c (gnat_to_gnu_component_type): Cache the padding - type built for an aliased component with variable size. - -2018-05-31 Pierre-Marie de Rodat <derodat@adacore.com> - - * doc/gnat_ugn/project-manager-figure.png: Delete. - -2018-05-31 Pierre-Marie de Rodat <derodat@adacore.com> - - * vxworks-arm-link.spec, vxworks-e500-link.spec, - vxworks-gnat-crtbe-link.spec, vxworks-smp-arm-link.spec, - vxworks-smp-e500-link.spec, vxworks-smp-ppc-link.spec, - vxworks-smp-x86-link.spec: New files. - -2018-05-31 Pierre-Marie de Rodat <derodat@adacore.com> - - * gnatvsn.adb: Re-center the copyright header. - * indepsw-darwin.adb: Adjust the starting copyright year to 2011. - -2018-05-31 Fedor Rybin <frybin@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Document Stubs_Subdir in - gnattest section on user guide. - -2018-05-31 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Resolve_String_Literal): If the type is a string type - whose component subtype has a static predicate, ensure that the - predicate is applied to each character by expanding the string into the - equivalent aggregate. This is also done if the component subtype is - constrained. - -2018-05-31 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (Call_to_gnu): Remove obsolete code. - -2018-05-31 Piotr Trojanek <trojanek@adacore.com> - - * sem_ch6.adb (Check_Missing_Return): Handle procedures with no - explicit spec. - -2018-05-31 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (Call_to_gnu): In the by-reference case, if - the type of the parameter is an unconstrained array type, convert - to the type of the actual before the type of the formal only if the - conversion was suppressed earlier. Use in_param and gnu_actual_type - local variables throughout, and uniform spelling for In Out or Out. - Also remove dead code in the component-by-reference case. - -2018-05-31 Frederic Konrad <konrad@adacore.com> - - * tracebak.c (STOP_FRAME): Harden condition. - (is_return_from, EXTRA_STOP_CONDITION): New helpers for VxWorks in RTP - mode. - -2018-05-31 Ed Schonberg <schonberg@adacore.com> - - * checks.adb (Apply_Discriminant_Check): Do not apply discriminant - check to a call to a build-in-place function, given that the return - object is limited and cannot be copied. - -2018-05-31 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-atopri.ads: Update comment on __atomic_compare_exchange - builtins. - -2018-05-31 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (Call_to_gnu): If this is a function call and - there is no target, also create a temporary for the return value for - an allocator if the type is an unconstrained record type with default - discriminant. - -2018-05-31 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch7.adb (Find_Transient_Context): An iteration scheme is a valid - boudary for a transient scope. - -2018-05-31 Valentine Reboul <reboul@adacore.com> - - * gnatvsn.ads: Rename "GPL" version to "Community". - -2018-05-31 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads: Improve documentation for the Is_Unsigned_Type entity - flag. - -2018-05-31 Piotr Trojanek <trojanek@adacore.com> - - * sem_prag.adb (Analyze_Pragma): Replace call to Unique_Defining_Entity - with a semantically equivalent call to Defining_Entity. - -2018-05-31 Piotr Trojanek <trojanek@adacore.com> - - * sem_prag.adb (Analyze_Pragma): Set Etype on the rewritten - Max_Queue_Length expression. - -2018-05-31 Sergey Rybin <rybin@adacore.com> - - * doc/gnat_ugn/gnat_and_program_execution.rst: gnatelim does not need - that the main unit to be built before the call, now it computes the - closure of the main unit itself. - * gnat_ugn.texi: Regenerate. - -2018-05-31 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_Structural_Record_Layout): Set First to false - after having listed the fields of the parent type, if any. - -2018-05-31 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not - deal with the ___XP suffix for packed array types here... - <E_Array_Subtype>: ...or here when processing the implementation type - but when processing the original type instead. Do not reuse the DECL - of the implementation type for the original type. Tidy up. - -2018-05-31 Eric Botcazou <ebotcazou@adacore.com> - - * einfo.ads (Object_Size_Clause): Declare. - * einfo.adb (Object_Size_Clause): New function. - * gcc-interface/utils.c (maybe_pad_type): Test Has_Size_Clause before - retrieving Size_Clause and post the warning on the object size clause - if Has_Object_Size_Clause is true. - -2018-05-31 Javier Miranda <miranda@adacore.com> - - * sem_util.ads, sem_util.adb (Find_Primitive_Eq): New subprogram. - * exp_ch4.adb (Expand_Composite_Equality): Use the new subprogram - Find_Primitive_Eq to search for the primitive of types whose underlying - type is a tagged type. - -2018-05-31 Yannick Moy <moy@adacore.com> - - * sem_prag.adb (Analyze_Pragma.Check_Loop_Pragma_Placement): Inverse - order of treatment between nodes recognized as loop pragmas (or - generated from one) and block statements. - -2018-05-31 Doug Rupp <rupp@adacore.com> - - * libgnat/s-osprim__posix2008.adb (Clock): Implement using - clock_gettime. - -2018-05-31 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.ads, exp_unst.adb (In_Synchronized_Unit): New predicate to - mark subprograms that cannot be eliminated because they must be treated - as reachable from outside the current unit. This includes entry bodies - and protected operations. - -2018-05-31 Ed Schonberg <schonberg@adacore.com> - - * exp_ch4.adb (Expand_Modular_Addition, Expand_Modular_Subtraction): - Convert all operands of the generated code to Standard.Unsigned, to - prevent spurious visibility errors. This is needed when the generated - expansion involves a modular index type of an array type, and the index - type is not immediately visible. - -2018-05-30 Piotr Trojanek <trojanek@adacore.com> - - * einfo.ads (Package_Instantiation): Update comment after a routine - that uses this field has been renamed. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * exp_ch11.adb (Replace_Raise_By_Goto): The transfomation is legal even - if the local raise statement includes a string expression. This - expression might be picked up by an outer handler or discarded, but - plays no role in this transformation. - -2018-05-30 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb, exp_unst.adb, freeze.adb, libgnat/a-direct.adb: Minor - reformatting. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Handle the semantic Procedure_To_Call - field in relevant nodes: Allocate, Free, and return statements. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Do not traverse a Component_Association - that has not been analyzed, as will be the case for a nested aggregate - that is expanded into individual assignments. - -2018-05-30 Justin Squirek <squirek@adacore.com> - - * aspects.adb, aspects.ads: Register new aspect. - * par-prag.adb (Prag): Register new pragma. - * sem_ch13.adb (Analyze_Aspect_Specifications): Add processing for new - aspect similar to Aspect_Max_Queue_Length. - * sem_prag.adb, sem_prag.ads (Analyze_Pragma): Register new pragma and - set it to use the same processing as Pragma_Max_Queue_Length. - * snames.ads-tmpl: Move definition of Name_Max_Entry_Queue_Depth so - that it can be processed as a pragma in addition to a restriction and - add an entry for the pragma itself. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * freeze.adb (Freeze_Object_Declaration): A pragma Thread_Local_Storage - is now legal on a variable of composite type initialized with an - aggregate that is fully static and requires no elaboration code. - * exp_aggr.adb (Convert_To_Positional): Recognize additional cases of - nested aggregates that are compile-time static, so they can be used to - initialize variables declared with Threqd_Local_Storage. - * doc/gnat_rm/implementation_defined_pragmas.rst: Add documentation on - Thread_Local_Storage. - * gnat_rm.texi: Regenerate. - -2018-05-30 Yannick Moy <moy@adacore.com> - - * sem_util.adb (Policy_In_Effect): Take into account CodePeer and - GNATprove modes. - -2018-05-30 Justin Squirek <squirek@adacore.com> - - * libgnat/a-direct.adb, libgnat/a-direct.ads (Name_Case_Equivalence): - Add implementation. - (Start_Search): Modify to use Start_Search_Internal - (Start_Search_Internal): Add to break out an extra flag for searching - case insensative due to the potential for directories within the same - OS to allow different casing schemes. - * sysdep.c (__gnat_name_case_equivalence): Add as a default fallback - for when the more precise solution fails. - -2018-05-30 Hristian Kirtchev <kirtchev@adacore.com> - - * checks.adb, exp_ch5.adb, exp_ch7.adb, exp_unst.adb, sem_eval.adb: - Minor reformatting. - -2018-05-30 Pascal Obry <obry@adacore.com> - - * libgnat/g-comlin.ads (Value_Callback, Define_Switch): New. - * libgnat/g-comlin.adb: Add corresponding implementation. - -2018-05-30 Gary Dismukes <dismukes@adacore.com> - - * sem_res.adb, sem_util.adb: Fix several typos. - -2018-05-30 Olivier Hainque <hainque@adacore.com> - - * vx_crtbegin_attr.c (CTOR_ATTRIBUTE, DTOR_ATTRIBUTE): Empty. - (eh_registration_ctors, eh_registration_tors): New static variables, - forced in a .ctors/.dtors section, respectively, with priority. - -2018-05-30 Bob Duff <duff@adacore.com> - - * aspects.ads, contracts.adb, exp_util.adb, expander.adb, expander.ads, - freeze.adb, inline.adb, lib-xref.adb, sem.ads, sem_aggr.adb, - sem_attr.adb, sem_ch13.adb, sem_ch3.adb, sem_ch5.adb, sem_ch6.adb, - sem_ch8.adb, sem_dim.adb, sem_elab.adb, sem_res.adb, sem_res.ads, - sinfo.ads: Spell preanalysis, preanalyze correctly. - -2018-05-30 Bob Duff <duff@adacore.com> - - * libgnat/g-sestin.ads: Rework documentation comments. - -2018-05-30 Piotr Trojanek <trojanek@adacore.com> - - * errout.adb, exp_aggr.adb, exp_ch7.adb, exp_util.adb, lib.adb, - sem_ch13.adb, sem_ch4.adb, sem_res.adb, sem_util.adb - (Has_Original_Node): Refactor to use Is_Rewrite_Substitution. - -2018-05-30 Piotr Trojanek <trojanek@adacore.com> - - * sem_prag.adb (Analyze_Pragma): Remove conjuncts that are always true. - -2018-05-30 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_util.adb (Is_Atomic_Object): Cleaned up. Split the entity logic - in a separate routine. - (Is_Atomic_Object_Entity): New routine. - (Is_Atomic_Prefix): Cleaned up. - (Is_Synchronized_Object): Check that the object is atomic, or its type - is atomic. - (Object_Has_Atomic_Components): Removed. - * sem_util.ads (Is_Atomic_Object): Reword the comment on usage. - (Is_Atomic_Object_Entity): New routine. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Access_Subprogram_Declaration): The flag - Needs_Activation_Record is only needed on a subprogram type, not on a - pointer to such. - * sem_res.adb (Resolve_Selected_Component): If the context type and the - component type are anonymous access to subprograms, use the component - type to obtain the proper value of Needs_Activation_Record flag for the - expression. - -2018-05-30 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Add - comment about the memset case. - -2018-05-30 Bob Duff <duff@adacore.com> - - * exp_ch5.adb (Expand_Formal_Container_Element_Loop): Remove the code - to analyze the Elmt_Decl, because it gets analyzed in the wrong scope. - We need to analyze it as part of analyzing the block, so that if the - call to Element that initializes Elmt_Decl returns on the secondary - stack, the block will ss_mark/ss_release. This block is inside the - loop; we don't want to leak memory until the loop exits. The purpose - of analyzing Elmt_Decl first was to catch the error of modifying it, - which is illegal because it's a loop parameter. The above causes us to - miss that error. Therefore, we add a flag Is_Loop_Parameter, and set - it on the Element entity, so we end up with an E_Variable node with the - flag set. - * einfo.ads, einfo.adb (Is_Loop_Parameter): New flag. - * sem_ch5.adb (Diagnose_Non_Variable_Lhs): Give the "assignment to loop - parameter not allowed" error if Is_Loop_Parameter. - * sem_util.adb (Is_Variable): Return False if Is_Loop_Parameter, to - trigger the call to Diagnose_Non_Variable_Lhs. - -2018-05-30 Arnaud Charlet <charlet@adacore.com> - - * checks.adb (Apply_Scalar_Range_Check): - * sem_eval.adb (Check_Non_Static_Context, Out_Of_Range): Ignore out of - range values for System.Priority in CodePeer mode since the actual - target compiler may provide a wider range. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb: Search specification of main unit as well, for - unnesting. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Check_Unnesting_Elaboration_Code): The statement part of - a package body that is a compilation unit may contain blocks that - declare local subprograms. In Subprogram_Unnesting Mode such - subprograms must be handled as nested inside the (implicit) elaboration - procedure that executes that statement part. To handle properly uplevel - references we construct that subprogram explicitly, to contain blocks - and inner subprograms, The statement part of the compilation unit - becomes a call to this subprogram. This is only done if blocks are - present in the statement list of the body. - -2018-05-30 Bob Duff <duff@adacore.com> - - * exp_ch7.adb: Minor comment fix. - -2018-05-30 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Handle properly subprogram instantiations - that have no corresponding body and appear as attributes of the - corresponding wrapper package declaration. - (Register_Subprogram): New subprogram, used for subprogram bodies and - for subprogram instantiations to enter callable entity into Subp table. - -2018-05-30 Hristian Kirtchev <kirtchev@adacore.com> - - * libgnat/s-secsta.adb: Reimplement the secondary stack support. - * libgnat/s-secsta.ads: Update the documentation of all routines in the - public part of the package. Reimplement the private part of the - package to account for the new secondary stack structure. Add types - and subprograms for testing purposes. Add several documentation - sections. - -2018-05-30 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb, exp_ch3.adb, exp_ch4.adb, exp_ch7.adb, exp_unst.adb, - exp_util.adb, exp_util.ads, libgnat/a-calcon.adb, libgnat/a-calcon.ads, - libgnat/s-os_lib.adb, repinfo.adb, sem_ch3.adb, sem_disp.adb, - sem_disp.ads, sem_util.adb: Minor reformatting. - -2018-05-30 Arnaud Charlet <charlet@adacore.com> - - * gcc-interface/Makefile.in: Move special flags for Ada runtime files - from here... - * Makefile.rtl: ... to here. Update comments. Protect call to - "GCC_FOR_TARGET" in case target_os isn't defined. - -2018-05-30 Arnaud Charlet <charlet@adacore.com> - - * gcc-interface/Makefile.in: Move target pair settings from here... - * Makefile.rtl: ... to here. - (setup-rts): New target. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst (Alphabetical - List of All Switches): Replace "modules" with "units". - (Subprogram Inlining Control): Likewise. - * gnat_ugn.texi: Regenerate. - * usage.adb (Usage): Fix description of -gnatn switch. - -2018-05-29 Arnaud Charlet <charlet@adacore.com> - - * gcc-interface/Makefile.in: Fix typos. - -2018-05-29 Ed Schonberg <schonberg@adacore.com> - - * exp_ch7.adb (Build_Finalizer_Call): Attach to tree the reference to - the finalizer procedure in the At_End handler, for use in LLVM - generation. - -2018-05-29 Javier Miranda <miranda@adacore.com> - - * exp_ch4.adb (Expand_N_Op_Eq, Expand_Composite_Equality): Use the new - subprogram Inherits_From_Tagged_Full_View to identify more reliably - untagged private types completed with a derivation of an untagged - private whose full view is a tagged type. - * sem_util.ads, sem_util.adb (Inherits_From_Tagged_Full_View): New - subprogram. - (Collect_Primitive_Operations): Handle untagged private types completed - with a derivation of an untagged private type whose full view is a - tagged type. In such case, collecting the list of primitives we may - find two equality primitives: one associated with the untagged private - and another associated with the ultimate tagged type (and we must - remove from the returned list this latter one). - -2018-05-29 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Handle statement sequences that include an - At_End handler. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_Entities): Also recurse into blocks without label. - -2018-05-29 Ed Schonberg <schonberg@adacore.com> - - * exp_ch6.adb (Expand_N_Subprogram_Body): Do not generate push/pop for - exceptions if subprogram unnesting is in effect, because these branch - nodes are relevant only in the presence of nested subprograms. - -2018-05-29 Ed Schonberg <schonberg@adacore.com> - - * libgnat/s-fatgen.adb (Succ, Pred): Raise Constraint_Error - unconditionally when applied to the largest positive (resp. largest - negative) value of a floating-point type. - -2018-05-29 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads, einfo.adb: Clarify use of Activation_Record_Component: - discriminants and exceptions are never components of such. The flag - Needs_Activation_Record is set on subprogram types, not on access to - them. - -2018-05-29 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb: Set scope of component of subtype. - -2018-05-29 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Exclude selected components whose prefix - carry no type. Such selected components appear in unit names that are - child units, both in the specification and possibly in an end label for - the unit, and they do not contain any relevant uplevel references. - -2018-05-29 Arnaud Charlet <charlet@adacore.com> - - * libgnat/a-calend.ads, libgnat/a-calend.adb (Epoch_Offset): Make it a - function. - -2018-05-29 Olivier Hainque <hainque@adacore.com> - - * libgnat/system-vxworks7-ppc-rtp.ads: New file. - * libgnat/system-vxworks7-ppc-kernel.ads: New file. - * libgnat/system-vxworks7-e500-rtp.ads: New file. - * libgnat/system-vxworks7-e500-kernel.ads: New file. - * libgnat/system-vxworks7-x86-rtp.ads: New file. - * libgnat/system-vxworks-ppc64-kernel.ads: Rename as ... - * libgnat/system-vxworks7-ppc64-kernel.ads: and adjust name of - gnat-crtbe link spec to use the vx7 variant. - -2018-05-29 Olivier Hainque <hainque@adacore.com> - - * vx_crtbegin.inc: Use a consistent naming convention for the - registration/deregistration functions across RTP or kernel. Remove the - ctor/dtor attribute setting based on RTP/kernel, expect the optional - attribute extension to be provided by includers instead. - * vx_crtbegin.c: Mere inclusion of vx_crtbegin.inc with empty attribute - extension for the registration/deregistration functions. - * vx_crtbegin_attr.c: New file. Include vx_crtbegin.inc with explicit - constructor/destructor attribute extensions. - * vx_crtbegin_array.c: New file. Include vx_crtbegin.inc with empty - attribute extensions and declare _ctors/_dtors arrays. - * vx_crtbegin_auto.c: Remove. - * libgnat/system-vxworks7-aarch64-rtp-smp.ads: Use - vxworks7-gnat-crtbe-link.spec. - * libgnat/system-vxworks7-aarch64.ads: Likewise. - * libgnat/system-vxworks7-e500-rtp-smp.ads: Likewise. - * libgnat/system-vxworks7-ppc-rtp-smp.ads: Likewise. - * libgnat/system-vxworks7-ppc64-rtp-smp.ads: Likewise. - * libgnat/system-vxworks7-x86-kernel.ads: Likewise. - * libgnat/system-vxworks7-x86-rtp-smp.ads: Likewise. - * libgnat/system-vxworks7-x86_64-kernel.ads: Likewise. - * libgnat/system-vxworks7-x86_64-rtp-smp.ads: Likewise. - -2018-05-29 Piotr Trojanek <trojanek@adacore.com> - - * ali.adb: Minor reformatting. - -2018-05-29 Joel Brobecker <brobecker@adacore.com> - - * doc/gnat_ugn/platform_specific_information.rst: Update package - requirements for 32bit GNAT on x86_64-linux. - * gnat_ugn.texi: Regenerate. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst (Debugging - Control): Adjust description of -gnatRj. - * gnat_ugn.texi: Regenerate. - * opt.ads (List_Representation_Info_To_JSON): Likewise. - * repinfo.adb (List_Rep_Info): Do not automatically create a file - if List_Representation_Info_To_JSON is true. - * switch-c.adb (Scan_Front_End_Switches) <R>: Remove incompatibility - check between -gnatRj and -gnatRs. - * usage.adb (Usage): Adjust description of -gnatRj. - -2018-05-29 Pascal Obry <obry@adacore.com> - - * libgnat/s-os_lib.adb (Normalize_Pathname): Fix handling of ".." in - the root directory. - -2018-05-29 Pascal Obry <obry@adacore.com> - - * libgnat/s-os_lib.adb: Minor reformatting. - -2018-05-29 Doug Rupp <rupp@adacore.com> - - * libgnat/a-calend.adb (Epoch_Offset): Move from body to ... - * libgnat/a-calend.ads (Epoch_Offset): to private part of spec - * libgnat/a-calcon.ads (To_Unix_Nano_Time): New function spec. - * libgnat/a-calcon.adb (To_Unix_Nano_Time): New function body. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.ads (JSON format): Document new pair for components. - * repinfo.adb (Derived_Discriminant): New function. - (List_Structural_Record_Layout): Add Outer_Ent parameter and pass it - in recursive calls. If the record type is the parent of an extension, - find and list the derived discriminant from the extension, if any. - (List_Component_Layout): List the Discriminant_Number in JSON mode. - (List_Record_Info): Adjust call to List_Structural_Record_Layout. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst (Alphabetical - List of All Switches): Document -gnatRj. - (Debugging Control): Likewise. - * gnat_ugn.texi: Regenerate. - * opt.ads (List_Representation_Info_To_JSON): New boolean variable. - * osint-c.adb (Create_Repinfo_File): Use the .json instead of .rep - extension if List_Representation_Info_To_JSON is true. - * repinfo.ads: Document the JSON output format. - * repinfo.adb (List_Location): New procedure. - (List_Array_Info): Add support for JSON output. - (List_Entities): Likewise. - (Unop): Likewise. - (Binop): Likewise. - (Print_Expr): Likewise. - (List_Linker_Section): Likewise. - (List_Mechanisms): Likewise. - (List_Name): Likewise. - (List_Object_Info): Likewise. - (List_Record_Info): Likewise. - (List_Component_Layout): Likewise. Add Indent parameter. - (List_Structural_Record_Layout): New procedure. - (List_Attr): Add support for JSON output. - (List_Type_Info): Likewise. - (Write_Unknown_Val): Likewise. - * switch-c.adb (Scan_Front_End_Switches) <R>: Deal with 'j'. - * usage.adb (Usage): List -gnatRj. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_Component_Layout): New procedure extracted from... - (List_Record_Layout): ...here. Invoke it. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (Write_Unknown_Val): New procedure. - (List_GCC_Expression): Call it. - (List_Record_Layout): Likewise. - (Write_Val): Likewise. - -2018-05-29 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> - - * exp_ch4.adb (Expand_N_Op_Abs): Clear Do_Overflow_Check when inserting - code to do check. - -2018-05-29 Arnaud Charlet <charlet@adacore.com> - - * lib-writ.adb (Write_ALI): Do not use new function from s-casuti yet. - This breaks build of cross compilers with older versions of GNAT, so - better avoid it. - -2018-05-29 Doug Rupp <rupp@adacore.com> - - * libgnarl/s-taprop.ads (Monotonic_Clock): Refine documentation to - reflect reality. - -2018-05-29 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> - - * exp_ch4.adb (Expand_N_Op_Abs): Always do range check against 'First. - -2018-05-29 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_Entities): Do not list the Linker_Section for - subprograms here... - (List_Mechanisms): ...but here instead. Use consistent name output - and formatting conventions. - -2018-05-29 Bob Duff <duff@adacore.com> - - * lib-writ.adb (Write_ALI): Cleanup: avoid use of global var; call new - To_Lower function. - * libgnat/s-casuti.ads, libgnat/s-casuti.adb (To_Upper, To_Lower, - To_Mixed): New functions. - * osint.adb: Cleanup: use Is_Directory_Separator, which correctly - allows both '\' and '/' on Windows. - -2018-05-28 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.ads: Minor fixes and tweaks in comments. - -2018-05-28 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_GCC_Expression): Remove Valop and replace calls to - it with calls to Unop. - -2018-05-28 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.ads (TCode): Adjust range. - (Truth_Andif_Expr): Remove. - (Truth_Orif_Expr): Likewise. - (Truth_And_Expr .. Dynamic_Val): Adjust value. - * repinfo.adb (Print_Expr): Remove handling of Truth_{And,Or}if_Expr. - (Rep_Value): Likewise. - * repinfo.h (Truth_Andif_Expr): Remove. - (Truth_Orif_Expr): Likewise. - (Truth_And_Expr .. Dynamic_Val): Adjust value. - * gcc-interface/decl.c (annotate_value) <TRUTH_ANDIF_EXPR>: Fall - through to TRUTH_AND_EXPR case. - <TRUTH_ORIF_EXPR>: Fall through to TRUTH_OR_EXPR case. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): For indexed components and attribute - references, examine index expressions or associated expressions as well - to record uplevel references. - (Vist_Node): For function and procedure calls, if a formal is an - unconstrained array and the actual is constrained, check whether bounds - of actual have uplevel references. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads, einfo.adb: Exceptions can be uplevel references, and thus - they can appear as components of activation records. - * exp_unst.adb (Visit_Node): A reference to an exception may be an - uplevel reference. - -2018-05-28 Eric Botcazou <ebotcazou@adacore.com> - - * exp_ch4.adb (Expand_Composite_Equality): Compute whether the size - depends on a discriminant manually instead of using the predicate - Size_Depends_On_Discriminant in the array type case. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Check_Static_Type): For a record subtype, check - discriminant constraints as well. - (Visit_Node): For a selected component, check type of prefix, as is - done for indexed components and slices. - -2018-05-28 Javier Miranda <miranda@adacore.com> - - * exp_ch4.adb (Real_Range_Check): Add a temporary to store the integer - value when converting a float value to a fixed-point value. This is - required for CCG because it handles fixed-point types by means of - unsigned integer type variables. The range check is now performed using - the integer value stored in this temporary. - -2018-05-28 Yannick Moy <moy@adacore.com> - - * sem_util.adb (Is_OK_Volatile_Context): Add attributes First, Last and - Length as valid non-interfering contexts for SPARK. - -2018-05-28 Claire Dross <dross@adacore.com> - - * sem_disp.ads, sem_disp.adb (Inheritance_Utilities): Package for - generic inheritance utilities. - (Generic_Inherited_Subprograms): Generic version of - Inherited_Subprograms, generic in Find_Dispatching_Type function. - (Generic_Is_Overriding_Subprogram): Generic version of - Is_Overriding_Subprogram, generic in Find_Dispatching_Type function. - (Inherited_Subprograms): Instance of Generic_Inherited_Subprograms with - Sem_Disp.Find_Dispatching_Type. - (Is_Overriding_Subprogram): Instance of - Generic_Is_Overriding_Subprogram with Sem_Disp.Find_Dispatching_Type. - (Inheritance_Utilities_Inst): Instance of Inheritance_Utilities - with Sem_Disp.Find_Dispatching_Type. - -2018-05-28 Eric Botcazou <ebotcazou@adacore.com> - - * exp_ch4.adb (Expand_Composite_Equality): For a composite (or FP) - component type, do not expand array equality using the unconstrained - base type, except for the case where the bounds of the type depend on a - discriminant. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads, einfo.adb (Needs_Activation_Record): New flag on - access-to-subprogram types, to indicate that an indirect call through - such a type requires an activation record when compiling for LLVM. - * sem_ch3.adb (Access_Subprogram_Declaration): Set new flag as needed. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * exp_ch4.adb (Real_Range_Check): Specialize float-to-fixed conversions - when bounds of fixed type are static, to remove some spuerfluous - implicit conversions and provide an accurate result when converting - back and forth between the fixed point type and a floating point type. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Unnest_Subprogram): Prevent creation of empty - activation records. - -2018-05-28 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> - - * exp_unst.adb (Check_Static_Type): Add argument to indicate node to be - replaced, if any; all callers changed. - (Note_Uplevel_Ref): Likewise. Also replace reference to deferred - constant with private view so we take the address of that entity. - (Note_Uplevel_Bound): Add argument to indicate node to be replaced, if - any; all callers changed. Handle N_Indexed_Component like - N_Attribute_Reference. Add N_Type_Conversion case. - (Visit_Node): Indexed references can be uplevel if the type isn't - static. - (Unnest_Subprograms): Don't rewrite if no reference given. If call has - been relocated, set first_named pointer in original node as well. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * exp_aggr.adb (Flatten): Copy tree of expression in a component - association with a range or a set of discrete choices, rather than - relocating the node. This avoids inconsistencies in the tree when - handling nested subprograms with uplevel references for LLVM. - -2018-05-28 Arnaud Charlet <charlet@adacore.com> - - * exp_util.adb (Possible_Bit_Aligned_Component): Always return False in - codepeer mode. - -2018-05-28 Arnaud Charlet <charlet@adacore.com> - - * exp_unst.adb: Fix typo. - -2018-05-28 Bob Duff <duff@adacore.com> - - * libgnat/a-convec.adb (Query_Element): Minor cleanup: remove an - unnecessary use of 'Unrestricted_Access. - -2018-05-28 Hristian Kirtchev <kirtchev@adacore.com> - - * repinfo.adb (Expr_Value_S): New routine. - (List_Linker_Section): Properly extract the value of the section - argument. - -2018-05-28 Patrick Bernardi <bernardi@adacore.com> - - * doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update the - description of the -D binder switch to reflect current usage. - * gnat_ugn.texi: Regenerate. - -2018-05-28 Gary Dismukes <dismukes@adacore.com> - - * exp_ch3.adb: Minor reformatting - -2018-05-28 Justin Squirek <squirek@adacore.com> - - * exp_ch3.adb - (Build_Initialization_Call): Add logic to pass the appropriate actual to match - new formal. - (Init_Formals): Add new formal *_skip_null_excluding_check - * exp_util.adb, exp_util.ads - (Enclosing_Init_Proc): Added to fetch the enclosing Init_Proc from the current - scope. - (Inside_Init_Proc): Refactored to use Enclosing_Init_Proc - (Needs_Conditional_Null_Excluding_Check): Added to factorize the predicate - used to determine how to generate an Init_Proc for a given type. - (Needs_Constant_Address): Minor reformatting - * sem_res.adb - (Resolve_Null): Add logic to generate a conditional check in certain cases - -2018-05-28 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb, gnatlink.adb, sem_ch6.adb, sem_res.adb, sem_util.adb: - Minor reformatting. - -2018-05-28 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile): Include - the declarations of single concurrent types because they fall in the - category of full type and object declarations. - -2018-05-28 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (Compute_Max_Length): Skip _Parent component. - (List_Record_Layout): Likewise. - -2018-05-28 Ed Schonberg <schonberg@adacore.com> - - * sem_util.adb (Is_Function_Result): Add a warning if a postcondition - includes a call to function to which it applies. This may mean an - omission of an attribute reference 'Result, in particular if the - function is pqrameterless. - -2018-05-28 Justin Squirek <squirek@adacore.com> - - * sem_ch8.adb (Find_Expanded_Name): Add extra guard to make sure the - misresolved package name is not a case of mistaken identity. - -2018-05-28 Yannick Moy <moy@adacore.com> - - * sem_res.adb (Resolve_Range): Re-resolve the low bound of a range in - GNATprove mode, as the order of resolution (low then high) means that - all the information is not available when resolving the low bound the - first time. - -2018-05-28 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_Array_Info): Start with an explicit blank line and - end with the linker section, if any. - (List_Entities): Do not output the linker section for record types, - array types and variables. - (Print_Expr): Factor out common processing for unary operators and - special values. Adjust and reorder the various cases. - (List_Object_Info): End with the linker section, if any. - (List_Record_Info): Likewise. - (List_Type_Info): Do not start with a blank line. - -2018-05-25 Nicolas Roche <roche@adacore.com> - - * libgnat/s-valrea.adb (Scan_Real): Abort computation once it is sure - that the result will be either -infinite or +infinite. - -2018-05-25 Patrick Bernardi <bernardi@adacore.com> - - * libgnat/s-parame.ads, libgnat/s-parame__vxworks.ads, - libgnat/s-parame__ae653.ads, libgnat/s-parame__hpux.ads (Size_Type): - Expand range of type to match the address space of the target. - (Task_Storage_Size): Remove unused type. - -2018-05-25 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Set_Mixed_Mode_Operand): If the operand is an expression - of a fixed point type and the parent is a multiplying operation, - resolve the operand with its own type because the context will impose a - resulting type on the result of the multiplication by means of - approriate conversion. - -2018-05-25 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch3.adb (Default_Initialize_Object): Ensure that the analysis of - the in-place initialization aggregate created for pragmas - Initialize_Scalars or Normalize_Scalars is performed with checks - suppressed. - -2018-05-25 Arnaud Charlet <charlet@adacore.com> - - * exp_aggr.adb (Convert_To_Positional): Bump default for - Max_Others_Replicate to 32. Update comments. - * osint.ads (Unknown_Attributes): No longer pretend this is a constant. - (No_File_Info_Cache): Initialize separately. - * osint.adb (No_File_Info_Cache): Update initializer. - -2018-05-25 Javier Miranda <miranda@adacore.com> - - * sem_res.adb (Resolve_Membership_Op): Allow the use of the membership - test when the left operand is a class-wide interface and the right - operand is not a class-wide type. - * exp_ch4.adb (Tagged_Membership): Adding support for interface as the - left operand. - -2018-05-25 Ed Schonberg <schonberg@adacore.com> - - * exp_aggr.adb (Flatten): A quantified expression cannot be duplicated - in an others clause to prevent visibility issues with the generated - loop variable. - (Component_OK_For_Backend): Return false for a quantified expression. - (Check_Static_Component): Ditto. - -2018-05-25 Hristian Kirtchev <kirtchev@adacore.com> - - * libgnat/s-secsta.adb (SS_Allocate): Reimplemented. - (SS_Allocate_Dynamic): New routine. The allocation logic is now split - into three distring cases rather than in one loop which attempts to - handle all three cases. This rewrite eliminates an issue where the last - frame of the stack cannot be freed, thus causing the memory range of a - new frame to approach the overflow point of the memory index type. - Since the overflow is logically treated as a - too-much-memory-on-the-stack scenario, it causes a bogus Storage_Error. - (SS_Allocate_Static): New routine. The routine factorizes the static - secondary stack-related code from the former SS_Allocate. - -2018-05-25 Sergey Rybin <rybin@adacore.com> - - * doc/gnat_ugn/gnat_and_program_execution.rst: Add description of '-U' - option for gnatelim. - -2018-05-25 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not create - Class_Wide_Clone_Body when analyzing a subprogram_body_stub: the clone - is created when the proper body of the stub is analyzed. - * sem_util.adb (ZBuild_Class_Wide_Clone_Body): If the subprogram body - is the proper body of a subunit, the cloned body must be inserted in - the declarative list that contains the stub. - -2018-05-25 Justin Squirek <squirek@adacore.com> - - * exp_ch6.adb (Expand_Simple_Function_Return): Add guard in check to - generate code for 6.5(8-10) so that we don't get an assertion error - when dealing with an incomplete return type. - -2018-05-25 Arnaud Charlet <charlet@adacore.com> - - * pprint.adb (Expression_Name): Strip too long expressions to avoid - carrying very large strings. - -2018-05-25 Patrick Bernardi <bernardi@adacore.com> - - * switch-b.adb (Scan_Binder_Switches): binder switch -Q accepts Natural - numbers. - -2018-05-25 Doug Rupp <rupp@adacore.com> - - * tracebak.c (aarch64-linux): Implement. - -2018-05-25 Justin Squirek <squirek@adacore.com> - - * sem_ch8.adb: Minor reformatting. - -2018-05-25 Piotr Trojanek <trojanek@adacore.com> - - * sem_util.adb (Iterate_Call_Parameters): Fix code convention and - assertions. - -2018-05-25 Hristian Kirtchev <kirtchev@adacore.com> - - * einfo.adb, einfo.ads, exp_ch3.adb, exp_ch8.adb, exp_unst.adb, - pprint.adb, sem_ch12.adb, sem_ch3.adb, sem_prag.adb, sem_util.adb: - Minor reformatting. - -2018-05-25 Ed Schonberg <schonberg@adacore.com> - - * sem_ch12.adb (Instance_Exists): New function, subsidiary of - Validate_Derived_Type_Instance, to verify that all interfaces - implemented by the formal type are also implemented by the actual. The - verification is complicated when an interface of the formal is declared - in a generic unit and the actual is declared in an instance of it. - There is currently no mechanism to relate an interface declared within - a generic to the corresponding interface in an instance, so we must - traverse the list of interfaces of the actual, looking for a name - match, and verifying that that interface is declared in an instance. - -2018-05-25 Piotr Trojanek <trojanek@adacore.com> - - * sem_util.adb (Iterate_Call_Parameters): Rewrite with extra - assertions; replace function versions of Next_Formal/Next_Actual with - their procedural versions (which are more concise). - -2018-05-25 Doug Rupp <rupp@adacore.com> - - * libgnarl/s-osinte__aix.ads, libgnarl/s-osinte__android.ads, - libgnarl/s-osinte__darwin.ads, libgnarl/s-osinte__freebsd.ads, - libgnarl/s-osinte__hpux.ads, libgnarl/s-osinte__kfreebsd-gnu.ads, - libgnarl/s-osinte__linux.ads, libgnarl/s-osinte__lynxos178e.ads, - libgnarl/s-osinte__qnx.ads, libgnarl/s-osinte__rtems.ads - (Relative_Timed_Wait): Remove. - * libgnarl/s-tpopmo.adb (Timed_Sleep, Timed_Delay): Rewrite to allow - for incremental looping. Remove references to Rel_Time and - Relative_Timed_Wait. - * libgnat/s-osprim__posix.adb, libgnat/s-osprim__posix2008.adb - (Timed_Delay): Make separate. - * libgnat/s-optide.adb: New separate procedure. - * libgnat/s-osprim.ads (Max_System_Delay): New constant. - * libgnat/s-osprim__lynxos.ads (Max_Sensible_Delay): Set to 6 months. - (Max_System_Delay): New constant. - -2018-05-25 Ed Schonberg <schonberg@adacore.com> - - * sem_ch12.adb (Validate_Derived_Type_Instance): Verify that the actual - for a formal derived type implements all the interfaces declared for - the formal. - -2018-05-25 Yannick Moy <moy@adacore.com> - - * sem_prag.adb (Check_Applicable_Policy): Deal specially with CodePeer - and GNATprove modes when applicable policy is Ignore. - -2018-05-25 Eric Botcazou <ebotcazou@adacore.com> - - * freeze.adb (Freeze_Enumeration_Type): Do not give integer size to a - boolean type with convention C. - * libgnat/i-cexten.ads (bool): Change to boolean with convention C. - * gcc-interface/decl.c (gnat_to_gnu_entity): Add new local variable - FOREIGN and use it throughout the function. - <E_Enumeration_Type>: Set precision 1 on boolean types with foreign - convention. - <E_Enumeration_Subtype>: Likewise for subtypes. - <E_Record_Type>: Force the size of a storage unit on empty classes. - * gcc-interface/utils.c (make_type_from_size) <BOOLEAN_TYPE>: Skip - boolean types with precision 1 if the size is the expected one. - -2018-05-25 Arnaud Charlet <charlet@adacore.com> - - * pprint.adb (Expression_Name): Do not print non ASCII characters. - -2018-05-25 Bob Duff <duff@adacore.com> - - * libgnat/a-strunb__shared.ads, libgnat/a-stwiun__shared.ads, - libgnat/a-stzunb__shared.ads: (Initialize, Adjust): Add pragma Inline. - -2018-05-25 Bob Duff <duff@adacore.com> - - * sem_util.ads: Minor comment fix. - -2018-05-25 Ed Schonberg <schonberg@adacore.com> - - * exp_unst.adb (Visit_Node): Restrict check for uplevel references in - prefixes of array attributes, to prefixes that are entity names whose - type is constrained. - (Note_Uplevel_Bound): Verify that the bound is declared in an enclosing - subprogram, as itype created for loops in pre/postcondition may appear - in loops at the library level. - -2018-05-25 Ed Schonberg <schonberg@adacore.com> - - * sem_ch13.adb (Build_Predicate_Functions): The predicate function - declaration is inserted into the tree and analyzed at that point, so - should not be reinserted when the body is constructed. Inside a - generic, ensure that the body is not inserted twice in the tree. - -2018-05-25 Yannick Moy <moy@adacore.com> - - * sem_prag.adb (Check_Grouping): Modify test to ignore statements and - declarations not coming from source. - -2018-05-25 Fedor Rybin <frybin@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Document new switch - --copy-environment for gnattest. - -2018-05-24 Piotr Trojanek <trojanek@adacore.com> - - * sem_elab.adb (Non_Private_View): Simplify by removing a local Result - variable. - * sem_prag.adb (Get_Base_Subprogram): Same as above. - -2018-05-24 Eric Botcazou <ebotcazou@adacore.com> - - * fe.h (Set_Normalized_First_Bit): Declare. - (Set_Normalized_Position): Likewise. - * repinfo.adb (List_Record_Layout): Do not use irregular output for a - variable position. Fix minor spacing issue. - * gcc-interface/decl.c (annotate_rep): If a field has a variable - offset, compute the normalized position and annotate it in addition to - the bit offset. - -2018-05-24 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (Handled_Sequence_Of_Statements_to_gnu): - Constify and rename variables. Fix formatting. - (gnat_to_gnu) <N_Exception_Handler>: Minor tweak. - <N_Raise_Statement>: Likewise. - -2018-05-24 Javier Miranda <miranda@adacore.com> - - * exp_ch8.adb (Build_Body_For_Renaming): Adding support to build the - body of a variant record equality renaming. - (Expand_N_Subprogram_Renaming_Declaration): Adapt the code to the new - implementation of Build_Body_For_Renaming. - * exp_ch3.ads (Build_Variant_Record_Equality): New library level - function that factorizes the functionality needed by - Build_Body_For_Renaming and Expand_Freeze_Record_Type to build the body - of a variant record equality subprogram. - * exp_ch3.adb (Build_Variant_Record_Equality): New subprogram. - (Build_Variant_Record_Equality): New local procedure of - Expand_Freeze_Record_Type containing all the code specific for freezing - the record type that cannot be place in the new library level function. - -2018-05-24 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads, einfo.adb (Is_Activation_Record): New flag on - in_parameters, used when unesting subprograms for LLVM, to indicate - that a generated parameter carries the activation record from the - enclosing subprogram. - * exp_unst.adb (Check_Static_Type): Handle array attributes of types - whose bounds may contain up-level references that need to be added to - an activation recoord. - (Add_Extra_Formal): Set Is_Activation_Record on new formal. - -2018-05-24 Yannick Moy <moy@adacore.com> - - * pprint.adb (Expression_Image): Improve the printing of expressions, - by taking more cases into account, in particular qualified expressions - and aggregates. Also count more the number of parentheses to close - after the expression. - -2018-05-24 Javier Miranda <miranda@adacore.com> - - * sem_ch3.adb (Is_Visible_Component): For untagged types add missing - check for renamed discriminants. - * sem_ch4.adb (Analyze_Overloaded_Selected_Component, - Analyze_Selected_Component, Check_Misspelled_Selector): For calls to - Is_Visible_Component pass the associated selector node to allow - checking renamed discriminants on untagged types. - -2018-05-24 Ed Schonberg <schonberg@adacore.com> - - * sem_ch8.adb (Analyze_Use_Type): Do not assign the Prev_Use_Clause - link to a use_type clause if this would cause an infinite loop in the - machinery that detects redundant use clauses. This may happen when the - redundant clauses appear in the context of a child unit and the context - of its parent. - -2018-05-24 Piotr Trojanek <trojanek@adacore.com> - - * sinfo.ads: Fix grammar in comment. - -2018-05-24 Justin Squirek <squirek@adacore.com> - - * einfo.ads, einfo.adb (Append_Entity): Modified to use Link_Entities - and manage doubly-linked entity chain. - (Nested_Scenarios): Removed entity field used for optimization during - elaboration to make room for the new field Prev_Entity. - (Link_Entities): Added to replace redundant calls to Set_Next_Entity - and Set_Prev_Entity as well as centralize changes to the entity chain. - (Predicated_Parent): Modified to use Node38. - (Prev_Entity): Added to fetch new node field Prev_Entity in all entity - types. - (Remove_Entity): Moved from sem_util. - (Set_Nested_Scenarios): Deleted. - (Set_Predicated_Parent): Modified to use Node38. - (Set_Prev_Entity): Added to set Prev_Entity field. - (Set_Validated_Object): Modified to use Node38. - (Unlink_Next_Entity): Added to process Prev_Entity when an unlinking - action is required. - (Validated_Object): Modified to use Node38. - (Write_Field36_Name): Remove Nested_Scenarios, Validated_Object, and - predicated parent cases. - (Write_Field38_Name): Add predicated parent and Validated_Object cases. - * sem_ch3.adb (Process_Subtype): Add guard to protect against - inappropriate marking of Predicated_Parent to non-itype subtypes. - (Make_Class_Wide_Type): Preserve Prev_Entity field and set in new type. - (Copy_And_Swap): Add setting of Prev_Entity. - (Build_derived_Record_Type): Replace Set_Next_Entity w/ Link_Entities. - * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Replace Set_Next_Entity - w/ Link_Entities. - (New_Overloaded_Entity): Remove block created to search for previous - entities in the entity chain with relevant calls to Prev_Entity as well - as replace duplicated code from Remove_Entity_And_Homonym with a call - to that subprogram. - * sem_ch7.adb (Exchange_Declarations): Replace Set_Next_Entity w/ - Link_Entities. - * sem_elab.adb (Find_And_Process_Nested_Scenarios): Remove global and - initial subprogram declarations related to Nested_Scenarios. - (Process_Nested_Scenarios): Deleted. - (Save_Scenario): Deleted. - (Traverse_Body): Remove optimization for Nested_Scenarios so as to free - node space in the entity tree. - * sem_util.adb, sem_util.ads (Remove_Entity): Moved to einfo. - (Remove_Entity_And_Homonym): Added to separate functionality of - Remove_Entity from the homonym chain directly. - * exp_attr.adb (Expand_N_Attribute_Reference): Replace Set_Next_Entity - w/ Link_Entities and Unlink_Next_Entity. - * exp_ch3.adb (Expand_N_Object_Declaration): Replace Set_Next_Entity w/ - Link_Entities. - * exp_ch6.adb (Replace_Renaming_Declaration_Id): Replace - Set_Next_Entity w/ Link_Entities. - * exp_disp.adb (Expand_Dispatching_Call): Replace Set_Next_Entity w/ - Link_Entities and Unlink_Next_Entity. - * exp_spark.adb (Expand_SPARK_N_Object_Renaming_Declaration): Replace - call to Remove_Entity with its new incarnation. - * exp_util.adb (New_Class_Wide_Subtype): Add setting of Prev_Entity. - * freeze.adb (Freeze_Record_Type): Replace Set_Next_Entity w/ - Link_Entities. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch10.adb (Expand_Limited_With_Clause): Update the call to - Install_Limited_Withed_Unit. - (Expand_With_Clause): Update the call to Install_Withed_Unit. - (Implicit_With_On_Parent): Update the call to Install_Withed_Unit. - (Install_Context_Clauses): Update the call to Install_Withed_Unit. - (Install_Limited_Context_Clauses): Update the calls to - Install_Limited_Withed_Unit. - (Install_Limited_Withed_Unit): Renamed to better illustrate its - purpose. - (Install_Private_With_Clauses): Update the calls to Install_Withed_Unit - and Install_Limited_Withed_Unit. - (Install_With_Clause): Uninstall a limited with clause if a [private] - with clause is given for the same package. - (Install_Withed_Unit): Renamed to better illustrate its purpose. - (Remove_Limited_With_Unit): New routine. - -2018-05-24 Eric Botcazou <ebotcazou@adacore.com> - - * raise-gcc.c (__gnat_SEH_error_handler): Remove prototype. - (__gnat_personality_seh0): Adjust and beef up comments, and - fix formatting throughout. - (__gnat_adjust_context): Deal minimally with version 2. - * seh_init.c (__gnat_map_SEH): Fix formatting. - (_gnat_SEH_error_handler): Adjust comments. - (__gnat_install_SEH_handler): Fix formatting. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch7.adb, sem_ch3.adb, sem_res.adb: Minor reformatting. - -2018-05-24 Ed Schonberg <schonberg@adacore.com> - - * exp_aggr.adb (Flatten): Add a warning on an others clause in an array - aggregate with static bounds when named associations cover all index - positions and the others clause is redundant. - -2018-05-24 Raphael Amiard <amiard@adacore.com> - - * libgnat/a-cohama.ads: Add documentation. - -2018-05-24 Raphael Amiard <amiard@adacore.com> - - * libgnat/a-convec.ads: Add documentation. - -2018-05-24 Justin Squirek <squirek@adacore.com> - - * exp_ch3.adb (Expand_N_Object_Declaration): Ignore raising an error in - expansion for limited tagged types when the node to be expanded is a - raise expression due to it not representing a valid object. - * exp_ch5.adb (Expand_N_Assignment_Statement): Add exception to error - message regarding assignments to limited types to ignore genereated - code. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_util.adb (New_Class_Wide_Subtype): Capture and restore relevant - Ghost-related attributes of the class-wide subtype because the copy - clobbers them. - -2018-05-24 Justin Squirek <squirek@adacore.com> - - * sem_res.adb (Resolve_Entity_Name): Add guard to protect against - marking use clauses as effective when the reference appears within - generated code. - -2018-05-24 Cyrille Comar <comar@adacore.com> - - * doc/gnat_rm/the_gnat_library.rst: Fix typos. - * gnat_rm.texi: Regenerate. - -2018-05-24 Bob Duff <duff@adacore.com> - - * exp_ch7.adb (Expand_Cleanup_Actions): Create a mark unconditionally - for build-in-place functions with a caller-unknown-size result. - (Create_Finalizer): For build-in-place functions with a - caller-unknown-size result, check at run time whether we need to - release the secondary stack. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_prag.adb (Analyze_Pragma): Use the full view of an internally - generated incomplete type. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * expander.adb (Expand): Update the save and restore of the Ghost - region. - * exp_ch3.adb (Freeze_Type): Likewise. - * exp_disp.adb (Make_DT): Likewise. - * exp_util.adb (Build_DIC_Procedure_Body): Likewise. - (Build_DIC_Procedure_Declaration): Likewise. - (Build_Invariant_Procedure_Body): Likewise. - (Build_Invariant_Procedure_Declaration): Likewise. - (Make_Predicate_Call): Likewise. - * freeze.adb (Add_To_Result): Insert the freeze action of a living - entity prior to the start of the enclosing ignored Ghost region. - (Freeze_Entity): Update the save and restore of the Ghost region. - * ghost.adb (Install_Ghost_Mode): Reimplemented. - (Install_Ghost_Region): New routine. - (Mark_And_Set_Ghost_Assignment): Install a region rather than a mode. - (Mark_And_Set_Ghost_Body): Likewise. - (Mark_And_Set_Ghost_Completion): Likewise. - (Mark_And_Set_Ghost_Declaration): Likewise. - (Mark_And_Set_Ghost_Instantiation): Likewise. - (Mark_And_Set_Ghost_Procedure_Call): Likewise. - (Name_To_Ghost_Mode): New routine. - (Restore_Ghost_Region): New routine. - * ghost.ads (Install_Ghost_Region): New routine. - (Restore_Ghost_Region): New routine. - * opt.ads: Add new global variable Ignored_Ghost_Region. - * rtsfind.adb (Load_RTU): Update the save and restore of the Ghost - region. Install a clean region. - * sem.adb (Analyze): Likewise. - (Do_Analyze): Likewise. - * sem_ch3.adb (Analyze_Object_Declaration): Likewise - (Derive_Progenitor_Subprograms): Use local variable Iface_Alias to - capture the ultimate alias of the current primitive. - (Process_Full_View): Update the save and restore of the Ghost region. - Do not inherit DIC and invariant procedures. - * sem_ch5.adb (Analyze_Assignment): Update the save and restore of the - Ghost region. - * sem_ch6.adb (Analyze_Procedure_Call): Likewise. - (Analyze_Subprogram_Body_Helper): Likewise. - * sem_ch7.adb (Analyze_Package_Body_Helper): Likewise. - * sem_ch12.adb (Analyze_Package_Instantiation): Likewise. - (Analyze_Subprogram_Instantiation): Likewise. - (Instantiate_Package_Body): Likewise. - (Instantiate_Subprogram_Body): Likewise. - * sem_ch13.adb (Build_Predicate_Functions): Likewise. - (Build_Predicate_Function_Declaration): Likewise. - * sem_disp.adb - (Add_Dispatching_Operation): Do not consider DIC and invariant - procedures. - (Check_Dispatching_Operation): Use Add_Dispatching_Operation to collect - a dispatching subprogram. - (Check_Operation_From_Private_View): Likewise. - (Override_Dispatching_Operation): Likewise. - * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): Update the save - and restore of the Ghost region. - (Analyze_Initial_Condition_In_Decl_Part): Likewise. - (Analyze_Pragma): Update the save and restore of the Ghost region. - (Analyze_Pre_Post_Condition_In_Decl_Part): Likewise. - * sem_util.adb (Is_Suitable_Primitive): New routine. - * sem_util.ads (Is_Suitable_Primitive): New routine. - * sinfo.ads: Update the section of Ghost regions. - -2018-05-24 Piotr Trojanek <trojanek@adacore.com> - - * doc/gnat_rm/implementation_defined_pragmas.rst (Contract_Cases): - Change "condition" to "case guard" after renaming in the contract - grammar. - * gnat_rm.texi: Regenerate. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_util.adb (Expand_Static_Predicates_In_Choices): Indicate that the - construct with discrete choices no longer contains a subtype with - predicates since the expansion already handled this case. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * freeze.adb (Wrap_Imported_Subprogram): Generate an unchecked - conversion to the return type to avoid a side effect where an imported - relocated function generates a new anonymous access type, whose - accessibility level does not agree with with that of the wrapper. - -2018-05-24 Javier Miranda <miranda@adacore.com> - - * sem_util.adb (Abstract_Interface_List): Add missing support for - private types whose full view is a synchronized type. - * sem_ch3.adb (Build_Derived_Private_Type): Skip building the full - derivation of a private type parent type is a task type with - discriminants as gigi does not use such type directly. - -2018-05-24 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_elab.adb (Build_Variable_Reference_Marker): Do not create a - variable marker when the reference appears in the formal part of a - compilation unit instance because there is no place to insert it. - (In_Compilation_Instance_Formal_Part): New routine. - -2018-05-24 Piotr Trojanek <trojanek@adacore.com> - - * layout.ads, repinfo.ads: Fix references to renamed Backend_Layout - configuration parameter. - -2018-05-24 Doug Rupp <rupp@adacore.com> - - * argv-lynxos178-raven-cert.c: New file. - * libgnat/system-lynxos178-x86.ads: New file. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_disp.adb, freeze.adb, gnat1drv.adb, sem_ch5.adb, sem_spark.adb: - Minor reformattings. - -2018-05-23 Pascal Obry <obry@adacore.com> - - * adaint.c (win32_wait): Properly free the handle/pid lists when - WaitForMultipleObjects fails (return WAIT_FAILED). - -2018-05-23 Pascal Obry <obry@adacore.com> - - * adaint.c (win32_wait): Add missing parentheses. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch3.adb (Check_Large_Modular_Array): Moved to Freeze. - (Expand_N_Object_Declaration): Do not check for a large modular array - here. - * freeze.adb (Check_Large_Modular_Array): Moved from Exp_Ch3. - (Freeze_Object_Declaration): Code cleanup. Check for a large modular - array. - * sem_ch3.adb: Minor reformatting. - -2018-05-23 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads: New attribute on types: Predicated_Parent, to simplify the - retrieval of the applicable predicate function to an itype created for - a constrained array component. - * einfo.adb: Subprograms for Predicated_Parent. - (Predicate_Function): Use new attribute. - * exp_util.adb (Make_Predicate_Call): If the predicate function is not - available for a subtype, retrieve it from the base type, which may have - been frozen after the subtype declaration and not captured by the - subtype declaration. - * sem_aggr.adb (Resolve_Array_Aggregate): An Others association is - legal within a generated initiqlization procedure, as may happen with a - predicate check on a component, when the predicate function applies to - the base type of the component. - * sem_ch3.adb (Analyze_Subtype_Declaration): Clean up inheritance of - predicates for subtype declarations and for subtype indications in - other contexts. - (Process_Subtype): Likewise. Handle properly the case of a private type - with unknown discriminants whose full view is an unconstrained array. - Use Predicated_Parent to indicate source of predicate function on an - itype whose parent is itself an itype. - (Complete_Private_Subtype): If the private view has unknown - discriminants and the full view is an unconstrained array, set base - type of completion to the full view of parent. - (Inherit_Predicate_Flags): Prevent double assignment of predicate - function and flags. - (Build_Subtype): For a constrained array component, propagate predicate - information from original component type declaration. - -2018-05-23 Boris Yakobowski <yakobowski@adacore.com> - - * libgnat/a-ngelfu.ads (Arctanh, Arccoth): Fix faulty preconditions. - -2018-05-23 Arnaud Charlet <charlet@adacore.com> - - * checks.adb (Minimize_Eliminate_Overflows): Default initialize Lo and - Hi. - * sem_elab.adb: Make "out" parameters instead of "in out" when - relevant. - -2018-05-23 Bob Duff <duff@adacore.com> - - * gnatbind.adb (List_Applicable_Restrictions): Add - No_Implementation_Restrictions to the list of restrictions not to list. - Remove double negative "not No_Restriction_List". Comment the - commentary that is output, so it won't cause errors if used directly in - a gnat.adc. - -2018-05-23 Ed Schonberg <schonberg@adacore.com> - - * sem_prag.adb (Inherit_Class_Wide_Pre): Refine legality check on - class-wide precondition on a type extension when ancestor does not have - a class-wide precondition. Previously the compiler accepted such a - precondition when the ancestor had a class-wide postcondition. - -2018-05-23 Javier Miranda <miranda@adacore.com> - - * sem_attr.adb (Valid_Scalars): Do not invoke Error_Attr_P to report - the warning on occurrences of this attribute whose evaluation is always - true (since that subprogram aborts processing the attribute). In - addition, replace the node by its boolean result 'True' (required - because the backend has no knowledge of this attribute). - -2018-05-23 Bob Duff <duff@adacore.com> - - * libgnat/a-convec.adb: (Insert, Insert_Space): Suppress warnings. The - code in question is not reachable in the case where Count_Type'Last is - out of range. - -2018-05-23 Yannick Moy <moy@adacore.com> - - * doc/gnat_rm/implementation_defined_pragmas.rst: Clarify meaning of - local pragma Warnings Off without On. - * gnat_rm.texi: Regenerate. - -2018-05-23 Olivier Hainque <hainque@adacore.com> - - * libgnat/g-excact.ads (Is_Foreign_Exception): New predicate. - * libgnat/g-excact.adb: Implement. - -2018-05-23 Ed Schonberg <schonberg@adacore.com> - - * sem_ch5.adb (Analyze_Iterator_Specification): If a subtype indication - is present, verify its legality when the domain of iteration is a - GNAT-specific formal container, as is already done for arrays and - predefined containers. - -2018-05-23 Yannick Moy <moy@adacore.com> - - * sem_util.adb (Enclosing_Declaration): Fix the case of a named number - declaration, which was not taken into account. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * debug.adb: Switch -gnatd_s is now used to stop elaboration checks on - synchronized suspension. - * rtsfind.ads: Add entries for units Ada.Synchronous_Barriers and - Ada.Synchronous_Task_Control and routines Suspend_Until_True and - Wait_For_Release. - * sem_elab.adb: Document switch -gnatd_s. - (In_Task_Body): New routine. - (Is_Potential_Scenario): Code cleanup. Stop the traversal of a task - body when the current construct denotes a synchronous suspension call, - and restriction No_Entry_Calls_In_Elaboration_Code or switch -gnatd_s - is in effect. - (Is_Synchronous_Suspension_Call): New routine. - * switch-c.adb (Scan_Front_End_Switches): Switch -gnatJ now sets switch - -gnatd_s. - -2018-05-23 Javier Miranda <miranda@adacore.com> - - * exp_disp.adb (Make_DT): Restrict the initialization of - External_Tag and Expanded_Name to an empty string to the case where - both pragmas apply (i.e. No_Tagged_Streams and Discard_Names), since - restricted runtimes are compiled with pragma Discard_Names. - * doc/gnat_rm/implementation_defined_pragmas.rst, - doc/gnat_rm/implementation_defined_characteristics.rst: Add - documentation. - * gnat_rm.texi: Regenerate. - -2018-05-23 Maroua Maalej <maalej@adacore.com> - - * sem_spark.adb: Fix of some permission rules of pointers in SPARK. - -2018-05-23 Ed Schonberg <schonberg@adacore.com> - - * sem_ch5.adb (Preanalyze_Range): The pre-analysis of the domain of - iteration of an Ada2012 loop is performed to determine the type of the - domain, but full analysis is performed once the loop is rewritten as a - while-loop during expansion. The pre-analysis suppresses expansion; it - must also suppress the generation of freeze nodes, which may otherwise - appear in the wrong scope before rewritting. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_elab.adb: Update the section on suppressing elaboration warnings. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * einfo.adb (Is_Elaboration_Checks_OK_Id): Use predicate - Is_Elaboration_Target. - (Is_Elaboration_Target): New routine. - (Is_Elaboration_Warnings_OK_Id): Use predicate Is_Elaboration_Target. - (Set_Is_Elaboration_Checks_OK_Id): Use predicate Is_Elaboration_Target. - (Set_Is_Elaboration_Warnings_OK_Id): Use predicate - Is_Elaboration_Target. - * einfo.ads: Add new synthesized attribute Is_Elaboration_Target along - with occurrences in nodes. - (Is_Elaboration_Target): New routine. - * sem_prag.adb (Analyze_Pragma): Suppress elaboration warnings when an - elaboration target is subject to pragma Warnings (Off, ...). - -2018-05-23 Eric Botcazou <ebotcazou@adacore.com> - - * repinfo.adb (List_Type_Info): Remove obsolete stuff. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * einfo.adb: Flag304 is now Is_Elaboration_Warnings_OK_Id. - (Is_Elaboration_Warnings_OK_Id): New routine. - (Set_Is_Elaboration_Warnings_OK_Id): New routine. - (Write_Entity_Flags): Output Flag304. - * einfo.ads: Add new attribute Is_Elaboration_Warnings_OK_Id along with - occurrences in entities. - (Is_Elaboration_Warnings_OK_Id): New routine along with pragma Inline. - (Set_Is_Elaboration_Warnings_OK_Id): New routine along with pragma - Inline. - * sem_attr.adb (Analyze_Access_Attribute): Capture the state of - elaboration warnings. - * sem_ch3.adb (Analyze_Object_Declaration): Capture the state of - elaboration warnings. - * sem_ch6.adb (Analyze_Abstract_Subprogram_Declaration): Capture the - state of elaboration warnings. - (Analyze_Subprogram_Body_Helper): Capture the state of elaboration - warnings. - (Analyze_Subprogram_Declaration): Capture the state of elaboration - warnings. - * sem_ch9.adb (Analyze_Entry_Declaration): Capture the state of - elaboration warnings. - (Analyze_Single_Task_Declaration): Capture the state of elaboration - warnings. - (Analyze_Task_Type_Declaration): Capture the state of elaboration - warnings. - * sem_ch12.adb (Analyze_Generic_Package_Declaration): Capture the state - of elaboration warnings. - (Analyze_Generic_Subprogram_Declaration): Capture the state of - elaboration warnings. - * sem_elab.adb: Add a section on suppressing elaboration warnings. - Type Processing_Attributes includes component Suppress_Warnings - intended to suppress any elaboration warnings along a path in the - graph. Update Initial_State to include a value for this component. - Types Target_Attributes and Task_Attriutes include component - Elab_Warnings_OK to indicate whether the target or task has elaboration - warnings enabled. component Elab_Warnings_OK. - (Build_Access_Marker): Propagate attribute - Is_Elaboration_Warnings_OK_Node from the attribute to the generated - call marker. - (Extract_Instantiation_Attributes): Set the value for Elab_Warnings_OK. - (Extract_Target_Attributes): Set the value for Elab_Warnings_OK. - (Extract_Task_Attributes): Set the value for Elab_Warnings_OK. - (Process_Conditional_ABE_Access): Suppress futher elaboration warnings - when already in this mode or when the attribute or target have warnings - suppressed. - (Process_Conditional_ABE_Activation_Impl): Do not emit any diagnostics - if warnings are suppressed. - (Process_Conditional_ABE_Call): Suppress further elaboration warnings - when already in this mode, or the target or call have warnings - suppressed. - (Process_Conditional_ABE_Call_Ada): Do not emit any diagnostics if - warnings are suppressed. - (Process_Conditional_ABE_Call_SPARK): Do not emit any diagnostics if - warnings are suppressed. - (Process_Conditional_ABE_Instantiation): Suppress further elaboration - warnings when already in this mode or when the instantiation has - warnings suppressed. - (Process_Conditional_ABE_Instantiation_Ada): Do not emit any - diagnostics if warnings are suppressed. - (Process_Conditional_ABE_Variable_Assignment_Ada): Use the more - specific Is_Elaboration_Warnings_OK_Id rather than Warnings_Off. - (Process_Conditional_ABE_Variable_Assignment_SPARK): Use the more - specific Is_Elaboration_Warnings_OK_Id rather than Warnings_Off. - (Process_Task_Object): Suppress further elaboration warnings when - already in this mode, or when the object, activation call, or task type - have warnings suppressed. Update the processing state to indicate that - the path goes through a task body. - * sinfo.adb (Is_Elaboration_Warnings_OK_Node): Accept attribute - references. - (Set_Is_Elaboration_Warnings_OK_Node): Accept attribute references. - * sinfo.ads: Attribute Is_Elaboration_Warnings_OK_Node now applies to - attribute references. - -2018-05-23 Piotr Trojanek <trojanek@adacore.com> - - * einfo.ads: Minor reformatting. - -2018-05-23 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Analyze_Object_Declaration): If expression is an - anonymous_access_to_ subprogram formal, apply a conversion to force an - accsssibility check that will fail statically, enforcing 3.10.2 (13). - -2018-05-23 Daniel Mercier <mercier@adacore.com> - - * gnat1drv.adb: Turn off length expansion in CodePeer mode. - -2018-05-23 Bob Duff <duff@adacore.com> - - * freeze.adb: (Check_Address_Clause): Deal with build-in-place - aggregates in addition to build-in-place calls. - -2018-05-23 Bob Duff <duff@adacore.com> - - * einfo.ads: Minor reformatting. - * sem_ch3.adb: Likewise. - * sinfo.ads: Likewise. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch3.adb (Default_Initialize_Object): Do not optimize scalar array - initialization when the component type has predicates. - * exp_ch4.adb (Expand_N_Allocator): Do not optimize scalar array - allocation when the component type has predicates. - -2018-05-23 Hristian Kirtchev <kirtchev@adacore.com> - - * einfo.adb, exp_disp.adb, sem_ch3.adb, sem_ch6.adb, sem_prag.adb: - Minor reformatting. - -2018-05-22 Justin Squirek <squirek@adacore.com> - - * sem_ch6.adb (Analyze_Expression_Function): Propagate flags from the - original function spec into the generated function spec due to - expansion of expression functions during analysis. - (Analyze_Subprogram_Body_Helper): Modify check on formal parameter - references from the body to the subprogram spec in the case of - expression functions because of inconsistances related to having a - generated body. - * libgnarl/s-osinte__android.ads: Flag parameters as unused. - * libgnarl/s-osinte__lynxos178e.ads: Likewise. - * libgnarl/s-osinte__qnx.adb: Likewise. - * libgnarl/s-osinte__qnx.ads: Likewise. - -2018-05-22 Doug Rupp <rupp@adacore.com> - - * init.c (HAVE_ADJUST_CONTEXT_FOR_RAISE): Don't define on VxWorks7 for - AArch64. - -2018-05-22 Olivier Hainque <hainque@adacore.com> - - * libgnat/a-except.adb (Exception_Propagation.Propagate_Exception): - Expect an Exception_Occurence object, not an Access. - (Complete_And_Propagate_Occurrence): Adjust accordingly. - (Raise_From_Signal_Handler): Likewise. - (Reraise_Occurrence_No_Defer): If we have a Machine_Occurrence - available in the provided occurrence object, just re-propagate the - latter as a bare "raise;" would do. - * libgnat/a-exexpr.adb (Propagate_Exception): Adjust to spec change. - * libgnat/a-exstat.adb (String_To_EO): Initialize X.Machine_Occurrence - to null, to mark that the occurrence we're crafting from the stream - contents is not being propagated (yet). - -2018-05-22 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb (Initialize_Ctrl_Record_Component): Insert the generated - code for a transient component in line with the rest of the - initialization code, rather than before the aggregate. This ensures - that the component has proper visibility of the discriminants. - -2018-05-22 Jerome Lambourg <lambourg@adacore.com> - - * adaint.c: Reorganize QNX-specific macros, use syspage to retreive the - number of CPUs. - -2018-05-22 Jerome Lambourg <lambourg@adacore.com> - - * sigtramp-qnx.c: Properly restore link register in signal trampoline. - -2018-05-22 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Strip away any - conversions before extracting the value of the expression. - * exp_ch3.adb (Default_Initialize_Object): Optimize the default - initialization of an array of scalars. - (Get_Simple_Init_Val): Add processing for array types. Remove the - processing of strings because this case is already handled by the array - case. - (Needs_Simple_Initialization): Moved to Sem_Util. - (Simple_Init_Array_Type): New routine. - (Simple_Init_Initialize_Scalars_Type): Reimplemented to use the new - facilities from Sem_Util. - (Simple_Initialization_OK): New routine. - * exp_ch3.ads (Needs_Simple_Initialization): Moved to Sem_Util. - * exp_ch4.adb (Expand_N_Allocator): Optimize the default allocation of - an array of scalars. - * sem_prag.adb (Analyze_Float_Value): New routine. - (Analyze_Integer_Value): New routine. - (Analyze_Pragma): Reimplement the analysis of pragma Initialize_Scalars - to handled the extended form of the pragma. - (Analyze_Type_Value_Pair): New routine. - * sem_util.adb: Add invalid value-related data structures. - (Examine_Array_Bounds): New routine. - (Has_Static_Array_Bounds): Reimplemented. - (Has_Static_Non_Empty_Array_Bounds): New routine. - (Invalid_Scalar_Value): New routine. - (Needs_Simple_Initialization): Moved from Exp_Ch3. - (Set_Invalid_Scalar_Value): New routines. - * sem_util.ads (Has_Static_Non_Empty_Array_Bounds): New routine. - (Invalid_Scalar_Value): New routine. - (Needs_Simple_Initialization): Moved from Exp_Ch3. - (Set_Invalid_Scalar_Value): New routines. - * snames.ads-tmpl: Add names for the salar type families used by pragma - Initialize_Scalars. - -2018-05-22 Javier Miranda <miranda@adacore.com> - - * exp_disp.adb (Make_DT): Initialize the External_Tag with an empty - string when pragma No_Tagged_Streams is applicable to the tagged type, - and initialize the Expanded_Name with an empty string when pragma - Discard_Names is applicable to the tagged type. - -2018-05-22 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Check_Conformance): Add RM reference for rule that a - formal subprogram is never subtype conformqnt, and thus cannot be the - prefix of 'Access. Reject as well the attribute when applied to a - renaming of a formal subprogram. - -2018-05-22 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch3.adb (Build_Array_Init_Proc): Update the call to - Needs_Simple_Initialization. - (Build_Init_Statements): Update the call to Get_Simple_Init_Val. - (Check_Subtype_Bounds): Renamed to Extract_Subtype_Bounds. Update the - profile and comment on usage. - (Default_Initialize_Object): Do not use New_Copy_Tree to set the proper - Sloc of a value obtained from aspect Default_Value because this could - potentially replicate large trees. The proper Sloc is now set in - Get_Simple_Init_Val. - (Get_Simple_Init_Val): Reorganized by breaking the various cases into - separate routines. Eliminate the use of global variables. - (Init_Component): Update the call to Get_Simple_Init_Val. - (Needs_Simple_Initialization): Update the parameter profile and all - uses of T. - (Simple_Init_Defaulted_Type): Copy the value of aspect Default_Value - and set the proper Sloc. - * exp_ch3.ads (Get_Simple_Init_Val): Update the parameter profile and - comment on usage. - (Needs_Simple_Initialization): Update the parameter profile. - -2018-05-22 Patrick Bernardi <bernardi@adacore.com> - - * sem_ch3.adb (Build_Discriminant_Constraints): Raise an error if the - user tries to use a subtype indication as a discriminant constraint. - -2018-05-22 Ed Schonberg <schonberg@adacore.com> - - * exp_ch4.ads, exp_ch4.adb, exp_util.adb, expander.adb: Remove mention - of N_Reduction_Expression and N_Reduction_Expression_Parameter. - * par-ch4.adb: Remove parsing routines for reduction expressions. - * sem.adb, sinfo.ads, sinfo.adb, sem_ch4.ads, sem_ch4.adb, sem_res.adb, - sem_spark.adb, sprint.adb: Remove analysis routines for reduction - expressions. - -2018-05-22 Arnaud Charlet <charlet@adacore.com> - - * sem_ch8.adb (Check_Frozen_Renaming): Do not emit error in - Relaxed_RM_Semantics mode. - -2018-05-22 Arnaud Charlet <charlet@adacore.com> - - * comperr.adb (Delete_SCIL_Files): Take into account - N_Generic_Package_Renaming_Declaration. - -2018-05-22 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Search_Derivation_Levels): Whenever a parent type is - private, use the full view if available, because it may include renamed - discriminants whose values are stored in the corresponding - Stored_Constraint. - -2018-05-22 Ed Schonberg <schonberg@adacore.com> - - * einfo.ads, einfo.adb: New attribute Hidden_In_Formal_Instance, - defined on packages that are actuals for formal packages, in order to - set/reset the visibility of the formals of a formal package with given - actuals, when there are subsequent uses of those formals in the - enclosing generic, as required by RN 12.7 (10). - * atree.ads, atree.adb: Add operations for Elist30. - * atree.h: Add Elist30. - * sem_ch12.adb (Analyze_Formal_Package_Instantiation): Collect formals - that are not defaulted and are thus not visible within the current - instance. - (Check_Formal_Packages): Reset visibility of formals of a formal - package that are not defaulted, on exit from current instance. - -2018-05-22 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_prag.adb (Analyze_Input_Output): Emit an error when a non-null, - non-'Result output appears in the output list of a function. - -2018-05-22 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_attr.adb (Build_Array_VS_Func): Reimplemented. - (Build_Record_VS_Func): Reimplemented. - (Expand_N_Attribute): Reimplement the handling of attribute - 'Valid_Scalars. - * sem_attr.adb (Analyze_Attribute): Reimplement the handling of - attribute 'Valid_Scalars. - * sem_util.adb (Scalar_Part_Present): Reimplemented. - (Validated_View): New routine. - * sem_util.ads (Scalar_Part_Present): Update the parameter profile and - comment on usage. - (Validated_View): New routine. - * doc/gnat_rm/implementation_defined_attributes.rst: Update the - documentation of attribute 'Valid_Scalars. - * gnat_rm.texi: Regenerate. - -2018-05-22 Bob Duff <duff@adacore.com> - - * binde.adb: (Choose): Ignore a pragma Elaborate_Body that appears in - the spec of a SAL_Interface package. - -2018-05-22 Ed Schonberg <schonberg@adacore.com> - - * freeze.adb (Freeze_Entity): When analyzing delayed aspects of an - entity E within a generic unit, indicate that there are no remaining - delayed aspects after invoking Analyze_Aspects_At_Freeze_Point. The - entity E is not frozen yet but the aspects should not be reanalyzed at - the freeze point, which may be outside of the generic and may not have - the proper visibility. - -2018-05-22 Bob Duff <duff@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Add documentation for - the new --split-line-before-record, --indent-named-statements and - --no-align-modes gnatpp switches. - -2018-05-22 Ed Schonberg <schonberg@adacore.com> - - * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Handle properly - a second argument that is a constant of a given string value. - -2018-05-22 Doug Rupp <rupp@adacore.com> - - * sigtramp-vxworks-target.inc: Align stack to 128bits on AArch64. - -2018-05-22 Jerome Lambourg <lambourg@adacore.com> - - * sigtramp-qnx.c: Fix stack alignment issue in the signal trampoline. - -2018-05-22 Ed Schonberg <schonberg@adacore.com> - - * freeze.adb (Freeze_Fixed_Point_Type): If the first subtype has - delayed aspects, analyze them now, os that the representation of the - type (size, bounds) can be computed and validated. - -2018-05-22 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-dwalin.adb (Enable_Cache): Skip symbols outside of the - executable code section boundaries. - -2018-05-22 Javier Miranda <miranda@adacore.com> - - * locales.c: New implementation for the Ada.Locales package. - * libgnat/a-locale.ads: Remove comment indicating that this is not - implemented. - * doc/gnat_rm/standard_library_routines.rst: Remove comment indicating - that this is not implemented. - * gnat_rm.texi: Regenerate. - -2018-05-22 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch5.adb, freeze.adb, pprint.adb, sem_ch4.adb, sem_res.adb: Minor - reformattings. - -2018-05-22 Justin Squirek <squirek@adacore.com> - - * sem_ch12.adb (In_Same_Declarative_Part): Moved to sem_util. - (Freeze_Subprogram_Body, Install_Body): Modify calls to - In_Same_Declarative_Part. - * sem_prag.adb (Analyze_Pragma-Pragma_Pure_Function): Add check to - verify pragma declaration is within the same declarative list with - corresponding error message. - * sem_util.adb, sem_util.ads (In_Same_Declarative_Part): Moved from - sem_ch12.adb and generalized to be useful outside the scope of - freezing. - -2018-05-22 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch6.adb (Analyze_Subprogram_Declaration): Set the proper - categorization of the unit after processing the aspects in case one of - its aspects is converted into a categorization pragma. - -2018-05-21 Ed Schonberg <schonberg@adacore.com> - - * freeze.adb (Warn_Overlay): Do not emit a wawrning on an object - declaration with an explicit address clause and a type with default - initialization, if the declaration carries an aspect - Suppress_Initialization. - -2018-05-21 Daniel Mercier <mercier@adacore.com> - - * pprint.adb: Use mixed case for attribute names. - -2018-05-21 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Rename the call to - Analyze_Aspect_Specifications_On_Body_Or_Stub. - (Analyze_Subprogram_Body_Helper): Rename the calls to - Analyze_Aspect_Specifications_On_Body_Or_Stub. - * sem_ch9.adb (Analyze_Entry_Body): Rename the call to - Analyze_Aspect_Specifications_On_Body_Or_Stub. - * sem_ch10.adb: Add with and use clause for Sem_Ch13. - (Analyze_Package_Body_Stub): Add constant Id. Decorate the package stub - prior to analyzing its aspects. - (Analyze_Protected_Body_Stub): Add constant Id. Decorate the package - stub prior to analyzing its aspects. Save and restore the configuration - switches. - (Analyze_Task_Body_Stub): Add constant Id. Decorate the package stub - prior to analyzing its aspects. - * sem_ch13.adb (Analyze_Aspect_Specifications_On_Body_Or_Stub): Renamed - to Analyze_Aspects_On_Subprogram_Body_Or_Stub. - * sem_ch13.ads (Analyze_Aspect_Specifications_On_Body_Or_Stub): Renamed - to Analyze_Aspects_On_Subprogram_Body_Or_Stub. - * sem_prag.adb: Code reformatting. - (Analyze_Refined_Depends_Global_Post): Consider task body stubs. - -2018-05-21 Jerome Lambourg <lambourg@adacore.com> - - * gcc-interface/Makefile.in: Add g-soliop__qnx.ads to the runtime build - for QNX. - -2018-05-21 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_cg.adb: Remove with and use clause for Exp_Disp. - * exp_ch9.adb: Remove with and use clause for Exp_Disp. - * exp_disp.adb (Is_Predefined_Dispatching_Operation): Moved to Sem_Util. - (Is_Predefined_Interface_Primitive): Moved to Sem_Util. - (Is_Predefined_Internal_Operation): Moved to Sem_Util. - * exp_disp.ads (Is_Predefined_Dispatching_Operation): Moved to Sem_Util. - (Is_Predefined_Interface_Primitive): Moved to Sem_Util. - (Is_Predefined_Internal_Operation): Moved to Sem_Util. - * exp_dist.adb: Remove with and use clause for Exp_Disp. - * freeze.adb: Remove with and use clause for Exp_Disp. - * sem_cat.adb: Remove with and use clause for Exp_Disp. - * sem_ch6.adb: Remove with and use clause for Exp_Disp. - * sem_ch12.adb: Remove with and use clause for Exp_Disp. - * sem_elab.adb (Check_Overriding_Primitive): Do not process predefined - primitives. - * sem_util.adb: Remove with and use clause for Exp_Disp. - (Is_Predefined_Dispatching_Operation): Moved from Exp_Disp. - (Is_Predefined_Interface_Primitive): Moved from Exp_Disp. - (Is_Predefined_Internal_Operation): Moved from Exp_Disp. - * sem_util.ads (Is_Predefined_Dispatching_Operation): Moved from - Exp_Disp. - (Is_Predefined_Interface_Primitive): Moved from Exp_Disp. - (Is_Predefined_Internal_Operation): Moved from Exp_Disp. - -2018-05-21 Ed Schonberg <schonberg@adacore.com> - - * sem_res.adb (Valid_Conversion): Improve error message on an illegal - type conversion whose expression has a limited view of a type. - -2018-05-21 Ed Schonberg <schonberg@adacore.com> - - * exp_ch5.adb (Build_Formal_Container_Iteration): If source has - explicit name for iterator loop, preserve that name in expanded - construct, for possible use in exit statements. - -2018-05-21 Javier Miranda <miranda@adacore.com> - - * sem_ch4.adb (Analyze_Membership_Op): Avoid compiler crash when the - spec of a unit has Ada 2012 membership tests with multiple choices and - the unit body is not compiled under Ada 2012 mode. - -2018-05-21 Doug Rupp <rupp@adacore.com> - - * sigtramp-vxworks-target.inc: Set cfa_reg properly from sigcontext - pregs. - (CFI_COMMON_REGS): Restore LR jic probed from prologue. - (REGNO_PC_OFFSET): Change to correct value for Aarch64. - -2018-05-21 Jose Ruiz <ruiz@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst, exp_attr.adb, - libgnarl/s-tassta.adb: Minor typo fixes - -2018-05-21 Ed Schonberg <schonberg@adacore.com> - - * sem_ch4.adb (Analyze_One_Call): Recognize complex cases where an - indexed call originally in prefix forn is itself the prefix of a - further call. - -2018-05-21 Piotr Trojanek <trojanek@adacore.com> - - * sem_eval.adb (Is_Null_Range): Clarify access to the full view of a - type. - (Not_Null_Range): Same as above. - -2018-05-21 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch3.adb: Minor reformatting. - * exp_ch6.adb: Likewise. - * freeze.adb: Likewise. - * inline.adb: Likewise. - * sem_util.adb: Likewise. - -2018-05-21 Yannick Moy <moy@adacore.com> - - * inline.adb (Expand_Inlined_Call.Process_Formals): Use a type - conversion instead of an unchecked type conversion when inlining a - return statement, unless type qualification is required (for character - and string literal) or no check can result from the conversion (for - access types). - * opt.ads: Update comment. - -2018-05-21 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Install the elaboration - model of the compilation unit spec, if any. - * sem_ch7.adb (Analyze_Package_Body_Helper): Install the elaboration - model of the compilation unit spec, if any. - * sem_ch10.adb (Analyze_Subunit): Install the elaboration model of the - parent compilation unit spec, if any. - * sem_elab.adb (Check_Elaboration_Scenarios): Restore the elaboration - model of the main unit. - (Is_Same_Unit): The routine now uses Unit_Entity. - (Is_Subunit): Removed. - (Normalize_Unit): Removed. - (Unit_Entity): New routine. - * sem_prag.adb (Analyze_Pragma): Reimplement the handling of pragma - Elaboration_Checks. The analysis now ensures that the pragma appears at - the configuration level, and on the initial declaration of a unit. - Other placements are either flagged as illegal, or ignored. - (Check_Duplicate_Elaboration_Checks_Pragma): New routine. - (Ignore_Elaboration_Checks_Pragma): New routine. - * sem_util.adb (Install_Elaboration_Model): New routine. - * sem_util.ads (Install_Elaboration_Model): New routine. - * doc/gnat_rm/implementation_defined_pragmas.rst: Update the - documentation of pragma Elaboration_Checks. - * gnat_rm.texi: Regenerate. - -2018-05-21 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-trasym__dwarf.adb (Executable_Name): Return argv[0] instead - of empty string when argv[0] couldn't be found on PATH. - (Enable_Cache): Raise Program_Error instead of attempting a null - pointer dereference when the Exec_Module initialization failed. - -2018-05-21 Piotr Trojanek <trojanek@adacore.com> - - * libgnarl/a-reatim.ads (Clock_Time): Remove External aspect. - * libgnarl/a-taside.ads (Tasking_State): Likewise. - * libgnat/a-calend.ads (Clock_Time): Likewise. - -2018-05-21 Yannick Moy <moy@adacore.com> - - * sem_ch6.adb (Analyze_Procedure_Call): Refine test to recognize prefix - call notation in inlined call in GNATprove mode. - -2018-05-21 Hristian Kirtchev <kirtchev@adacore.com> - - * einfo.adb (Is_External_State): An abstract state is also external - when it is declared with option "synchronous". - * einfo.ads: Update the documentation of synthesized attribute - Is_External_State. - * sem_util.adb (Find_Simple_Properties): New routine. - (Is_Enabled_External_Property): New routine. - (State_Has_Enabled_Property): Reimplemented. The two flavors of option - External have precedence over option Synchronous when determining - whether a property is in effect. - -2018-05-21 Yannick Moy <moy@adacore.com> - - * sem_eval.adb (Static_Length): Take into account case of variable of - subtype string literal. - -2018-05-21 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-objrea.ads (Get_Memory_Bounds): Rename as Get_Xcode_Bounds. - (Object_Section): Rename Flag_Alloc component as Flag_Xcode. - * libgnat/s-objrea.adb (Get_Xcode_Bounds): Adjust to new subprogram and - component name. - (Get_Section, ELF case): Set Flag_Xcode from SHF_EXECINSTR. - * libgnat/s-dwalin.adb (Open): Adjust to the Get_Memory_Bounds name - change. - -2018-05-21 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-dwalin.ads (Dwarf_Context): Change type of Load_Address to - Address, and type of Low, High to Storage_Offset. - (Low): Rename as Low_Address and convey that the return value is a - runtime reference accounting for a load address. - * libgnat/s-dwalin.adb (Read_Aranges_Entry): Adjust to the - address/offset type changes. - (Aranges_Lookup): Likewise. - (Symbolic_Address): Likewise. - (Symbolic_Traceback): Likewise. - (Dump_Cache): Likewise. - (Is_Inside): Likewise. - (Open): Likewise. - (Set_Load_Address): Likewise. - (Low_Address): Likewise, and account for C.Load_Address. - * libgnat/s-trasym__dwarf.adb (Lt): Use Low_Address instead of Low. - (Multi_Module_Symbolic_Traceback): Compare address in traceback - with module Low_Address instead of Low. - -2018-05-21 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-dwalin.ads (Dwarf_Context): Rename Load_Slide as - Load_Address. - * libgnat/s-dwalin.adb (Is_Inside): Adjust accordingly. - (Set_Load_Address): Likewise. - (Symbolic_Traceback): Likewise. - -2018-05-21 Olivier Hainque <hainque@adacore.com> - - * libgnat/s-trasym__dwarf.adb (Add_Module_To_Cache): Expect a - Load_Address argument and pass it down to Init_Module. - * libgnat/s-tsmona__linux.adb (Build_Cache_For_All_Modules): Pass - lm.l_addr as the Load_Address to Add_Module_To_Cache. - -2018-05-21 Piotr Trojanek <trojanek@adacore.com> - - * einfo.adb (Has_Discriminants): Stronger assertion. - (Set_Has_Discriminants): Stronger assertion. - * sem_ch13.adb (Push_Scope_And_Install_Discriminants): Adapt to respect - the stronger assertion on Has_Discriminant. - (Uninstall_Discriminants_And_Pop_Scope): Same as above. - * sem_util.adb (New_Copy_Tree): Same as above. - * sem_ch7.adb (Generate_Parent_References): Prevent calls to - Has_Discriminant on non-type entities that might happen when the - compiled code has errors. - * sem_ch3.adb (Derived_Type_Declaration): Only call - Set_Has_Discriminant on type entities. - -2018-05-21 Arnaud Charlet <charlet@adacore.com> - - * exp_unst.adb (Unnest_Subprogram): Unnest all subprograms relevant for - code generation. - -2018-05-21 Piotr Trojanek <trojanek@adacore.com> - - * lib.ads: Fix typo in enumeration in comment. - -2018-05-21 Ed Schonberg <schonberg@adacore.com> - - * sem_attr.adb (Analyze_Attribute, case Scalar_Storage_Order): The - attribute reference is legal within a generic unit when the prefix is a - formal private type. - -2018-05-21 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch7.adb (Establish_Transient_Scope): Code cleanup. Do not - delegate the secondary stack management when there is no suitable - transient context, and the transient scope was intended to manage the - secondary stack because this causes premature reclamation. Change the - transient scope creation logic by special casing assignment statements - of controlled components for type initialization procedures. - (Find_Node_To_Be_Wrapped): Renamed to Find_Transient_Context. Update - the comment on usage. - (Find_Transient_Context): Change the initinte loop into a while loop. - Iterations schemes and iterator specifications are not valid transient - contexts because they rely on special processing. Assignment statements - are now treated as a normal transient context, special cases are - handled by the caller. Add special processing for pragma Check. - (Is_OK_Construct): Removed. Its functionality has been merged in - routine Find_Transient_Context. - * sem_ch5.adb (Check_Call): Reimplemented. Add code to properly - retrieve the subprogram being invoked. Use a more accurate predicate - (Requires_Transient_Scope) to determine that the function will emply - the secondary stack. - -2018-05-21 Piotr Trojanek <trojanek@adacore.com> - - * ada_get_targ.adb: Fix subprogram body headers. - * adabkend.adb: Likewise. - * checks.adb: Likewise. - * exp_ch3.adb: Likewise. - * exp_ch5.adb: Likewise. - * exp_ch9.adb: Likewise. - * exp_dist.adb: Likewise. - * exp_tss.adb: Likewise. - * inline.adb: Likewise. - * lib-writ.adb: Likewise. - * lib-xref-spark_specific.adb: Likewise. - * libgnarl/s-osinte__darwin.adb: Likewise. - * libgnarl/s-stusta.adb: Likewise. - * libgnarl/s-taprop__solaris.adb: Likewise. - * libgnarl/s-tposen.adb: Likewise. - * libgnarl/s-vxwext__kernel-smp.adb: Likewise. - * libgnarl/s-vxwext__kernel.adb: Likewise. - * libgnat/a-btgbso.adb: Likewise. - * libgnat/a-cfdlli.adb: Likewise. - * libgnat/a-cfhama.adb: Likewise. - * libgnat/a-cfinve.adb: Likewise. - * libgnat/a-cimutr.adb: Likewise. - * libgnat/a-coboho.adb: Likewise. - * libgnat/a-cofove.adb: Likewise. - * libgnat/a-cofuve.adb: Likewise. - * libgnat/a-comutr.adb: Likewise. - * libgnat/a-exexda.adb: Likewise. - * libgnat/a-tags.adb: Likewise. - * libgnat/a-tideau.adb: Likewise. - * libgnat/a-wtdeau.adb: Likewise. - * libgnat/a-ztdeau.adb: Likewise. - * libgnat/g-alleve.adb: Likewise. - * libgnat/s-excdeb.adb: Likewise. - * libgnat/s-parint.adb: Likewise. - * libgnat/s-shasto.adb: Likewise. - * libgnat/s-traceb__hpux.adb: Likewise. - * prepcomp.adb: Likewise. - * sem_ch4.adb: Likewise. - * sem_ch6.adb: Likewise. - * sem_dist.adb: Likewise. - * sem_prag.adb: Likewise. - * sem_util.adb: Likewise. - * sinfo.adb: Likewise. - * switch.adb: Likewise. - -2018-05-04 John Marino <gnugcc@marino.st> - - PR ada/85635 - * link.c (BSD platforms): Add missing backslash. - -2018-04-27 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/85540 - * init.c (__gnat_handle_vms_condition): Add missing parentheses. - -2018-04-25 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/85007 - * gnat_ugn.texi: Regenerate. - -2018-03-23 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/85007 - * gnatlink.adb (Gnatlink): Remove handling of -b switch. - * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink): - Remove documentation of -b switch. - -2018-03-23 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/85036 - * gnatlink.adb (Process_Args): Drop existing link switches if multiple - switches are passed for --LINK. - -2018-03-12 Eric Botcazou <ebotcazou@adacore.com> - - PR ada/82813 - * gcc-interface/misc.c (gnat_post_options): Disable string overflow - warnings. - -2018-03-10 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>: - Consider only entities for objects. - -2018-03-07 Sebastian Huber <sebastian.huber@embedded-brains.de> - - * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant - $(GNATLIBCFLAGS). - (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C). - -2018-03-06 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/trans.c (convert_with_check): Fix typo in the condition - guarding the overflow check emitted for the upper bound of a floating- - point conversion. - -2018-03-06 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node. - -2018-02-28 Eric Botcazou <ebotcazou@adacore.com> - - * libgnat/i-cexten.ads (Float_128): New type. - -2018-02-02 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (array_type_has_nonaliased_component): Return - false if the component type is a pointer. - -2018-01-11 Gary Dismukes <dismukes@adacore.com> - - * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the - result of Get_Simple_Init_Value and pass the source location of the - object declaration's object_definition. - -2018-01-11 Ed Schonberg <schonberg@adacore.com> - - * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle - properly object declarations with initializations that are - build-in-place function calls, when there is an address specification, - either as an aspect specification or an explicit attribute - specification clause, for the initialized object. - * freeze.adb (Check_Address_Clause): Do not remove side-effects from - initial expressions in the case of a build-in-place call. - -2018-01-11 Piotr Trojanek <trojanek@adacore.com> - - * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a - private (sub)type; refactor to avoid early return statement. - (Not_Null_Range): Same as above. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not - concurrent, nor effectively volatile. - * ghost.adb (Check_Ghost_Type): New routine. - * ghost.ads (Check_Ghost_Type): New routine. - * sem_util.adb (Is_Declaration): Reimplemented. The routine can now - consider specific subsets of declarations. - (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is - replicated by Is_Declaration. - * sem_util.ads (Is_Declaration): New parameter profile. Update the - comment on usage. - (Is_Declaration_Other_Than_Renaming): Removed. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act - as Part_Of consituents of single protected types are illegal when they - take place inside a protected function. - (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an - enclosing function. - (Is_Protected_Part_Of_Constituent): New routine. - (Within_Function): New routine. - -2018-01-11 Arnaud Charlet <charlet@adacore.com> - - Bump copyright notices to 2018. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb: - Minor reformatting. - -2018-01-11 Justin Squirek <squirek@adacore.com> - - * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check - to make sure a given expression function is properly parenthesized. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the - categorization of a subprogram body which does not complete a previous - declaration. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing - scope of package Ada is Standard. - -2018-01-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a - subcomponent of the current entity when building the body for a dynamic - predicate function for a record with composite subcomponents. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to - Establish_Transient_Scope. - (Convert_To_Assignments): Update the call to Establish_Transient_Scope. - (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope. - * exp_ch6.adb (Expand_Call_Helper): Update the call to - Establish_Transient_Scope. - (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to - Establish_Transient_Scope. - * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the - management of the secondary stack to an enclosing scope if there is no - suitable construct to wrap, and the transient scope was intended to - manage the secondary stack. - (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative - is a valid boundary for a transient expression which comes from the - statements of the alternative, otherwise alternatives cannot be - wrapped. Assignments of controlled objects which have controlled - actions suppressed now stop the traversal as there is no point in - looking for an enclosing construct. Add several N_xxx_Body choices to - the termination conditions for completeness. - * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile - and the associated comment on usage. - * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to - Establish_Transient_Scope. - (Add_Write_After): Update the call to Establish_Transient_Scope. - * sem_res.adb (Check_Initialization_Call): Removed. - (Resolve_Actuals): Account for additional cases where finalization - actions are required by utilizing predicate Needs_Finalization rather - than Is_Controlled. - (Resolve_Call): Type initialization procedures can now utilize - transient scopes to manage the secondary stack, thus preventing leaks - during initialization. Remove the previous kludgy algorithm which - attempts to manage the secondary stack at the object creation site. - -2018-01-11 Jerome Lambourg <lambourg@adacore.com> - - * libgnat/g-soliop__qnx.ads: New. - * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update - for QNX. - -2018-01-11 Bob Duff <duff@adacore.com> - - * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if - a null procedure occurs in a protected definition. - -2018-01-11 Bob Duff <duff@adacore.com> - - * binderr.ads, namet.ads: Minor reformatting. - -2018-01-11 Bob Duff <duff@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of - xml2gnat. - -2018-01-11 Bob Duff <duff@adacore.com> - - * binde.adb (Force_Elab_Order): Give an error if there are duplicate - unit names. - -2018-01-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch6.adb (Freeze_Expr_Types): If an access value is the - controlling argument of a dispatching call. freeze the corresponding - designated type. - -2018-01-11 Ben Brosgol <brosgol@adacore.com> - - * doc/Makefile: Add Sphinx option -W to treat warnings as errors. - -2018-01-11 Ben Brosgol <brosgol@adacore.com> - - * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording - corrections. - * gnat_rm.texi: Regenerate. - -2018-01-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the - formsl type corresponding to the actual fixed point type is private, - because in this case there can be no suspicious arithmetic operations - in the generic unless they reference a formal subprogram. Clarify - warning. - -2018-01-11 Javier Miranda <miranda@adacore.com> - - * exp_util.adb (Remove_Side_Effects): No action done for functions - returning class-wide types since it requires generating code using - 'reference and the CCG target has no secondary stack. - * gnat1drv.adb: Disable building static dispatch tables when generating - C code. - -2018-01-11 Piotr Trojanek <trojanek@adacore.com> - - * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads, - libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads - (File_Type): Add Default_Initial_Condition aspect. - -2018-01-11 Pascal Obry <obry@adacore.com> - - * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation. - -2018-01-11 Bob Duff <duff@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation - to match what the Libadalang-based version does. - * doc/gnat_ugn/about_this_guide.rst: Update reference. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_res.adb (Uses_SS): A controlled type requires the secondary stack - if it contains at least one component declaration employing a function - call returning on the secondary stack. - -2018-01-11 Yannick Moy <moy@adacore.com> - - * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: - Update description of restriction SPARK_05 with SPARK 2014. - * gnat_rm.texi: Regenerate. - -2018-01-11 Vasiliy Fofanov <fofanov@adacore.com> - - * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb, - sem_res.adb, sem_util.adb: Minor reformatting. - -2018-01-11 Ed Schonberg <schonberg@adacore.com> - - * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type - has a delayed aspect which must be processed at the point the type is - frozen. This mimics what is done when the predicate is provided by a - source aspect. - -2018-01-11 Doug Rupp <rupp@adacore.com> - - * init.c (vxworks): Add macro checks for __aarch64__. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_util.adb (Add_Failure_Expression): New routine. - (Make_Predicate_Check): Reimplement the handling of Predicate_Failure. - * sem_util.adb (Is_Current_Instance): Code cleanup. - -2018-01-11 Patrick Bernardi <bernardi@adacore.com> - - * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded - Default_Sec_Stack_Size. - * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack - limit check so that the integer index does not overflow. Check the - dynamic stack allocation does not cause the secondary stack pointer to - overflow. - (SS_Info): Align colons. - (SS_Init): Cover the case when bootstraping with an old compiler that - does not set Default_SS_Size. - -2018-01-11 Ed Schonberg <schonberg@adacore.com> - - * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the - legality of an inherited operation that may require overriding, ignore - primitive_wrappers that correspond to explicit operations that override - an interface primitive. - * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the - operation to which the class-wide expression applies is a protected op. - with a primitive_wrapper, verify that the updated inherited expression - does not contain an internal call to a protected function. This - completes the implementation of AI12-0166. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * ali.adb: Document the remaining letters available for ALI lines. - (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line. - * ali.ads: Update type With_Record. Field - Implicit_With_From_Instantiation is no longer in use. Add field - Implicit_With. - * csinfo.adb (CSinfo): Remove the setup for attribute - Implicit_With_From_Instantiation. - * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as - either implicitly or explicitly withed. - (Is_Implicit_With_Clause): New routine. - (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid - confusion with the with clause attribute by the same name. - (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers. - * rtsfind.adb (Maybe_Add_With): Code cleanup. - * sem_ch8.adb (Present_System_Aux): Code cleanup. - * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated - for a parent unit. - (Implicit_With_On_Parent): Mark the with clause as generated for a - parent unit. - * sem_ch12.adb (Inherit_Context): With clauses inherited by an - instantiation are no longer marked as Implicit_With_From_Instantiation - because they are already marked as implicit. - * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge - which marks implicit with clauses as related to an instantiation. - * sinfo.adb (Implicit_With_From_Instantiation): Removed. - (Parent_With): New routine. - (Set_Implicit_With_From_Instantiation): Removed. - (Set_Parent_With): New routine. - * sinfo.ads: Update the documentation of attribute Implicit_With. - Remove attribute Implicit_With_From_Instantiation along with - occurrences in nodes. Add attribute Parent_With along with occurrences - in nodes. - (Implicit_With_From_Instantiation): Removed along with pragma Inline. - (Parent_With): New routine along with pragma Inline. - (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline. - (Set_Parent_With): New routine along with pragma Inline. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * sem_util.adb (Find_Enclosing_Scope): Return the unique defining - entity when the enclosing construct is a body. - -2018-01-11 Patrick Bernardi <bernardi@adacore.com> - - * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified - Secondary_Stack_Size handling as a pragma is now generated for the - corresponding aspect instead of an attribute. Pragma expression is - relocated instead of evaluated. Discriminant of the corresponding - record type is referenced rather than the type discriminant. - (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update - Secondary_Stack_Size rep item checks to only look for the pragma rep. - * sem_ch13.adb (Analyze_One_Aspect): Transform - Aspect_Secondary_Stack_Size into a pragma instead of an attribute - because the attribute does not have visibility on a task type's - discriminants when the type's definition is expanded. - (Analyze_Attribute_Definition_Clause): Remove handling of - Attribute_Secondary_Stack_Size. - * snames.adb-tmpl, snames.ads-tmpl: Remove - Attribute_Secondary_Stack_Size, no longer used. - -2018-01-11 Justin Squirek <squirek@adacore.com> - - * sem_ch8.adb: Minor comment fix. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_ch4.adb (Process_Action): Do not abandon the inspection of an - individual action because the action may denote a complex expression, - such as a case statement, which in turn may contain additional - transient objects. - -2018-01-11 Ed Schonberg <schonberg@adacore.com> - - * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform - analysis on a copy of the expression with a copy of the index variable, - because full expansion will rewrite construct into a loop with the - original loop variable. - * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the - expression is an iterated component association. Full analysis takes - place when construct is rewritten as a loop. - (In_Place_Assign_OK, Safe_Component): An iterated_component_association - is not safe for in-place assignment. - * sem_util.adb (Remove_Entity): Handle properly the case of an isolated - entity with no homonym and no other entity in the scope. - -2018-01-11 Justin Squirek <squirek@adacore.com> - - * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error - message to be printed on the pragma argument identifier. - -2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> - - * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last - entity of the generated invariant procedure in order to construct a - proper entity chain. - -2018-01-11 Piotr Trojanek <trojanek@adacore.com> - - * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in - comment. - -2018-01-11 Arnaud Charlet <charlet@adacore.com> - - * einfo.ads, einfo.adb (Activation_Record_Component, - Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity): - Allow E_Discriminant. - -2018-01-10 Eric Botcazou <ebotcazou@adacore.com> - - * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check - for atomic access once the component size is taken into account and - also do it if the component type is Atomic or Volatile_Full_Access. - -2018-01-04 Eric Botcazou <ebotcazou@adacore.com> - - * gnatvsn.ads: Bump copyright year. - -2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> - Alan Hayward <alan.hayward@arm.com> - David Sherwood <david.sherwood@arm.com> - - * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE - as polynomial. - -2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> - Alan Hayward <alan.hayward@arm.com> - David Sherwood <david.sherwood@arm.com> - - * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION - as polynomial. - -2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> - Alan Hayward <alan.hayward@arm.com> - David Sherwood <david.sherwood@arm.com> - - * gcc-interface/utils.c (gnat_types_compatible_p): Handle - polynomial TYPE_VECTOR_SUBPARTS. - -2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> - Alan Hayward <alan.hayward@arm.com> - David Sherwood <david.sherwood@arm.com> - - * gcc-interface/misc.c (enumerate_modes): Handle polynomial - GET_MODE_NUNITS. - -2018-01-03 Jakub Jelinek <jakub@redhat.com> - - Update copyright years. +2019-01-01 Jakub Jelinek <jakub@redhat.com> * gnat_ugn.texi: Bump @copying's copyright year. * gnat_rm.texi: Likewise. -Copyright (C) 2018 Free Software Foundation, Inc. +Copyright (C) 2019 Free Software Foundation, Inc. Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright |