+2012-07-23 Arnaud Charlet <charlet@adacore.com>
+
+ * s-tasinf-linux.ads: Fix typo.
+
+2012-07-23 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch7.adb, switch-m.adb, exp_ch3.adb, freeze.adb: Minor reformatting
+
+2012-07-23 Ed Schonberg <schonberg@adacore.com>
+
+ * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): If original
+ loop carries an identifier, preserve it when rewriting it as a
+ standard loop to validate exit statements that may reference
+ that name in the body of the loop.
+
+2012-07-23 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch9.adb: Minor code cleanup.
+
2012-07-23 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Selected_Component): When checking for
-- but it properly belongs with the array type declaration. However, if
-- the freeze node is for a subtype of a type declared in another unit
-- it seems preferable to use the freeze node as the source location of
- -- of the init.proc. In any case this is preferable for gcov usage, and
+ -- of the init proc. In any case this is preferable for gcov usage, and
-- the Sloc is not otherwise used by the compiler.
if In_Open_Scopes (Scope (A_Type)) then
Statements => Stats,
End_Label => Empty);
+ -- If present, preserve identifier of loop, which can be used in
+ -- an exit statement in the body.
+
+ if Present (Identifier (N)) then
+ Set_Identifier (New_Loop, Relocate_Node (Identifier (N)));
+ end if;
+
-- Create the declarations for Iterator and cursor and insert them
-- before the source loop. Given that the domain of iteration is
-- already an entity, the iterator is just a renaming of that
end loop;
end if;
+ -- If original loop has a name, preserve it so it can be recognized by
+ -- an exit statement in the body of the rewritten loop.
+
+ if Present (Identifier (N)) then
+ Set_Identifier (Core_Loop, Relocate_Node (Identifier (N)));
+ end if;
+
Rewrite (N, Core_Loop);
Analyze (N);
end Expand_Iterator_Loop_Over_Array;
Build_Exception_Handler (Fin_Data))));
-- The single raise statement must be inserted after all the
- -- finalization blocks. And we put everything into a wrapper
+ -- finalization blocks, and we put everything into a wrapper
-- block to clearly expose the construct to the back-end.
if Present (Prev_Fin) then
Proc : Node_Id)
is
Astmt : constant Node_Id := Accept_Statement (Alt);
- Choices : List_Id;
Alt_Stats : List_Id;
begin
Adjust_Condition (Condition (Alt));
- Choices := New_List (Make_Integer_Literal (Loc, Index));
-- Accept with body
Append_To (Alt_List,
Make_Case_Statement_Alternative (Loc,
- Discrete_Choices => Choices,
+ Discrete_Choices => New_List (Make_Integer_Literal (Loc, Index)),
Statements => Alt_Stats));
end Process_Accept_Alternative;
procedure Process_Delay_Alternative (Alt : Node_Id; Index : Int) is
Dloc : constant Source_Ptr := Sloc (Delay_Statement (Alt));
- Choices : List_Id;
Cond : Node_Id;
Delay_Alt : List_Id;
Append_List (Statements (Alt), Delay_Alt_List);
else
- Choices := New_List (Make_Integer_Literal (Loc, Index));
-
Append_To (Delay_Alt_List,
Make_Case_Statement_Alternative (Loc,
- Discrete_Choices => Choices,
+ Discrete_Choices => New_List (
+ Make_Integer_Literal (Loc, Index)),
Statements => Statements (Alt)));
end if;
end if;
end;
- -- Pre/Post conditions are implemented through a subprogram in
+ -- Pre/post conditions are implemented through a subprogram in
-- the corresponding body, and therefore are not checked on an
- -- imported subprogram for which the body is not available.
+ -- imported subprogram, for which the body is not available.
-- Could consider generating a wrapper to take care of this???
-- --
-- S p e c --
-- --
--- Copyright (C) 2007-2009, Free Software Foundation, Inc. --
+-- Copyright (C) 2007-2012, 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- --
pragma Elaborate_Body;
-- To ensure that a body is allowed
- -- Windows provides a way to define the ideal processor to use for a given
+ -- Linux provides a way to define the ideal processor to use for a given
-- thread. The ideal processor is not necessarily the one that will be used
-- by the OS but the OS will always try to schedule this thread to the
-- specified processor if it is available.
return;
end if;
- -- -gnatn may be -gnatn, -gnatn1 or -gnat2
+ -- -gnatn may be -gnatn, -gnatn1, or -gnatn2
when 'n' =>
Last_Stored := First_Stored;
projects / thirdparty / gcc.git / commitdiff
