* sem_ch5.adb (Analyze_Assignment): Diagnose assignment where
left-hand side has a limited view of a class-wide type.
* sem_ch6.adb (Detected_And_Exchange): Do not install a non-limited
view if the scope of the type of the formal is visible through
a limited_with_clause, even if the non-limited view is available.
2015-11-18 Emmanuel Briot <briot@adacore.com>
* s-pooglo.ads: Make Global_Pool_Object aliased.
2015-11-18 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case 'Access): If the prefix
is an expression function, do not analyze the generated body if
the current scope is not the scope of the expression function,
as may happen if the attribute is an actual in an instantiation.
* sem_ch10.adb, sem_ch12.adb, a-stzmap.adb, s-soflin.adb,
a-stwima.adb: Fix typos.
2015-11-18 Arnaud Charlet <charlet@adacore.com>
* exp_ch11.adb (Expand_N_Exception_Declaration): No-op when
generating C code.
2015-11-18 Vincent Celier <celier@adacore.com>
* g-comlin.adb (Find_Longest_Matching_Switch): Do not take into
account a switch ending with '=' when the actual command line
switch is not followed with a space or '='.
2015-11-18 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Resolve_Explicit_Dereference): Do not add an access
check if the type of the prefix is known to exclude null.
* a-coinve.adb (Get_Element_Access): The function returns an
access type that excludes null, so add an explicit check for
a null element pointer, which is created when Insert_Spaces is
called on an indefinite vector container.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230533
138bc75d-0d04-0410-961f-
82ee72b054a4
+2015-11-18 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch5.adb (Analyze_Assignment): Diagnose assignment where
+ left-hand side has a limited view of a class-wide type.
+ * sem_ch6.adb (Detected_And_Exchange): Do not install a non-limited
+ view if the scope of the type of the formal is visible through
+ a limited_with_clause, even if the non-limited view is available.
+
+2015-11-18 Emmanuel Briot <briot@adacore.com>
+
+ * s-pooglo.ads: Make Global_Pool_Object aliased.
+
+2015-11-18 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_attr.adb (Analyze_Attribute, case 'Access): If the prefix
+ is an expression function, do not analyze the generated body if
+ the current scope is not the scope of the expression function,
+ as may happen if the attribute is an actual in an instantiation.
+ * sem_ch10.adb, sem_ch12.adb, a-stzmap.adb, s-soflin.adb,
+ a-stwima.adb: Fix typos.
+
+2015-11-18 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_ch11.adb (Expand_N_Exception_Declaration): No-op when
+ generating C code.
+
+2015-11-18 Hristian Kirtchev <kirtchev@adacore.com>
+
+ PR ada/66242
+
+ * exp_ch3.adb (Default_Initialize_Object): Reimplemented. Abort
+ defer / undefer pairs are now encapsulated in a block with
+ an AT END handler. Partial finalization now takes restriction
+ No_Exception_Propagation into account when generating blocks.
+ * exp_ch7.adb Various reformattings.
+ (Create_Finalizer): Change
+ the generation of abort defer / undefer pairs and explain the
+ lack of an AT END handler.
+ (Process_Transient_Objects): Add generation of abort defer/undefer
+ pairs.
+ * exp_ch9.adb Various reformattings.
+ (Build_Protected_Subprogram_Body): Use
+ Build_Runtime_Call to construct a call to Abort_Defer.
+ (Build_Protected_Subprogram_Call_Cleanup): Use
+ Build_Runtime_Call to construct a call to Abort_Undefer.
+ (Expand_N_Asynchronous_Select): Use Build_Runtime_Call to
+ construct a call to Abort_Defer.
+ * exp_intr.adb (Expand_Unc_Deallocation): Abort defer
+ / undefer pairs are now encapsulated in a block with
+ an AT END handler. Finalization now takes restriction
+ No_Exception_Propagation into account when generating blocks.
+ * exp_util.ads, exp_util.adb (Wrap_Cleanup_Procedure): Removed.
+
+2015-11-18 Vincent Celier <celier@adacore.com>
+
+ * g-comlin.adb (Find_Longest_Matching_Switch): Do not take into
+ account a switch ending with '=' when the actual command line
+ switch is not followed with a space or '='.
+
+2015-11-18 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_res.adb (Resolve_Explicit_Dereference): Do not add an access
+ check if the type of the prefix is known to exclude null.
+ * a-coinve.adb (Get_Element_Access): The function returns an
+ access type that excludes null, so add an explicit check for
+ a null element pointer, which is created when Insert_Spaces is
+ called on an indefinite vector container.
+
2015-11-18 Arnaud Charlet <charlet@adacore.com>
* switch-c.adb (Scan_Front_End_Switches): Add a check requiring
------------------------
function Get_Element_Access
- (Position : Cursor) return not null Element_Access is
+ (Position : Cursor) return not null Element_Access
+ is
+ Ptr : constant Element_Access :=
+ Position.Container.Elements.EA (Position.Index);
+
begin
- return Position.Container.Elements.EA (Position.Index);
+ -- An indefinite vector may contain spaces that hold no elements.
+ -- Any iteration over an indefinite vector with spaces will raise
+ -- Constraint_Error.
+
+ if Ptr = null then
+ raise Constraint_Error;
+
+ else
+ return Ptr;
+ end if;
end Get_Element_Access;
-----------------
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
Wide_Character_Mapping_Values_Access);
begin
- if Object.Map /= Null_Map'Unrestricted_Access then
+ if Object.Map /= Null_Map'Unrestricted_Access then
Free (Object.Map);
end if;
end Finalize;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
Wide_Wide_Character_Mapping_Values_Access);
begin
- if Object.Map /= Null_Map'Unrestricted_Access then
+ if Object.Map /= Null_Map'Unrestricted_Access then
Free (Object.Map);
end if;
end Finalize;
-- Start of processing for Expand_N_Exception_Declaration
begin
+ -- Nothing to do when generating C code
+
+ if Generate_C_Code then
+ return;
+ end if;
+
-- Definition of the external name: nam : constant String := "A.B.NAME";
Ex_Id :=
-- --
-- B o d y --
-- --
--- Copyright (C) 1999-2014, Free Software Foundation, Inc. --
+-- Copyright (C) 1999-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
and then Switches (Index .. Last) =
Arg (Arg'First .. Arg'First + Last - Index)
and then Last - Index + 1 > Switch_Length
+ and then
+ (P /= Parameter_With_Space_Or_Equal
+ or else Arg'Last = Arg'First + Last - Index
+ or else Arg (Arg'First + Last - Index + 1) = '=')
then
Param := P;
Index_In_Switches := Index;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2011, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2015, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- for T'Storage_Pool use Q'Storage_Pool;
-- and Q'Storage_Pool hasn't been defined explicitly.
- Global_Pool_Object : Unbounded_No_Reclaim_Pool;
+ Global_Pool_Object : aliased Unbounded_No_Reclaim_Pool;
end System.Pool_Global;
-- Finalize all library-level controlled objects if needed
- if Finalize_Library_Objects /= null then
+ if Finalize_Library_Objects /= null then
Finalize_Library_Objects.all;
end if;
end Adafinal_NT;
elsif In_Open_Scopes (Subp_Id) then
null;
+ -- If reference to the expression function appears in an
+ -- inner scope, for example as an actual in an instance,
+ -- this is not a freeze point either.
+
+ elsif Scope (Subp_Id) /= Current_Scope then
+ null;
+
-- Analyze the body of the expression function to freeze
-- the expression. This takes care of the case where the
-- 'Access is part of dispatch table initialization and
while Present (Subp_Id) loop
if Chars (Node (Subp_Id)) = Chars (E) then
if Nkind (Parent (Parent (Node (Subp_Id))))
- /= N_Subprogram_Renaming_Declaration
+ /= N_Subprogram_Renaming_Declaration
then
Prev_Id := Subp_Id;
Next_Elmt (Subp_Id);
-- Ada 2005: null-exclusion indicators of the two types must agree
- if Can_Never_Be_Null (A_Gen_T) /= Can_Never_Be_Null (Act_T) then
+ if Can_Never_Be_Null (A_Gen_T) /= Can_Never_Be_Null (Act_T) then
Error_Msg_NE
("non null exclusion of actual and formal & do not match",
Actual, Gen_T);
Ghost_Mode := Save_Ghost_Mode;
return;
+ -- A class-wide type may be a limited view. This illegal case is not
+ -- caught by previous checks.
+
+ elsif Ekind (T1) = E_Class_Wide_Type
+ and then From_Limited_With (T1)
+ then
+ Error_Msg_NE ("invalid use of limited view of&", Lhs, T1);
+ return;
+
-- Enforce RM 3.9.3 (8): the target of an assignment operation cannot be
-- abstract. This is only checked when the assignment Comes_From_Source,
-- because in some cases the expander generates such assignments (such
procedure Detect_And_Exchange (Id : Entity_Id);
-- Determine whether Id's type denotes an incomplete type associated
-- with a limited with clause and exchange the limited view with the
- -- non-limited one when available.
+ -- non-limited one when available. Note that the non-limited view
+ -- may exist because of a with_clause in another unit in the context,
+ -- but cannot be used because the current view of the enclosing unit
+ -- is still a limited view.
-------------------------
-- Detect_And_Exchange --
procedure Detect_And_Exchange (Id : Entity_Id) is
Typ : constant Entity_Id := Etype (Id);
begin
- if From_Limited_With (Typ) and then Has_Non_Limited_View (Typ) then
+ if From_Limited_With (Typ)
+ and then Has_Non_Limited_View (Typ)
+ and then not From_Limited_With (Scope (Typ))
+ then
Set_Etype (Id, Non_Limited_View (Typ));
end if;
end Detect_And_Exchange;
Resolve (P);
end if;
- if Is_Access_Type (Etype (P)) then
+ -- If the prefix might be null, add an access check
+
+ if Is_Access_Type (Etype (P))
+ and then not Can_Never_Be_Null (Etype (P))
+ then
Apply_Access_Check (N);
end if;
projects / thirdparty / gcc.git / commitdiff
