summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/integer_value.ads
blob: 6e9c1b51f3201cbf5867a2c52d87c1bc1c3b487e (plain)
1
2
3
4
5
-- { dg-do compile }
package Integer_Value is
   X : constant Integer :=
     Integer'Integer_Value (12.8); -- { dg-error "fixed-point type" "" }
end Integer_Value;