+2011-12-12 Robert Dewar <dewar@adacore.com>
+
+ * par_sco.adb, scos.ads, put_scos.adb, get_scos.adb: Minor reformatting.
+
+2011-12-12 Steve Baird <baird@adacore.com>
+
+ * sem_ch3.adb (Check_Completion): Improve a comment.
+
+2011-12-12 Tristan Gingold <gingold@adacore.com>
+
+ * cstand.adb: Minor comment fix.
+
2011-12-11 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/utils2.c (gnat_build_constructor): Test the TREE_STATIC
begin
-- In 32 bit mode, the size is 32 bits, and the delta and
- -- small values are set to 20 milliseconds (20.0**(10.0**(-3)).
+ -- small values are set to 20 milliseconds (20.0*(10.0**(-3)).
if Duration_32_Bits_On_Target then
Dlo := Intval (Type_Low_Bound (Standard_Integer_32));
Delta_Val := UR_From_Components (UI_From_Int (20), Uint_3, 10);
-- In standard 64-bit mode, the size is 64-bits and the delta and
- -- small values are set to nanoseconds (1.0**(10.0**(-9))
+ -- small values are set to nanoseconds (1.0*(10.0**(-9))
else
Dlo := Intval (Type_Low_Bound (Standard_Integer_64));
case Typ is
when '>' =>
- -- A dominance marker may be present only at an entry
- -- point.
+
+ -- Dominance marker may be present only at entry point
pragma Assert (Key = 'S');
+ Skipc;
Key := '>';
- Typ := Nextc;
+ Typ := Getc;
when '1' .. '9' =>
Typ := ' ';
exit when Nextc = ':';
N := N + 1;
end loop;
+
Skipc;
begin
when N_Loop_Statement =>
declare
- ISC : constant Node_Id := Iteration_Scheme (N);
- Inner_Dominant : Dominant_Info := No_Dominant;
+ ISC : constant Node_Id := Iteration_Scheme (N);
+ Inner_Dominant : Dominant_Info := No_Dominant;
+
begin
if Present (ISC) then
-- statement sequence to include the iteration scheme
-- and process any decisions it contains.
- -- While statement
+ -- While loop
if Present (Condition (ISC)) then
Extend_Statement_Sequence (N, ISC, 'W');
Inner_Dominant := ('T', N);
- -- For statement
+ -- For loop
else
Extend_Statement_Sequence (N, ISC, 'F');
Write_Info_Char (Sent.C2);
if Sent.C1 = 'S'
- and then Sent.C2 = 'P'
- and then Sent.Pragma_Name /= Unknown_Pragma
+ and then Sent.C2 = 'P'
+ and then Sent.Pragma_Name /= Unknown_Pragma
then
+ -- Strip leading "PRAGMA_"
+
declare
Pnam : constant String :=
Sent.Pragma_Name'Img;
begin
- -- Strip leading "PRAGMA_"
-
Output_String
(Pnam (Pnam'First + 7 .. Pnam'Last));
Write_Info_Char (':');
-- handler first sloc ('E')
-- To = No_Source_Location ('F'/'T'/'S'), handler last sloc ('E')
- -- Note: A dominance marker is always followed by a statement entry.
+ -- Note: A dominance marker is always followed by a statement entry
-- Decision (EXIT/entry guard/IF/WHILE)
-- C1 = 'E'/'G'/'I'/'W' (for EXIT/entry Guard/IF/WHILE)
May_Need_Implicit_Body (E);
end if;
- -- Comment needed here for Is_Generic_Type test ???
+ -- A formal incomplete type (Ada 2012) does not require a completion;
+ -- other incomplete type declarations do.
elsif Ekind (E) = E_Incomplete_Type
and then No (Underlying_Type (E))