* sem_ch3.adb, sem_res.adb, par.adb, par-ch6.adb, g-comlin.adb,
exp_ch6.adb, lib-xref-alfa.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178536
138bc75d-0d04-0410-961f-
82ee72b054a4
+2011-09-05 Robert Dewar <dewar@adacore.com>
+
+ * sem_ch3.adb, sem_res.adb, par.adb, par-ch6.adb, g-comlin.adb,
+ exp_ch6.adb, lib-xref-alfa.adb: Minor reformatting.
+
2011-09-05 Gary Dismukes <dismukes@adacore.com>
* exp_ch7.adb, exp_ch6.adb: Minor reformatting.
procedure Expand_Non_Function_Return (N : Node_Id);
-- Called by Expand_N_Simple_Return_Statement in case we're returning from
-- a procedure body, entry body, accept statement, or extended return
- -- statement. Note that all non-function returns are simple return
+ -- statement. Note that all non-function returns are simple return
-- statements.
function Expand_Protected_Object_Reference
-- The return type in the function declaration may have been a limited
-- view, and the extra formals for the function were not generated at
- -- that point. At the point of call the full view must be available and
+ -- that point. At the point of call the full view must be available and
-- the extra formals can be created.
if No (Extra_Formal) then
Parser.Section (Parser.Current_Argument);
end if;
- -- Until we have the start of another section
+ -- Exit from loop if we have the start of another section
if Index = Parser.Section'Last
or else Parser.Section (Index + 1) /= 0
-- verification, and should therefore never appear in frame
-- conditions.
+ -- What about E_Loop_Parameter???
+
when E_In_Parameter | E_Constant =>
return False;
if Token_Is_At_Start_Of_Line then
declare
-
- -- The enclosing scope entry is a subprogram spec.
+ -- The enclosing scope entry is a subprogram spec
Spec_Node : constant Node_Id :=
- Parent (Scope.Table (Scope.Last).Labl);
+ Parent
+ (Scope.Table (Scope.Last).Labl);
Lib_Node : Node_Id := Spec_Node;
begin
-
-- Check whether there is an enclosing scope that
-- is a package declaration.
Nkind (Spec_Node) = N_Function_Specification
then
null;
-
else
return False;
end if;
-- program unit name. For task declarations and bodies, protected types
-- and bodies, and accept statements the field hold the name of the type
-- or operation. For if-statements, case-statements, and selects, the
- -- field is initialized to Error, indicating that it is an error to have
- -- a label on the end line.
- -- (this is really a misuse of Error since there is no Error ???)
+ -- field is initialized to Error.
+
+ -- Note: this is a bit of an odd (mis)use of Error, since there is no
+ -- Error, but we use this value as a place holder to indicate that it
+ -- is an error to have a label on the end line.
-- Whenever the field is a name, it is attached to the parent node of
-- the construct being parsed. Thus the parent node indicates the kind
-- In SPARK, a declaration of unconstrained type is allowed
-- only for constants of type string.
+ -- Isn't following check the wrong way round???
+
if Nkind (E) = N_String_Literal then
Check_SPARK_Restriction
("declaration of object of unconstrained type not allowed",
then
Arg1 := Convert_Operand (Left_Opnd (N));
-- Unchecked_Convert_To (Btyp, Left_Opnd (N));
+ -- What on earth is this commented out fragment of code???
if Nkind (N) = N_Op_Expon then
Arg2 := Unchecked_Convert_To (Standard_Integer, Right_Opnd (N));