gcc/testsuite/gnat.dg/raise_from_pure.adb

   1 package body raise_from_pure is
   2    function Raise_CE_If_0 (P : Integer) return Integer is
   3    begin
   4       if P = 0 then
   5          raise Constraint_error;
   6       end if;
   7       return 1;
   8    end;
   9 end;
  10
  11