testsuite/gnat.dg/raise_from_pure.ads

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