This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/64712] [5 Regression] FAIL: gnat.dg/unchecked_convert1.adb execution test (x86_64/-m32)
- From: "vries at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 22 Jan 2015 17:40:39 +0000
- Subject: [Bug ada/64712] [5 Regression] FAIL: gnat.dg/unchecked_convert1.adb execution test (x86_64/-m32)
- Auto-submitted: auto-generated
- References: <bug-64712-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64712
--- Comment #5 from vries at gcc dot gnu.org ---
Created attachment 34532
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34532&action=edit
compile.sh, script used to reproduce on command-line
Running 10 iterations:
...
$ ./compile.sh
./unchecked_convert1.ali
./unchecked_convert1.o
raised CONSTRAINT_ERROR : unchecked_convert1.adb:17 overflow check failed
raised CONSTRAINT_ERROR : unchecked_convert1.adb:17 overflow check failed
raised CONSTRAINT_ERROR : unchecked_convert1.adb:17 overflow check failed
succ: 7
fail: 3
...