https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64712
Bug ID: 64712
Summary: FAIL: gnat.dg/unchecked_convert1.adb execution test
(x86_64/-m32)
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: vries at gcc dot gnu.org
gnat.log:
...
Running target unix/-m32
...
Executing on host: build/gcc/gnatmake --GCC=build/gcc/xgcc
--GNATBIND=build/gcc/gnatbind --GNATLINK=build/gcc/gnatlink -cargs -Bbuild/gcc
-largs --GCC=build/gcc/xgcc -Bbuild/gcc -m32 -margs
--RTS=build/x86_64-unknown-linux-gnu/32/libada -q -f
src/gcc/testsuite/gnat.dg/unchecked_convert1.adb -fno-diagnostics-show-caret
-fdiagnostics-color=never -gnatws -lm -m32 -o ./unchecked_convert1.exe
(timeout = 300)
spawn build/gcc/gnatmake --GCC=build/gcc/xgcc --GNATBIND=build/gcc/gnatbind
--GNATLINK=build/gcc/gnatlink -cargs -Bbuild/gcc -largs --GCC=build/gcc/xgcc
-Bbuild/gcc -m32 -margs --RTS=build/x86_64-unknown-linux-gnu/32/libada -q -f
src/gcc/testsuite/gnat.dg/unchecked_convert1.adb -fno-diagnostics-show-caret
-fdiagnostics-color=never -gnatws -lm -m32 -o ./unchecked_convert1.exe^M
Executing on host: build/gcc/gnatclean -c -q -n ./unchecked_convert1 (timeout
= 300)
spawn build/gcc/gnatclean -c -q -n ./unchecked_convert1^M
./unchecked_convert1.ali^M
./unchecked_convert1.o^M
PASS: gnat.dg/unchecked_convert1.adb (test for excess errors)
Setting LD_LIBRARY_PATH to
:build/gcc:build/gcc/32::build/gcc:build/gcc/32:infra/lib
spawn [open ...]^M
raised CONSTRAINT_ERROR : unchecked_convert1.adb:17 overflow check failed
FAIL: gnat.dg/unchecked_convert1.adb execution test
...
