GNAT quirk

[Jerry <lanceboyle@qwest.net>]

procedure bad is
    a : Long_Float := 3.0;
begin
    for i in 1 .. Integer(Long_Float'Truncation(a)) loop
        null;
    end loop;
end bad;

bad.adb:4:37: unimplemented attribute
gnatmake: "bad.adb" compilation error



procedure good is
begin
    for i in 1 .. Integer(Long_Float'Truncation(2.0)) loop
        null;
    end loop;
end good;

Compiles OK.



procedure gooder is
    a    : Long_Float := 2.0;
    idum : Integer;
begin
    idum := Integer(Long_Float'Truncation(a));
    for i in 1 .. idum loop
        null;
    end loop;
end gooder;

Compiles OK.

Jerry