public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug rtl-optimization/57568] New: wrong code for assignment in conditional at -Os
@ 2013-06-08 19:16 dhazeghi at yahoo dot com
2013-06-08 20:06 ` [Bug rtl-optimization/57568] [4.8/4.9 Regression] " jakub at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: dhazeghi at yahoo dot com @ 2013-06-08 19:16 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57568
Bug ID: 57568
Summary: wrong code for assignment in conditional at -Os
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: dhazeghi at yahoo dot com
The following code is miscompiled by gcc trunk and 4.8 on x86_64-linux at -Os
and above optimization levels in 32-bit mode (should print nothing). This is a
regression from 4.7.x.
$ gcc-trunk -v
gcc version 4.9.0 20130608 (experimental) [trunk revision 199849] (GCC)
$ gcc-trunk -O1 -m32 reduced.c
$ ./a.out
$ gcc-4.7 -Os -m32 reduced.c
$ ./a.out
$ gcc-trunk -Os -m32 reduced.c
$ ./a.out
1
$
---------------
int printf (const char *, ...);
int a[6][9] = {};
int b = 1;
int *c = &a[3][5];
int main ()
{
if (b)
if (*c = *c + *c)
printf ("%d\n", a[3][5]);
return 0;
}
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug rtl-optimization/57568] [4.8/4.9 Regression] wrong code for assignment in conditional at -Os
2013-06-08 19:16 [Bug rtl-optimization/57568] New: wrong code for assignment in conditional at -Os dhazeghi at yahoo dot com
@ 2013-06-08 20:06 ` jakub at gcc dot gnu.org
2013-06-08 20:07 ` jakub at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-06-08 20:06 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57568
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2013-06-08
CC| |jakub at gcc dot gnu.org
Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org
Target Milestone|--- |4.8.2
Summary|wrong code for assignment |[4.8/4.9 Regression] wrong
|in conditional at -Os |code for assignment in
| |conditional at -Os
Ever confirmed|0 |1
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r188785, but guess it has just been latent before that.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug rtl-optimization/57568] [4.8/4.9 Regression] wrong code for assignment in conditional at -Os
2013-06-08 19:16 [Bug rtl-optimization/57568] New: wrong code for assignment in conditional at -Os dhazeghi at yahoo dot com
2013-06-08 20:06 ` [Bug rtl-optimization/57568] [4.8/4.9 Regression] " jakub at gcc dot gnu.org
@ 2013-06-08 20:07 ` jakub at gcc dot gnu.org
2013-06-09 18:43 ` jakub at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-06-08 20:07 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57568
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 30280
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30280&action=edit
gcc49-pr57568.patch
Untested fix.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug rtl-optimization/57568] [4.8/4.9 Regression] wrong code for assignment in conditional at -Os
2013-06-08 19:16 [Bug rtl-optimization/57568] New: wrong code for assignment in conditional at -Os dhazeghi at yahoo dot com
2013-06-08 20:06 ` [Bug rtl-optimization/57568] [4.8/4.9 Regression] " jakub at gcc dot gnu.org
2013-06-08 20:07 ` jakub at gcc dot gnu.org
@ 2013-06-09 18:43 ` jakub at gcc dot gnu.org
2013-06-09 20:48 ` dhazeghi at yahoo dot com
2013-06-09 21:11 ` jakub at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-06-09 18:43 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57568
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Sun Jun 9 18:30:01 2013
New Revision: 199870
URL: http://gcc.gnu.org/viewcvs?rev=199870&root=gcc&view=rev
Log:
PR target/57568
* config/i386/i386.md (TARGET_READ_MODIFY_WRITE peepholes): Ensure
that operands[2] doesn't overlap with operands[0].
* gcc.c-torture/execute/pr57568.c: New test.
Added:
trunk/gcc/testsuite/gcc.c-torture/execute/pr57568.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/config/i386/i386.md
trunk/gcc/testsuite/ChangeLog
Author: jakub
Date: Sun Jun 9 18:33:32 2013
New Revision: 199871
URL: http://gcc.gnu.org/viewcvs?rev=199871&root=gcc&view=rev
Log:
PR target/57568
* config/i386/i386.md (TARGET_READ_MODIFY_WRITE peepholes): Ensure
that operands[2] doesn't overlap with operands[0].
* gcc.c-torture/execute/pr57568.c: New test.
Added:
branches/gcc-4_8-branch/gcc/testsuite/gcc.c-torture/execute/pr57568.c
Modified:
branches/gcc-4_8-branch/gcc/ChangeLog
branches/gcc-4_8-branch/gcc/config/i386/i386.md
branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
Author: jakub
Date: Sun Jun 9 18:37:51 2013
New Revision: 199872
URL: http://gcc.gnu.org/viewcvs?rev=199872&root=gcc&view=rev
Log:
PR target/57568
* config/i386/i386.md (TARGET_READ_MODIFY_WRITE peepholes): Ensure
that operands[2] doesn't overlap with operands[0].
* gcc.c-torture/execute/pr57568.c: New test.
Added:
branches/gcc-4_7-branch/gcc/testsuite/gcc.c-torture/execute/pr57568.c
Modified:
branches/gcc-4_7-branch/gcc/ChangeLog
branches/gcc-4_7-branch/gcc/config/i386/i386.md
branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug rtl-optimization/57568] [4.8/4.9 Regression] wrong code for assignment in conditional at -Os
2013-06-08 19:16 [Bug rtl-optimization/57568] New: wrong code for assignment in conditional at -Os dhazeghi at yahoo dot com
` (2 preceding siblings ...)
2013-06-09 18:43 ` jakub at gcc dot gnu.org
@ 2013-06-09 20:48 ` dhazeghi at yahoo dot com
2013-06-09 21:11 ` jakub at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: dhazeghi at yahoo dot com @ 2013-06-09 20:48 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57568
--- Comment #4 from Dara Hazeghi <dhazeghi at yahoo dot com> ---
Wow, that was fast! Confirmed fixed, thanks.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug rtl-optimization/57568] [4.8/4.9 Regression] wrong code for assignment in conditional at -Os
2013-06-08 19:16 [Bug rtl-optimization/57568] New: wrong code for assignment in conditional at -Os dhazeghi at yahoo dot com
` (3 preceding siblings ...)
2013-06-09 20:48 ` dhazeghi at yahoo dot com
@ 2013-06-09 21:11 ` jakub at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2013-06-09 21:11 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57568
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Thanks for the report (and other reports).
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2013-06-09 21:11 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-06-08 19:16 [Bug rtl-optimization/57568] New: wrong code for assignment in conditional at -Os dhazeghi at yahoo dot com
2013-06-08 20:06 ` [Bug rtl-optimization/57568] [4.8/4.9 Regression] " jakub at gcc dot gnu.org
2013-06-08 20:07 ` jakub at gcc dot gnu.org
2013-06-09 18:43 ` jakub at gcc dot gnu.org
2013-06-09 20:48 ` dhazeghi at yahoo dot com
2013-06-09 21:11 ` jakub at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).