(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
specs/
integer_value.ads
-- { dg-do compile }
package Integer_Value is
   X : constant Integer :=
     Integer'Integer_Value (12.8); -- { dg-error "fixed-point type" }
end Integer_Value;