+2010-09-10 Vincent Celier <celier@adacore.com>
+
+ * sem_aggr.adb, exp_prag.adb, sem_ch3.adb, exp_attr.adb,
+ sem_res.adb, sem_attr.adb, sem_elab.adb, sem_ch4.adb, exp_disp.adb,
+ exp_aggr.adb, exp_dist.adb: Change all mentions of "at run-time" to
+ "at run time" in comments and error/warning messages.
+
+2010-09-10 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_cg.adb: Handle properly bodies without specs.
+
+2010-09-10 Emmanuel Briot <briot@adacore.com>
+
+ * prj-nmsc.adb (Find_Source_Dirs): When a source directory is not
+ present, and the user requested to either ignore this or display a
+ warning (as opposed to an error), we still need to register the
+ directory.
+
2010-09-10 Robert Dewar <dewar@adacore.com>
* errout.adb: Remove tests of Parsing_Main_Subunit, since this test is
end if;
-- If the semantic analyzer has determined that aggregate N will raise
- -- Constraint_Error at run-time, then the aggregate node has been
+ -- Constraint_Error at run time, then the aggregate node has been
-- replaced with an N_Raise_Constraint_Error node and we should
-- never get here.
-- that appear in GNAT's library, but will generate calls via rtsfind
-- to library routines for user code.
-- ??? For now, disable this code for JVM, since this generates a
- -- VerifyError exception at run-time on e.g. c330001.
+ -- VerifyError exception at run time on e.g. c330001.
-- This is disabled for AAMP, to avoid making dependences on files not
-- supported in the AAMP library (such as s-fileio.adb).
-- entity of the construct. For a subprogram, it is the entity of the
-- spec, which carries a homonym counter when it is overloaded.
- if Nkind (P) = N_Subprogram_Body then
+ if Nkind (P) = N_Subprogram_Body
+ and then not Acts_As_Spec (P)
+ then
Get_External_Name (Corresponding_Spec (P), Has_Suffix => False);
else
-- Calculate the number of slots of the dispatch table. If the number
-- of primitives of Typ is 0 we reserve a dummy single entry for its
- -- DT because at run-time the pointer to this dummy entry will be
+ -- DT because at run time the pointer to this dummy entry will be
-- used as the tag.
if Num_Iface_Prims = 0 then
Is_Library_Level_Tagged_Type (Typ));
-- The table of interfaces is not constant; its slots are
- -- filled at run-time by the IP routine using attribute
+ -- filled at run time by the IP routine using attribute
-- 'Position to know the location of the tag components
-- (and this attribute cannot be safely used before the
-- object is initialized).
-- Struct_Counter should be reset before
-- handling a variant part. Indeed only one
-- of the case statement alternatives will be
- -- executed at run-time, so the counter must
+ -- executed at run time, so the counter must
-- start at 0 for every case statement.
Struct_Counter := 0;
-- Struct_Counter should be reset before
-- handling a variant part. Indeed only one
-- of the case statement alternatives will be
- -- executed at run-time, so the counter must
+ -- executed at run time, so the counter must
-- start at 0 for every case statement.
Struct_Counter := 0;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2010, 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- --
then
return;
elsif Nam = Name_Assertion then
- Error_Msg_N ("?assertion will fail at run-time", N);
+ Error_Msg_N ("?assertion will fail at run time", N);
else
Error_Msg_N ("?check will fail at run time", N);
end if;
Resolve_Links =>
Opt.Follow_Links_For_Dirs,
Case_Sensitive => True);
+ Has_Error : Boolean := False;
begin
if Root_Dir'Length = 0 then
Error_Or_Warning
(Data.Flags, Data.Flags.Missing_Source_Files,
"{ is not a valid directory.", Location, Project);
+ Has_Error := Data.Flags.Missing_Source_Files = Error;
+ end if;
- else
+ if not Has_Error then
-- We have an existing directory, we register it and all of
-- its subdirectories.
declare
Path_Name : Path_Information;
Dir_Exists : Boolean;
+ Has_Error : Boolean := False;
begin
Locate_Directory
Error_Or_Warning
(Data.Flags, Data.Flags.Missing_Source_Files,
"{ is not a valid directory", Location, Project);
+ Has_Error := Data.Flags.Missing_Source_Files = Error;
+ end if;
- else
+ if not Has_Error then
-- links have been resolved if necessary, and Path_Name
-- always ends with a directory separator
Add_To_Or_Remove_From_Source_Dirs
Set_Raises_Constraint_Error (N);
Error_Msg_N ("sub-aggregate low bound mismatch?", N);
Error_Msg_N
- ("\Constraint_Error will be raised at run-time?", N);
+ ("\Constraint_Error will be raised at run time?", N);
end if;
end if;
Set_Raises_Constraint_Error (N);
Error_Msg_N ("sub-aggregate high bound mismatch?", N);
Error_Msg_N
- ("\Constraint_Error will be raised at run-time?", N);
+ ("\Constraint_Error will be raised at run time?", N);
end if;
end if;
end if;
if OK_BH and then OK_AH and then Val_BH < Val_AH then
Set_Raises_Constraint_Error (N);
Error_Msg_N ("upper bound out of range?", AH);
- Error_Msg_N ("\Constraint_Error will be raised at run-time?", AH);
+ Error_Msg_N ("\Constraint_Error will be raised at run time?", AH);
-- You need to set AH to BH or else in the case of enumerations
-- indices we will not be able to resolve the aggregate bounds.
if OK_L and then Val_L > Val_AL then
Set_Raises_Constraint_Error (N);
Error_Msg_N ("lower bound of aggregate out of range?", N);
- Error_Msg_N ("\Constraint_Error will be raised at run-time?", N);
+ Error_Msg_N ("\Constraint_Error will be raised at run time?", N);
end if;
if OK_H and then Val_H < Val_AH then
Set_Raises_Constraint_Error (N);
Error_Msg_N ("upper bound of aggregate out of range?", N);
- Error_Msg_N ("\Constraint_Error will be raised at run-time?", N);
+ Error_Msg_N ("\Constraint_Error will be raised at run time?", N);
end if;
end Check_Bounds;
if Range_Len < Len then
Set_Raises_Constraint_Error (N);
Error_Msg_N ("too many elements?", N);
- Error_Msg_N ("\Constraint_Error will be raised at run-time?", N);
+ Error_Msg_N ("\Constraint_Error will be raised at run time?", N);
end if;
end Check_Length;
-- Note: for the folding case, it is fine to treat Machine_Rounding
-- exactly the same way as Rounding, since this is one of the allowed
-- behaviors, and performance is not an issue here. It might be a bit
- -- better to give the same result as it would give at run-time, even
+ -- better to give the same result as it would give at run time, even
-- though the non-determinism is certainly permitted.
when Attribute_Machine_Rounding =>
-- A rather specialized test. If we see two tasks being declared
-- of the same type in the same object declaration, and the task
-- has an entry with an address clause, we know that program error
- -- will be raised at run-time since we can't have two tasks with
+ -- will be raised at run time since we can't have two tasks with
-- entries at the same address.
if Is_Task_Type (Etype (Id)) and then More_Ids (N) then
-- Check whether this is a component of the base type
-- which is absent from a statically constrained subtype.
- -- This will raise constraint error at run-time, but is
+ -- This will raise constraint error at run time, but is
-- not a compile-time error. When the selector is illegal
-- for base type as well fall through and generate a
-- compilation error anyway.
("task will be activated before elaboration of its body?",
Decl);
Error_Msg_N
- ("\Program_Error will be raised at run-time?", Decl);
+ ("\Program_Error will be raised at run time?", Decl);
elsif
Present (Corresponding_Body (Unit_Declaration_Node (Proc)))
-- end Test;
-- In this case we have nothing else to do. The membership test will be
- -- done at run-time.
+ -- done at run time.
elsif Ada_Version >= Ada_05
and then Is_Class_Wide_Type (Etype (L))
-- the Sloc of the expression, not the original pragma.
Error_Msg_N
- ("?assertion would fail at run-time!",
+ ("?assertion would fail at run time!",
Expression
(First (Pragma_Argument_Associations (Orig))));
end if;
null;
else
Error_Msg_N
- ("?check would fail at run-time!",
+ ("?check would fail at run time!",
Expression
(Last (Pragma_Argument_Associations (Orig))));
end if;
-- The static analysis is not enough to know if the
-- interface is implemented or not. Hence we must pass
-- the work to the expander to generate code to evaluate
- -- the conversion at run-time.
+ -- the conversion at run time.
Expand_Interface_Conversion (N, Is_Static => False);
projects / thirdparty / gcc.git / commitdiff
