2 -- { dg-options "-O3 -gnata" }
4 package body Boolean_Subtype2
is
6 function Component_Type
(Id
: Entity_Id
) return Entity_Id
is
8 pragma Assert
(Is_String_Type
(Id
));
12 function First_Index
(Id
: Entity_Id
) return Node_Id
is
14 pragma Assert
(Is_String_Type
(Id
));
18 function Is_Character_Type
(Id
: Entity_Id
) return B
is
23 function Number_Dimensions
(Id
: Entity_Id
) return Positive is
25 T
: Node_Id
:= First_Index
(Id
);
33 function Is_String_Type
(Id
: Entity_Id
) return B
is
36 and then Number_Dimensions
(Id
) = 1
37 and then Is_Character_Type
(Component_Type
(Id
)));