https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63665
Bug ID: 63665
Summary: [5 Regression] wrong code with signed overflow even
with -fwrapv
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Created attachment 33826
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33826&action=edit
reduced testcase (from gcc.c-torture/execute/20040409-1.c)
Output:
$ gcc -O -fno-tree-ccp -fno-tree-fre -fwrapv testcase.c
$ ./a.out
Aborted
In the assembly output, main() unconditionally calls abort().
The original testcase, gcc.c-torture/execute/20040409-1.c, fails with:
$ gcc -O2 -flto -fno-tree-ccp -fno-tree-copy-prop -fno-tree-fre 20040409-1.i
$ ./a.out
Aborted
Tested revisions:
r216724 - FAIL
4_9 r216431 - OK
4_8 r216430 - OK
