This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/63665] New: [5 Regression] wrong code with signed overflow even with -fwrapv
- From: "zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 28 Oct 2014 09:01:10 +0000
- Subject: [Bug tree-optimization/63665] New: [5 Regression] wrong code with signed overflow even with -fwrapv
- Auto-submitted: auto-generated
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