What is the warning about builtin-function on gcc-4.6.0 ?

[ytomino <aghia05@gmail.com>]

Hello.
gcc-4.6.0 was released!
I'm trying to compile my code with gcc-4.6.0,
and I found a strange warning at using built-in functions of gcc.

The minimal code is here:

with Ada.Text_IO;
procedure test1 is
   function isfinite (X : Long_Float) return Integer;
   pragma Import (Intrinsic, isfinite, "__builtin_isfinite");
begin
   -- 10 is finite value, it puts 1
   Ada.Text_IO.Put_Line (Integer'Image (
      isfinite (Long_Float'Value ("10"))));
   -- 10 / 0 is infinite, it puts 0
   Ada.Text_IO.Put_Line (Integer'Image (
      isfinite (Long_Float'Value ("10") / Long_Float'Value ("0"))));
end test1;

$ /usr/local/bin/gcc-4.5.2/gnatmake test1
gcc -c test1.adb
gnatbind -x test1.ali
gnatlink test1.ali
~/projects/exam/ada/compiler/builtin
$ /usr/local/bin/gcc-4.6.0/gnatmake test1
gcc -c test1.adb
test1.adb:3:13: warning: profile of "isfinite" doesn't match the
builtin it binds <- this warning
gnatbind -x test1.ali
gnatlink test1.ali

I tried changing the prototype again and again,

   function isfinite (X : Long_Float) return Integer;
   function isfinite (X : Long_Float) return Boolean;
   function isfinite (X : Float) return Integer;
   function isfinite (X : Long_Long_Float) return Integer;
   ...etc...

but I could not erase this warning... Can anyone erase this warning ?

Thank you.

--
Yuta Tomino