https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109374
Bug ID: 109374
Summary: FAIL: gnat.dg/div_zero.adb execution test
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: danglin at gcc dot gnu.org
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Host: hppa*-*-linux*
Target: hppa*-*-linux*
Build: hppa*-*-linux*
Executing on host: /home/dave/gnu/gcc/objdir/gcc/gnatmake
--GCC=/home/dave/gnu/gcc/objdir/gcc/xgcc
--GNATBIND=/home/dave/gnu/gcc/objdir/gcc/gnatbind
--GNATLINK=/home/dave/gnu/gcc/objdir/gcc/gnatlink -cargs -B/ho
me/dave/gnu/gcc/objdir/gcc -largs --GCC=/home/dave/gnu/gcc/objdir/gcc/xgcc\
-B/home/dave/gnu/gcc/objdir/gcc\ -margs
--RTS=/home/dave/gnu/gcc/objdir/hppa-linux-gnu/./libada -q -f
/home/dave/gnu/gcc/gcc/gcc/test
suite/gnat.dg/div_zero.adb -largs -margs -fdiagnostics-plain-output
-largs -lm -margs -o ./div_zero.exe (timeout = 300)
spawn -ignore SIGHUP /home/dave/gnu/gcc/objdir/gcc/gnatmake
--GCC=/home/dave/gnu/gcc/objdir/gcc/xgcc
--GNATBIND=/home/dave/gnu/gcc/objdir/gcc/gnatbind
--GNATLINK=/home/dave/gnu/gcc/objdir/gcc/gnatlink -cargs -B/
home/dave/gnu/gcc/objdir/gcc -largs --GCC=/home/dave/gnu/gcc/objdir/gcc/xgcc
-B/home/dave/gnu/gcc/objdir/gcc -margs
--RTS=/home/dave/gnu/gcc/objdir/hppa-linux-gnu/./libada -q -f
/home/dave/gnu/gcc/gcc/gcc/tests
uite/gnat.dg/div_zero.adb -largs -margs -fdiagnostics-plain-output -largs -lm
-margs -o ./div_zero.exe
Executing on host: /home/dave/gnu/gcc/objdir/gcc/gnatclean -c -q -n ./div_zero
(timeout = 300)
spawn -ignore SIGHUP /home/dave/gnu/gcc/objdir/gcc/gnatclean -c -q -n
./div_zero
./div_zero.ali
./div_zero.o
PASS: gnat.dg/div_zero.adb (test for excess errors)
Setting LD_LIBRARY_PATH to
:/home/dave/gnu/gcc/objdir/gcc::/home/dave/gnu/gcc/objdir/gcc:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libstdc++-v3/src/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libssp/.libs:/hom
e/dave/gnu/gcc/objdir/hppa-linux-gnu/libphobos/src/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libgm2/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libgomp/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/liba
tomic/.libs:/home/dave/gnu/gcc/objdir/./gcc:/home/dave/gnu/gcc/objdir/./prev-gcc:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libstdc++-v3/src/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libssp/.libs:/home/dave/g
nu/gcc/objdir/hppa-linux-gnu/libphobos/src/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libgm2/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libgomp/.libs:/home/dave/gnu/gcc/objdir/hppa-linux-gnu/libatomic/.l
ibs:/home/dave/gnu/gcc/objdir/./gcc:/home/dave/gnu/gcc/objdir/./prev-gcc
Execution timeout is: 300
spawn [open ...]
raised CONSTRAINT_ERROR : SIGFPE
FAIL: gnat.dg/div_zero.adb execution test
