[Bug ada/64712] [5 Regression] FAIL: gnat.dg/unchecked_convert1.adb execution test (x86_64/-m32)

[vries at gcc dot gnu.org]

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
...