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