https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78791
Bug ID: 78791
Summary: [7.0 regression] ACATS cxf2001 failure
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: ebotcazou at gcc dot gnu.org
Target Milestone: ---
Target: ix86-*-*
Created attachment 40320
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40320&action=edit
Self-contained testcase
ACATS cxf2001 fails on 32-bit x86 because Double_Divide of s-arit64.adb is
miscompiled at -O2 by the STV pass. Self-contained testcase to be attached.
eric@polaris:~/build/gcc/native> gnatchop adatest.txt
splitting adatest.txt into:
opt61.adb
opt61_pkg.ads
opt61_pkg.adb
eric@polaris:~/build/gcc/native> gnatmake opt61 -O2 -m32
gcc -c -O2 -m32 --RTS=32 opt61.adb
gcc -c -O2 -m32 --RTS=32 opt61_pkg.adb
gnatbind --RTS=32 -x opt61.ali
gnatlink opt61.ali -O2 -m32
eric@polaris:~/build/gcc/native> ./opt61
raised PROGRAM_ERROR : opt61.adb:19 explicit raise
The testcase can be added to the gnat.dg testsuite as-is.
