1-- { dg-do compile } 2-- { dg-options "-gnata -gnatws" } 3 4procedure Valid_Scalars1 is 5 type Ptr is access Integer; 6 V1 : Ptr; 7 8 Check : Boolean := V1'Valid_Scalars; 9begin 10 pragma Assert (Check); 11end; 12