gcc-4.9/gcc/testsuite/gnat.dg/specs/integer_value.ads


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;