--- Comment #4 from jakub at gcc dot gnu dot org 2009-01-13 18:07 ---
Simplified testcase:
extern int bar (void);
volatile int g;
int
foo (void)
{
int a = 1 = bar ();
if ((1 9223372036854775807LL - a 1 - a ? : 1 + a) 1)
return g;
return 0;
}
--
--- Comment #5 from jakub at gcc dot gnu dot org 2009-01-13 20:39 ---
The single CC user is modified, then those changes are reverted, but
unfortunately they aren't reverted by putting back the old content, but instead
tweaking the new comparison with PUT_CODE.
SUBST (*cc_use,
--- Comment #6 from jakub at gcc dot gnu dot org 2009-01-13 20:57 ---
Created an attachment (id=17094)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17094action=view)
gcc44-pr38774.patch
Patch I'm going to bootstrap/regtest. Fixes the testcase on both i686-linux
and x86_64-linux.
--- Comment #7 from pinskia at gcc dot gnu dot org 2009-01-13 20:59 ---
(In reply to comment #6)
Created an attachment (id=17094)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17094action=view) [edit]
gcc44-pr38774.patch
Patch I'm going to bootstrap/regtest. Fixes the
--- Comment #8 from jakub at gcc dot gnu dot org 2009-01-13 22:36 ---
Subject: Bug 38774
Author: jakub
Date: Tue Jan 13 22:36:06 2009
New Revision: 143355
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=143355
Log:
PR rtl-optimization/38774
* combine.c
--- Comment #9 from jakub at gcc dot gnu dot org 2009-01-13 22:38 ---
Fixed.
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-01-09 10:33 ---
Confirmed.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
CC|
--- Comment #2 from zadeck at naturalbridge dot com 2009-01-09 12:41
---
i will have my best people work on it.
--
zadeck at naturalbridge dot com changed:
What|Removed |Added
--- Comment #3 from zadeck at naturalbridge dot com 2009-01-10 01:57
---
Created an attachment (id=17068)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17068action=view)
patch to cause df to verify after every patch
this is a combine bug. The df verification fails after combine