PR testsuite/86649

[official-gcc.git] / gcc / testsuite / gnat.dg / raise_from_pure.ads

package raise_from_pure is
   pragma Pure;
   function Raise_CE_If_0 (P : Integer) return Integer;
end;