This used to work in 4.3, but doesn't on trunk:
$ gnatchop /opt/cfarm/src/trunk/gcc/testsuite/ada/acats/support/repbody.ada
$ gnatchop /opt/cfarm/src/trunk/gcc/testsuite/ada/acats/support/repspec.ada
$ gnatchop /opt/cfarm/src/trunk/gcc/testsuite/ada/acats/tests/c4/c4a013a.ada
$ gnatmake -f -g ./c4a013a
$ ./c4a013a
,.,. C4A013A ACATS 2.5 09-02-01 11:40:55
---- C4A013A CHECK NONSTATIC UNIVERSAL_REAL EXPRESSIONS WHOSE RESULTS
OVERFLOW.
Floating point exception
$ gdb ./c4a013a
GNU gdb 6.8-debian
Copyright (C) 2008 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law. Type "show copying"
and "show warranty" for details.
This GDB was configured as "alpha-linux-gnu"...
(gdb) r
Starting program: /home/guerby/tmp/c4a013a
,.,. C4A013A ACATS 2.5 09-02-01 11:41:01
---- C4A013A CHECK NONSTATIC UNIVERSAL_REAL EXPRESSIONS WHOSE RESULTS
OVERFLOW.
Program received signal SIGFPE, Arithmetic exception.
0x00000001200081ac in c4a013a () at c4a013a.adb:57
57 B := 1.0 < 1.0 / (1.0 * INTEGER'POS (IDENT_INT (0)));
This problem also cause FAIL in the same way for:
c456001 c45624a c45624b c4a013a cxa5a03 cxg2002 cxg2017 cxg2020
That is to say all alpha-linux FAIL but cxf3a02 which is a SEGV probably
unrelated.
--
Summary: [4.4 Regression] SIGFPE on ACATS c456001 c45624a c45624b
c4a013a cxa5a03 cxg2002 cxg2017 cxg2020 on alpha-linux
Product: gcc
Version: unknown
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: laurent at guerby dot net
GCC host triplet: alpha-unknown-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39061
