summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/raise_from_pure.adb
blob: 62e543e94dbe25b958c776e576498219699807ad (plain)
1
2
3
4
5
6
7
8
9
10
11
package body raise_from_pure is
   function Raise_CE_If_0 (P : Integer) return Integer is
   begin
      if P = 0 then
         raise Constraint_error;
      end if;
      return 1;
   end;
end;