[Bug ada/56178] New: [4.8 Regression] Conversion of Long_Float to Integer triggers CONSTRAINT_ERROR overflow check failed

[orion at cora dot nwra.com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56178



             Bug #: 56178

           Summary: [4.8 Regression] Conversion of Long_Float to Integer

                    triggers CONSTRAINT_ERROR overflow check failed

    Classification: Unclassified

           Product: gcc

           Version: 4.8.0

            Status: UNCONFIRMED

          Severity: major

          Priority: P3

         Component: ada

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: or...@cora.nwra.com





Description of problem:



$ cat test_overflow.adb

procedure Test_Overflow is

    r : Integer;

    r1 : Long_Float := 0.3;

begin

    r := Integer(r1);

end Test_Overflow;

$ gnatmake test_overflow.adb 

gcc -c test_overflow.adb

gnatbind -x test_overflow.ali

gnatlink test_overflow.ali

$ ./test_overflow 



raised CONSTRAINT_ERROR : test_overflow.adb:5 overflow check failed



gcc-4.8.0-0.7.fc19.x86_64