summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/raise_from_pure.ads
blob: 9c363a5be4833ca0e62aaf5c32e0c39d7e7f77e0 (plain)
1
2
3
4
5
package raise_from_pure is
   pragma Pure;
   function Raise_CE_If_0 (P : Integer) return Integer;
end;