Rewrite (Lhs, OK_Convert_To (Base_Type (Typ), Lhs));
Apply_Discriminant_Check (Rhs, Typ, Lhs);
- elsif Is_Array_Type (Typ) and then Is_Constrained (Typ) then
+ elsif Is_Array_Type (Typ) and then Is_Constrained (Typ) then
Rewrite (Rhs, OK_Convert_To (Base_Type (Typ), Rhs));
Rewrite (Lhs, OK_Convert_To (Base_Type (Typ), Lhs));
Apply_Length_Check (Rhs, Typ);
-- case concerning the need for this check, and this topic may
-- go back to the ARG.
- if not Is_Abstract_Subprogram (Prim) then
+ if not Is_Abstract_Subprogram (Prim) then
Formal := First_Formal (Prim);
while Present (Formal) loop
Check_Premature_Freezing (Prim, Typ, Etype (Formal));
-- Anonymous arrays in object declarations have no explicit declaration
-- so use the related object declaration as the insertion point.
- elsif Is_Itype (Work_Typ) and then Is_Array_Type (Work_Typ) then
+ elsif Is_Itype (Work_Typ) and then Is_Array_Type (Work_Typ) then
Typ_Decl := Associated_Node_For_Itype (Work_Typ);
-- Derived types with the full view as parent do not have a partial
Save_Scan_State (Scan_State);
Scan; -- past FOR
- if Token = Tok_All or else Token = Tok_Some then
+ if Token = Tok_All or else Token = Tok_Some then
Restore_Scan_State (Scan_State); -- To FOR
Node1 := P_Quantified_Expression;
function Valid_Empty (E : Entity_Id) return Boolean is
begin
- if Etype (E) /= Typ or else Scope (E) /= Scope (Typ) then
+ if Etype (E) /= Typ or else Scope (E) /= Scope (Typ) then
return False;
elsif Ekind (E) = E_Constant then