view gcc/testsuite/gnat.dg/part_of1-private_generic.adb @ 140:4e440907fcbf

copy CbC goto flang in cfgexpand remove some CbC unnecessary code
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Nov 2018 00:24:45 +0900
parents 84e7813d76e9
children
line wrap: on
line source

package body Part_Of1.Private_Generic
with
   Refined_State => (State => Numbers)
is
   Numbers : array (Range_Type) of Integer := (others => 0);

   function Get (I : Range_Type) return Integer
   is
   begin
      return Numbers (I);
   end Get;

end Part_Of1.Private_Generic;