+2013-09-10 Thomas Quinot <quinot@adacore.com>
+
+ * aspects.ads, sem_ch13.adb: Minor reformatting.
+ * adaint.c (__gnat_set_close_on_exec): Add comment documenting
+ that this routine is shared between OS_Lib and Sockets.
+
2013-09-10 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): Ignore pragma if Is_Ignored set.
-- To deal with the delayed aspect case, we use two flags. The first is
-- set on the parent type if it has delayed representation aspects. This
-- flag Has_Delayed_Rep_Aspects indicates that if we derive from this type
- -- we have to worry about making sure we inherit any delayed types. The
- -- second flag is set on a derived type. May_Have_Inherited_Rep_Aspects
+ -- we have to worry about making sure we inherit any delayed aspects. The
+ -- second flag is set on a derived type: May_Have_Inherited_Rep_Aspects
-- is set if the parent type has Has_Delayed_Rep_Aspects set.
-- When we freeze a derived type, if the May_Have_Inherited_Rep_Aspects
-- is always delayed, as required by the language definition.
Never_Delay,
- -- There are two cases. There are language defined attributes like
- -- Convention where the "expression" is simply an uninterprted
+ -- There are two cases. There are language defined aspects like
+ -- Convention where the "expression" is simply an uninterpreted
-- identifier, and there is no issue of evaluating it and thus no
-- issue of delaying the evaluation. The second case is implementation
- -- defined attributes where we have decided that we don't want to
- -- allow delays (and for our own attributes we can do what we like!)
+ -- defined aspects where we have decided that we don't want to allow
+ -- delays (and for our own aspects we can do what we like!).
Rep_Aspect);
-- These are the cases of representation aspects that are in general
-- delayed, and where there is a potential issue of derived types that
- -- inherit delayed representation values
+ -- inherit delayed representation values.
-- Note: even if this table indicates that an aspect is delayed, we never
-- delay Boolean aspects that have a missing expression (taken as True),
-- here), and then the flag May_Inherit_Delayed_Rep_Aspects is set in
-- the derived type (B here). If this flag is set when the derived type
-- is frozen, then this procedure is called to ensure proper inheritance
- -- of all delayed aspects from the paren type. The derived type is E,
+ -- of all delayed aspects from the parent type. The derived type is E,
-- the argument to Analyze_Aspects_At_Freeze_Point. ASN is the first
-- aspect specification node in the Rep_Item chain for the parent type.