+2011-12-12 Tristan Gingold <gingold@adacore.com>
+
+ * mlib-tgt-specific-xi.adb: (Get_Target_Prefix): Simplify code.
+
+2011-12-12 Thomas Quinot <quinot@adacore.com>
+
+ * par_sco.adb: Adjust dominant marker for branches of CASE
+ statements.
+
+2011-12-12 Thomas Quinot <quinot@adacore.com>
+
+ * gsocket.h, s-oscons-tmplt.c: Ensure we do not include any system
+ header file prior to redefining FD_SETSIZE.
+
+2011-12-12 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): In
+ a generic context the aspect expressions may not have been
+ preanalyzed if there was no previous freeze point, so the
+ expressions must be preanalyzed now, and there is no conformance
+ to check for visibility changes.
+
+2011-12-12 Matthew Heaney <heaney@adacore.com>
+
+ * a-convec.adb, a-coinve.adb, a-cobove.adb (Iterator): Use
+ subtype Index_Type'Base for Index component (Finalize): Remove
+ unnecessary access check (First, Last): Cursor return value
+ depends on iterator index value (Iterate): Use start position as
+ iterator index value (Next, Previous): Forward to corresponding
+ cursor-based operation.
+ * a-cborma.adb (Iterate): Properly initialize iterator object (with 0
+ as node index).
+
2011-12-12 Robert Dewar <dewar@adacore.com>
* par_sco.adb, scos.ads, put_scos.adb, get_scos.adb: Minor reformatting.
return It : constant Iterator :=
(Limited_Controlled with
Container => Container'Unrestricted_Access,
- Node => Container.First)
+ Node => 0)
do
B := B + 1;
end return;
Vector_Iterator_Interfaces.Reversible_Iterator with
record
Container : Vector_Access;
- Index : Index_Type;
+ Index : Index_Type'Base;
end record;
overriding procedure Finalize (Object : in out Iterator);
--------------
procedure Finalize (Object : in out Iterator) is
+ B : Natural renames Object.Container.Busy;
begin
- if Object.Container /= null then
- declare
- B : Natural renames Object.Container.all.Busy;
- begin
- B := B - 1;
- end;
- end if;
+ B := B - 1;
end Finalize;
----------
function First (Object : Iterator) return Cursor is
begin
- if Is_Empty (Object.Container.all) then
- return No_Element;
+ -- The value of the iterator object's Index component influences the
+ -- behavior of the First (and Last) selector function.
+
+ -- When the Index component is No_Index, this means the iterator object
+ -- was constructed without a start expression, in which case the
+ -- (forward) iteration starts from the (logical) beginning of the entire
+ -- sequence of items (corresponding to Container.First, for a forward
+ -- iterator).
+
+ -- Otherwise, this is iteration over a partial sequence of items. When
+ -- the Index component isn't No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position from
+ -- which the (forward) partial iteration begins.
+
+ if Object.Index = No_Index then
+ return First (Object.Container.all);
else
- return Cursor'(Object.Container, Index_Type'First);
+ return Cursor'(Object.Container, Object.Index);
end if;
end First;
(Container : Vector)
return Vector_Iterator_Interfaces.Reversible_Iterator'Class
is
- B : Natural renames Container'Unrestricted_Access.all.Busy;
+ V : constant Vector_Access := Container'Unrestricted_Access;
+ B : Natural renames V.Busy;
+
begin
+ -- The value of its Index component influences the behavior of the First
+ -- and Last selector functions of the iterator object. When the Index
+ -- component is No_Index (as is the case here), this means the iterator
+ -- object was constructed without a start expression. This is a complete
+ -- iterator, meaning that the iteration starts from the (logical)
+ -- beginning of the sequence of items.
+
+ -- Note: For a forward iterator, Container.First is the beginning, and
+ -- for a reverse iterator, Container.Last is the beginning.
+
return It : constant Iterator :=
- Iterator'(Limited_Controlled with
- Container => Container'Unrestricted_Access,
- Index => Index_Type'First)
+ (Limited_Controlled with
+ Container => V,
+ Index => No_Index)
do
B := B + 1;
end return;
function Iterate
(Container : Vector;
Start : Cursor)
- return Vector_Iterator_Interfaces.Reversible_Iterator'class
+ return Vector_Iterator_Interfaces.Reversible_Iterator'Class
is
- B : Natural renames Container'Unrestricted_Access.all.Busy;
+ V : constant Vector_Access := Container'Unrestricted_Access;
+ B : Natural renames V.Busy;
+
begin
+ -- It was formerly the case that when Start = No_Element, the partial
+ -- iterator was defined to behave the same as for a complete iterator,
+ -- and iterate over the entire sequence of items. However, those
+ -- semantics were unintuitive and arguably error-prone (it is too easy
+ -- to accidentally create an endless loop), and so they were changed,
+ -- per the ARG meeting in Denver on 2011/11. However, there was no
+ -- consensus about what positive meaning this corner case should have,
+ -- and so it was decided to simply raise an exception. This does imply,
+ -- however, that it is not possible to use a partial iterator to specify
+ -- an empty sequence of items.
+
+ if Start.Container = null then
+ raise Constraint_Error with
+ "Start position for iterator equals No_Element";
+ end if;
+
+ if Start.Container /= V then
+ raise Program_Error with
+ "Start cursor of Iterate designates wrong vector";
+ end if;
+
+ if Start.Index > V.Last then
+ raise Constraint_Error with
+ "Start position for iterator equals No_Element";
+ end if;
+
+ -- The value of its Index component influences the behavior of the First
+ -- and Last selector functions of the iterator object. When the Index
+ -- component is not No_Index (as is the case here), it means that this
+ -- is a partial iteration, over a subset of the complete sequence of
+ -- items. The iterator object was constructed with a start expression,
+ -- indicating the position from which the iteration begins. Note that
+ -- the start position has the same value irrespective of whether this is
+ -- a forward or reverse iteration.
+
return It : constant Iterator :=
- Iterator'(Limited_Controlled with
- Container => Container'Unrestricted_Access,
- Index => Start.Index)
+ (Limited_Controlled with
+ Container => V,
+ Index => Start.Index)
do
B := B + 1;
end return;
function Last (Object : Iterator) return Cursor is
begin
- if Is_Empty (Object.Container.all) then
- return No_Element;
+ -- The value of the iterator object's Index component influences the
+ -- behavior of the Last (and First) selector function.
+
+ -- When the Index component is No_Index, this means the iterator object
+ -- was constructed without a start expression, in which case the
+ -- (reverse) iteration starts from the (logical) beginning of the entire
+ -- sequence (corresponding to Container.Last, for a reverse iterator).
+
+ -- Otherwise, this is iteration over a partial sequence of items. When
+ -- the Index component is not No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position from
+ -- which the (reverse) partial iteration begins.
+
+ if Object.Index = No_Index then
+ return Last (Object.Container.all);
else
- return Cursor'(Object.Container, Object.Container.Last);
+ return Cursor'(Object.Container, Object.Index);
end if;
end Last;
function Next (Object : Iterator; Position : Cursor) return Cursor is
begin
- if Position.Index = Object.Container.Last then
- return No_Element;
- else
- return (Object.Container, Position.Index + 1);
+ if Position.Container = null then
+ return No_Element;
+ end if;
+
+ if Position.Container /= Object.Container then
+ raise Program_Error with
+ "Position cursor of Next designates wrong vector";
end if;
+
+ return Next (Position);
end Next;
procedure Next (Position : in out Cursor) is
function Previous (Object : Iterator; Position : Cursor) return Cursor is
begin
- if Position.Index > Index_Type'First then
- return (Object.Container, Position.Index - 1);
- else
+ if Position.Container = null then
return No_Element;
end if;
+
+ if Position.Container /= Object.Container then
+ raise Program_Error with
+ "Position cursor of Previous designates wrong vector";
+ end if;
+
+ return Previous (Position);
end Previous;
-------------------
Vector_Iterator_Interfaces.Reversible_Iterator with
record
Container : Vector_Access;
- Index : Index_Type;
+ Index : Index_Type'Base;
end record;
overriding procedure Finalize (Object : in out Iterator);
end Finalize;
procedure Finalize (Object : in out Iterator) is
+ B : Natural renames Object.Container.Busy;
begin
- if Object.Container /= null then
- declare
- B : Natural renames Object.Container.all.Busy;
- begin
- B := B - 1;
- end;
- end if;
+ B := B - 1;
end Finalize;
----------
end First;
function First (Object : Iterator) return Cursor is
- C : constant Cursor := (Object.Container, Index_Type'First);
begin
- return C;
+ -- The value of the iterator object's Index component influences the
+ -- behavior of the First (and Last) selector function.
+
+ -- When the Index component is No_Index, this means the iterator object
+ -- was constructed without a start expression, in which case the
+ -- (forward) iteration starts from the (logical) beginning of the entire
+ -- sequence of items (corresponding to Container.First, for a forward
+ -- iterator).
+
+ -- Otherwise, this is iteration over a partial sequence of items. When
+ -- the Index component isn't No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position from
+ -- which the (forward) partial iteration begins.
+
+ if Object.Index = No_Index then
+ return First (Object.Container.all);
+ else
+ return Cursor'(Object.Container, Object.Index);
+ end if;
end First;
-------------------
end Iterate;
function Iterate (Container : Vector)
- return Vector_Iterator_Interfaces.Reversible_Iterator'class
+ return Vector_Iterator_Interfaces.Reversible_Iterator'Class
is
- B : Natural renames Container'Unrestricted_Access.all.Busy;
+ V : constant Vector_Access := Container'Unrestricted_Access;
+ B : Natural renames V.Busy;
begin
+ -- The value of its Index component influences the behavior of the First
+ -- and Last selector functions of the iterator object. When the Index
+ -- component is No_Index (as is the case here), this means the iterator
+ -- object was constructed without a start expression. This is a complete
+ -- iterator, meaning that the iteration starts from the (logical)
+ -- beginning of the sequence of items.
+
+ -- Note: For a forward iterator, Container.First is the beginning, and
+ -- for a reverse iterator, Container.Last is the beginning.
+
return It : constant Iterator :=
(Limited_Controlled with
- Container => Container'Unrestricted_Access,
- Index => Index_Type'First)
+ Container => V,
+ Index => No_Index)
do
B := B + 1;
end return;
function Iterate
(Container : Vector;
Start : Cursor)
- return Vector_Iterator_Interfaces.Reversible_Iterator'class
+ return Vector_Iterator_Interfaces.Reversible_Iterator'Class
is
- B : Natural renames Container'Unrestricted_Access.all.Busy;
+ V : constant Vector_Access := Container'Unrestricted_Access;
+ B : Natural renames V.Busy;
begin
+ -- It was formerly the case that when Start = No_Element, the partial
+ -- iterator was defined to behave the same as for a complete iterator,
+ -- and iterate over the entire sequence of items. However, those
+ -- semantics were unintuitive and arguably error-prone (it is too easy
+ -- to accidentally create an endless loop), and so they were changed,
+ -- per the ARG meeting in Denver on 2011/11. However, there was no
+ -- consensus about what positive meaning this corner case should have,
+ -- and so it was decided to simply raise an exception. This does imply,
+ -- however, that it is not possible to use a partial iterator to specify
+ -- an empty sequence of items.
+
+ if Start.Container = null then
+ raise Constraint_Error with
+ "Start position for iterator equals No_Element";
+ end if;
+
+ if Start.Container /= V then
+ raise Program_Error with
+ "Start cursor of Iterate designates wrong vector";
+ end if;
+
+ if Start.Index > V.Last then
+ raise Constraint_Error with
+ "Start position for iterator equals No_Element";
+ end if;
+
+ -- The value of its Index component influences the behavior of the First
+ -- and Last selector functions of the iterator object. When the Index
+ -- component is not No_Index (as is the case here), it means that this
+ -- is a partial iteration, over a subset of the complete sequence of
+ -- items. The iterator object was constructed with a start expression,
+ -- indicating the position from which the iteration begins. Note that
+ -- the start position has the same value irrespective of whether this is
+ -- a forward or reverse iteration.
+
return It : constant Iterator :=
(Limited_Controlled with
- Container => Container'Unrestricted_Access,
+ Container => V,
Index => Start.Index)
do
B := B + 1;
end Last;
function Last (Object : Iterator) return Cursor is
- C : constant Cursor := (Object.Container, Object.Container.Last);
begin
- return C;
+ -- The value of the iterator object's Index component influences the
+ -- behavior of the Last (and First) selector function.
+
+ -- When the Index component is No_Index, this means the iterator object
+ -- was constructed without a start expression, in which case the
+ -- (reverse) iteration starts from the (logical) beginning of the entire
+ -- sequence (corresponding to Container.Last, for a reverse iterator).
+
+ -- Otherwise, this is iteration over a partial sequence of items. When
+ -- the Index component is not No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position from
+ -- which the (reverse) partial iteration begins.
+
+ if Object.Index = No_Index then
+ return Last (Object.Container.all);
+ else
+ return Cursor'(Object.Container, Object.Index);
+ end if;
end Last;
-----------------
function Next (Object : Iterator; Position : Cursor) return Cursor is
begin
- if Position.Index = Object.Container.Last then
- return No_Element;
- else
- return (Object.Container, Position.Index + 1);
+ if Position.Container = null then
+ return No_Element;
end if;
+
+ if Position.Container /= Object.Container then
+ raise Program_Error with
+ "Position cursor of Next designates wrong vector";
+ end if;
+
+ return Next (Position);
end Next;
procedure Next (Position : in out Cursor) is
function Previous (Object : Iterator; Position : Cursor) return Cursor is
begin
- if Position.Index > Index_Type'First then
- return (Object.Container, Position.Index - 1);
- else
+ if Position.Container = null then
return No_Element;
end if;
+
+ if Position.Container /= Object.Container then
+ raise Program_Error with
+ "Position cursor of Previous designates wrong vector";
+ end if;
+
+ return Previous (Position);
end Previous;
-------------------
Vector_Iterator_Interfaces.Reversible_Iterator with
record
Container : Vector_Access;
- Index : Index_Type;
+ Index : Index_Type'Base;
end record;
overriding procedure Finalize (Object : in out Iterator);
overriding function First (Object : Iterator) return Cursor;
overriding function Last (Object : Iterator) return Cursor;
+
overriding function Next
- (Object : Iterator;
+ (Object : Iterator;
Position : Cursor) return Cursor;
+
overriding function Previous
(Object : Iterator;
Position : Cursor) return Cursor;
end Finalize;
procedure Finalize (Object : in out Iterator) is
+ B : Natural renames Object.Container.Busy;
begin
- if Object.Container /= null then
- declare
- B : Natural renames Object.Container.all.Busy;
- begin
- B := B - 1;
- end;
- end if;
+ B := B - 1;
end Finalize;
----------
function First (Object : Iterator) return Cursor is
begin
- if Is_Empty (Object.Container.all) then
- return No_Element;
+ -- The value of the iterator object's Index component influences the
+ -- behavior of the First (and Last) selector function.
+
+ -- When the Index component is No_Index, this means the iterator object
+ -- was constructed without a start expression, in which case the
+ -- (forward) iteration starts from the (logical) beginning of the entire
+ -- sequence of items (corresponding to Container.First, for a forward
+ -- iterator).
+
+ -- Otherwise, this is iteration over a partial sequence of items. When
+ -- the Index component isn't No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position from
+ -- which the (forward) partial iteration begins.
+
+ if Object.Index = No_Index then
+ return First (Object.Container.all);
else
- return (Object.Container, Index_Type'First);
+ return Cursor'(Object.Container, Object.Index);
end if;
end First;
(Container : Vector)
return Vector_Iterator_Interfaces.Reversible_Iterator'Class
is
- B : Natural renames Container'Unrestricted_Access.all.Busy;
+ V : constant Vector_Access := Container'Unrestricted_Access;
+ B : Natural renames V.Busy;
begin
+ -- The value of its Index component influences the behavior of the First
+ -- and Last selector functions of the iterator object. When the Index
+ -- component is No_Index (as is the case here), this means the iterator
+ -- object was constructed without a start expression. This is a complete
+ -- iterator, meaning that the iteration starts from the (logical)
+ -- beginning of the sequence of items.
+
+ -- Note: For a forward iterator, Container.First is the beginning, and
+ -- for a reverse iterator, Container.Last is the beginning.
+
return It : constant Iterator :=
(Limited_Controlled with
- Container => Container'Unrestricted_Access,
- Index => Index_Type'First)
+ Container => V,
+ Index => No_Index)
do
B := B + 1;
end return;
Start : Cursor)
return Vector_Iterator_Interfaces.Reversible_Iterator'class
is
- B : Natural renames Container'Unrestricted_Access.all.Busy;
+ V : constant Vector_Access := Container'Unrestricted_Access;
+ B : Natural renames V.Busy;
begin
+ -- It was formerly the case that when Start = No_Element, the partial
+ -- iterator was defined to behave the same as for a complete iterator,
+ -- and iterate over the entire sequence of items. However, those
+ -- semantics were unintuitive and arguably error-prone (it is too easy
+ -- to accidentally create an endless loop), and so they were changed,
+ -- per the ARG meeting in Denver on 2011/11. However, there was no
+ -- consensus about what positive meaning this corner case should have,
+ -- and so it was decided to simply raise an exception. This does imply,
+ -- however, that it is not possible to use a partial iterator to specify
+ -- an empty sequence of items.
+
+ if Start.Container = null then
+ raise Constraint_Error with
+ "Start position for iterator equals No_Element";
+ end if;
+
+ if Start.Container /= V then
+ raise Program_Error with
+ "Start cursor of Iterate designates wrong vector";
+ end if;
+
+ if Start.Index > V.Last then
+ raise Constraint_Error with
+ "Start position for iterator equals No_Element";
+ end if;
+
+ -- The value of its Index component influences the behavior of the First
+ -- and Last selector functions of the iterator object. When the Index
+ -- component is not No_Index (as is the case here), it means that this
+ -- is a partial iteration, over a subset of the complete sequence of
+ -- items. The iterator object was constructed with a start expression,
+ -- indicating the position from which the iteration begins. Note that
+ -- the start position has the same value irrespective of whether this is
+ -- a forward or reverse iteration.
+
return It : constant Iterator :=
(Limited_Controlled with
- Container => Container'Unrestricted_Access,
+ Container => V,
Index => Start.Index)
do
B := B + 1;
function Last (Object : Iterator) return Cursor is
begin
- if Is_Empty (Object.Container.all) then
- return No_Element;
+ -- The value of the iterator object's Index component influences the
+ -- behavior of the Last (and First) selector function.
+
+ -- When the Index component is No_Index, this means the iterator object
+ -- was constructed without a start expression, in which case the
+ -- (reverse) iteration starts from the (logical) beginning of the entire
+ -- sequence (corresponding to Container.Last, for a reverse iterator).
+
+ -- Otherwise, this is iteration over a partial sequence of items. When
+ -- the Index component is not No_Index, the iterator object was
+ -- constructed with a start expression, that specifies the position from
+ -- which the (reverse) partial iteration begins.
+
+ if Object.Index = No_Index then
+ return Last (Object.Container.all);
else
- return (Object.Container, Object.Container.Last);
+ return Cursor'(Object.Container, Object.Index);
end if;
end Last;
function Next (Object : Iterator; Position : Cursor) return Cursor is
begin
- if Position.Index < Object.Container.Last then
- return (Object.Container, Position.Index + 1);
- else
+ if Position.Container = null then
return No_Element;
end if;
+
+ if Position.Container /= Object.Container then
+ raise Program_Error with
+ "Position cursor of Next designates wrong vector";
+ end if;
+
+ return Next (Position);
end Next;
procedure Next (Position : in out Cursor) is
function Previous (Object : Iterator; Position : Cursor) return Cursor is
begin
- if Position.Index > Index_Type'First then
- return (Object.Container, Position.Index - 1);
- else
+ if Position.Container = null then
return No_Element;
end if;
+
+ if Position.Container /= Object.Container then
+ raise Program_Error with
+ "Position cursor of Previous designates wrong vector";
+ end if;
+
+ return Previous (Position);
end Previous;
procedure Previous (Position : in out Cursor) is
* *
* C Header File *
* *
- * Copyright (C) 2004-2010, Free Software Foundation, Inc. *
+ * Copyright (C) 2004-2011, 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 Tru64 */
#endif
-#include <limits.h>
-#include <errno.h>
+/** No system header may be included prior to this point since on some targets
+ ** we need to redefine FD_SETSIZE.
+ **/
+
+/* Target-specific includes and definitions */
#if defined(__vxworks)
#include <vxWorks.h>
#elif defined(VMS)
#define FD_SETSIZE 4096
+#include <sys/types.h>
+#include <sys/time.h>
#ifndef IN_RTS
/* These DEC C headers are not available when building with GCC */
#include <in.h>
#endif
+#include <limits.h>
+#include <errno.h>
+
#if defined (__vxworks) && ! defined (__RTP__)
#include <sys/times.h>
#else
#endif
/*
- * RTEMS has these .h files but not until you have built and installed
- * RTEMS. When building a C/C++ toolset, you also build the newlib C library.
- * So the build procedure for an RTEMS GNAT toolset requires that
- * you build a C/C++ toolset, then build and install RTEMS with
- * --enable-multilib, and finally build the Ada part of the toolset.
+ * RTEMS has these .h files but not until you have built and installed RTEMS.
+ * When building a C/C++ toolset, you also build the newlib C library, so the
+ * build procedure for an RTEMS GNAT toolset requires that you build a C/C++
+ * toolset, then build and install RTEMS with --enable-multilib, and finally
+ * build the Ada part of the toolset.
*/
#if !(defined (VMS) || defined (__MINGW32__))
#include <sys/socket.h>
-- GNAT COMPILER COMPONENTS --
-- --
-- M L I B . T G T. S P E C I F I C --
--- (Bare Board Version) --
-- --
-- B o d y --
-- --
--- Copyright (C) 2003-2008, Free Software Foundation, Inc. --
+-- Copyright (C) 2003-2011, 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- --
function Get_Target_Prefix return String is
Target_Name : constant String_Ptr := Sdefault.Target_Name;
- Index : Positive := Target_Name'First;
begin
- while Index < Target_Name'Last
- and then Target_Name (Index + 1) /= '-'
- loop
- Index := Index + 1;
- end loop;
-
- if Target_Name (Target_Name'First .. Index) = "avr" then
- return "avr-";
- elsif Target_Name (Target_Name'First .. Index) = "erc32" then
- return "erc32-elf-";
- elsif Target_Name (Target_Name'First .. Index) = "leon" then
- return "leon-elf-";
- elsif Target_Name (Target_Name'First .. Index) = "powerpc" then
- if Target_Name'Length >= 23 and then
- Target_Name (Target_Name'First .. Target_Name'First + 22) =
- "powerpc-unknown-eabispe"
- then
- return "powerpc-eabispe-";
- else
- return "powerpc-elf-";
- end if;
- else
- return "";
- end if;
+ -- Target_name is the program prefix without '-' but with a trailing '/'
+
+ return Target_Name (Target_Name'First .. Target_Name'Last - 1) & '-';
end Get_Target_Prefix;
--------------------------------------
Set_Statement_Entry;
-- Process case branches, all of which are dominated by the
- -- CASE expression.
+ -- CASE statement.
declare
Alt : Node_Id;
while Present (Alt) loop
Traverse_Declarations_Or_Statements
(L => Statements (Alt),
- D => ('S', Expression (N)));
+ D => Current_Dominant);
Next (Alt);
end loop;
end;
** $ RUN xoscons
**/
+/* Feature macro definitions */
+
#if defined (__linux__) && !defined (_XOPEN_SOURCE)
/** For Linux _XOPEN_SOURCE must be defined, otherwise IOV_MAX is not defined
**/
#endif
#endif
+/* Include gsocket.h before any system header so it can redefine FD_SETSIZE */
+
+#include "gsocket.h"
+
#include <stdlib.h>
#include <string.h>
#include <limits.h>
# include <vxWorks.h>
#endif
-#include "gsocket.h"
-
#ifdef DUMMY
# if defined (TARGET)
-- All other cases
else
- Preanalyze_Spec_Expression (End_Decl_Expr, T);
+ -- In a generic context freeze nodes are not generated, and the
+ -- aspect expressions have not been preanalyzed, so do it now.
+ -- There are no conformance checks to perform in this case.
+
+ if No (T)
+ and then Inside_A_Generic
+ then
+ Check_Aspect_At_Freeze_Point (ASN);
+ return;
+
+ else
+ Preanalyze_Spec_Expression (End_Decl_Expr, T);
+ end if;
+
Err := not Fully_Conformant_Expressions (End_Decl_Expr, Freeze_Expr);
end if;
projects / thirdparty / gcc.git / commitdiff
