+2014-02-20 Vincent Celier <celier@adacore.com>
+
+ * gnatcmd.adb, make.adb, prj-makr.adb, clean.adb: Call
+ Stringt.Initialize in all project aware tools.
+
+2014-02-20 Doug Rupp <rupp@adacore.com>
+
+ * gnat_ugn.texi: Document gnatbind -X option.
+ * vms_data.ads: Minor warnings documentation reformatting.
+
+2014-02-20 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch3.adb (Expand_Freeze_Array_Type): Only create invariant
+ procedure for a base type.
+
+2014-02-20 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch4.adb (Analyze_Case_Expression): Get type from first
+ expression with type info.
+ * sem_ch13.adb: Minor reformatting.
+ * sem_eval.adb (Subtypes_Statically_Match): Make sure we return
+ False if predicates do not match on the two types.
+
+2014-02-20 Arnaud Charlet <charlet@adacore.com>
+
+ * sem_prag.adb (Analyze_Pragma [pragma Attach_Handler]):
+ In Relaxed_RM_Semantics mode, allow any static integer value,
+ for compatibility with other compilers.
+
2014-02-20 Vincent Celier <celier@adacore.com>
* errutil.adb (Initialize): Properly initialize entry in table
with Prj.Util; use Prj.Util;
with Sdefault;
with Snames;
+with Stringt;
with Switch; use Switch;
with Table;
with Targparm; use Targparm;
Csets.Initialize;
Snames.Initialize;
+ Stringt.Initialize;
Prj.Tree.Initialize (Root_Environment, Gnatmake_Flags);
end if;
if Has_Invariants (Component_Type (Base))
+ and then Typ = Base
and then In_Open_Scopes (Scope (Component_Type (Base)))
then
-- Generate component invariant checking procedure. This is only
-- relevant if the array type is within the scope of the component
-- type. Otherwise an array object can only be built using the public
-- subprograms for the component type, and calls to those will have
- -- invariant checks.
+ -- invariant checks. The invariant procedure is only generated for
+ -- a base type, not a subtype.
Insert_Component_Invariant_Checks
(N, Base, Build_Array_Invariant_Proc (Base, N));
they are available.
@end ifset
+@item ^-X@var{nnn}^/RETURN_CODES=POSIX^
+@cindex @option{^-X@var{nnn}^/RETURN_CODES=POSIX^} (@code{gnatbind})
+Set default exit status value, normally 0 for POSIX compliance.
+
+@ifset vms
+@item /RETURN_CODES=VMS
+@cindex @option{/RETURN_CODES=VMS} (@code{gnatbind})
+VMS default normal successful return value is 1.
+@end ifset
+
@item ^-y^/ENABLE_LEAP_SECONDS^
@cindex @option{^-y^/ENABLE_LEAP_SECONDS^} (@code{gnatbind})
Enable leap seconds support in @code{Ada.Calendar} and its children.
with Sdefault;
with Sinput.P;
with Snames; use Snames;
+with Stringt;
with Table;
with Targparm;
with Tempdir;
Csets.Initialize;
Snames.Initialize;
+ Stringt.Initialize;
Prj.Tree.Initialize (Root_Environment, Gnatmake_Flags);
with SFN_Scan;
with Sinput.P;
with Snames; use Snames;
+with Stringt;
pragma Warnings (Off);
with System.HTable;
Csets.Initialize;
Snames.Initialize;
+ Stringt.Initialize;
Prj.Initialize (Project_Tree);
with Prj.Util; use Prj.Util;
with Sdefault;
with Snames; use Snames;
+with Stringt;
with Table; use Table;
with Tempdir;
Csets.Initialize;
Snames.Initialize;
+ Stringt.Initialize;
Prj.Initialize (No_Project_Tree);
-- size value. In this case, we reset the Alignment to unknown.
procedure Build_Predicate_Functions (Typ : Entity_Id; N : Node_Id);
- -- If Typ has predicates (indicated by Has_Predicates being set for Typ,
+ -- If Typ has predicates (indicated by Has_Predicates being set for Typ),
-- then either there are pragma Predicate entries on the rep chain for the
-- type (note that Predicate aspects are converted to pragma Predicate), or
-- there are inherited aspects from a parent type, or ancestor subtypes.
-- Local variables
Expr : constant Node_Id := Expression (N);
- FirstX : constant Node_Id := Expression (First (Alternatives (N)));
Alt : Node_Id;
Exp_Type : Entity_Id;
Exp_Btype : Entity_Id;
+ FirstX : Node_Id := Empty;
+ -- First expression in the case for which there is some type information
+ -- available, i.e. it is not Any_Type, which can happen because of some
+ -- error, or from the use of e.g. raise Constraint_Error.
+
Others_Present : Boolean;
-- Indicates if Others was present
Alt := First (Alternatives (N));
while Present (Alt) loop
Analyze (Expression (Alt));
+
+ if No (FirstX) and then Etype (Expression (Alt)) /= Any_Type then
+ FirstX := Expression (Alt);
+ end if;
+
Next (Alt);
end loop;
+ -- Get our initial type from the first expression for which we got some
+ -- useful type information from the expression.
+
if not Is_Overloaded (FirstX) then
Set_Etype (N, Etype (FirstX));
then
return False;
+ -- No match if predicates do not match
+
+ elsif not Predicates_Match then
+ return False;
+
-- Scalar types
elsif Is_Scalar_Type (T1) then
return True;
end if;
- -- Otherwise both types have bound that can be compared
+ -- Otherwise both types have bounds that can be compared
declare
LB1 : constant Node_Id := Type_Low_Bound (T1);
HB2 : constant Node_Id := Type_High_Bound (T2);
begin
- -- If the bounds are the same tree node, then match if and only
- -- if any predicates present also match.
+ -- If the bounds are the same tree node, then match (common case)
if LB1 = LB2 and then HB1 = HB2 then
- return Predicates_Match;
+ return True;
-- Otherwise bounds must be static and identical value
-- be expanded in the init proc. If expansion is enabled, then
-- perform semantic checks on a copy only.
- if Expander_Active then
- declare
- Temp : constant Node_Id :=
- New_Copy_Tree (Get_Pragma_Arg (Arg2));
- begin
- Set_Parent (Temp, N);
- Preanalyze_And_Resolve (Temp, RTE (RE_Interrupt_ID));
- end;
+ declare
+ Temp : Node_Id;
+ Typ : Node_Id;
+ Parg2 : constant Node_Id := Get_Pragma_Arg (Arg2);
- else
- Analyze (Get_Pragma_Arg (Arg2));
- Resolve (Get_Pragma_Arg (Arg2), RTE (RE_Interrupt_ID));
- end if;
+ begin
+ -- In Relaxed_RM_Semantics mode, we allow any static
+ -- integer value, for compatibility with other compilers.
+
+ if Relaxed_RM_Semantics
+ and then Nkind (Parg2) = N_Integer_Literal
+ then
+ Typ := Standard_Integer;
+ else
+ Typ := RTE (RE_Interrupt_ID);
+ end if;
+
+ if Expander_Active then
+ Temp := New_Copy_Tree (Parg2);
+ Set_Parent (Temp, N);
+ Preanalyze_And_Resolve (Temp, Typ);
+ else
+ Analyze (Parg2);
+ Resolve (Parg2, Typ);
+ end if;
+ end;
Process_Interrupt_Or_Attach_Handler;
end if;
-- qualifier with a value other than NONE (in
-- other words, this option is effective only
-- if optimization is turned on).
-
+ --
-- ERRORS Warning messages are to be treated as errors.
-- The warning string still appears, but the
-- warning messages are counted as errors, and
-- access to an atomic variable requires the
-- generation of atomic synchronization code.
--
- -- AVOID_GAPS Activate warnings for gaps in records.
+ -- AVOIDGAPS Activate warnings for gaps in records.
-- (-gnatw.h) This outputs a warning if a representation
-- clause for a record leaves unallocated bits.
--
-- (-gnatwc) in tests where the expression is known to
-- be True or False at compile time.
--
+ -- CONSTANT_VARIABLES Activate warnings on constant variables.
+ -- (-gnatwk) A warning is output for a variable which could
+ -- have been declared as a constant.
+ --
-- DELETED_CODE Activate warning for conditional deleted code.
-- (-gnatwt) This option generates warnings for tracking of
-- code in conditionals (IF and CASE statements)
-- front end. This may be useful for detecting
-- deactivated code in certified applications.
--
- -- CONSTANT_VARIABLES Activate warnings on constant variables.
- -- (-gnatwk) A warning is output for a variable which could
- -- have been declared as a constant.
- --
-- ELABORATION Activate warnings on missing pragma Elaborate
-- (-gnatwl) and Elaborate_All statements.
--
-- an entity with the same name as some other
-- entity that is directly or use-visible.
--
- -- IMPORT_EXPORT_PRAGMAS Activate warnings on import-export pragmas.
- -- (-gnatwx) This generates a warning on an Export or Import
- -- pragma when the compiler detects a possible
- -- conflict between the Ada and foreign language
- -- calling sequences. For example, the use of
- -- default parameters in a convention C procedure
- -- is dubious because the C compiler cannot supply
- -- the proper default, so a warning is issued.
- --
-- IMPLEMENTATION Activate warnings for a with of an internal
-- (-gnatwi) GNAT implementation unit, defined as any unit
-- from the Ada, Interfaces, GNAT, DEC or System
-- checks occur only at points where the source
-- program contains an explicit use of .all.
--
+ -- IMPORT_EXPORT_PRAGMAS Activate warnings on import-export pragmas.
+ -- (-gnatwx) This generates a warning on an Export or Import
+ -- pragma when the compiler detects a possible
+ -- conflict between the Ada and foreign language
+ -- calling sequences. For example, the use of
+ -- default parameters in a convention C procedure
+ -- is dubious because the C compiler cannot supply
+ -- the proper default, so a warning is issued.
+ --
-- INEFFECTIVE_INLINE Activate warnings on ineffective Inlines.
-- (-gnatwp) Activates warnings for failure of front end
-- inlining (activated by /INLINE=FULL) to
projects / thirdparty / gcc.git / commitdiff
