view gcc/testsuite/gnat.dg/valid_scalars1.adb @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 84e7813d76e9
children
line wrap: on
line source

--  { dg-do compile }
--  { dg-options "-gnata -gnatws" }

procedure Valid_Scalars1 is
   type Ptr is access Integer;
   V1 : Ptr;

   Check : Boolean := V1'Valid_Scalars;
begin
   pragma Assert (Check);
end;