Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/boolean_subtype2.adb @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do compile } -- { dg-options "-O3 -gnata" } package body Boolean_Subtype2 is function Component_Type (Id : Entity_Id) return Entity_Id is begin pragma Assert (Is_String_Type (Id)); return Node20 (Id); end; function First_Index (Id : Entity_Id) return Node_Id is begin pragma Assert (Is_String_Type (Id)); return Node20 (Id); end ; function Is_Character_Type (Id : Entity_Id) return B is begin return Flag63 (Id); end; function Number_Dimensions (Id : Entity_Id) return Positive is N : Integer := 0; T : Node_Id := First_Index (Id); begin if Present (T) then N := N + 1; end if; return N; end; function Is_String_Type (Id : Entity_Id) return B is begin return (Id /= 0 and then Number_Dimensions (Id) = 1 and then Is_Character_Type (Component_Type (Id))); end; end Boolean_Subtype2;