--- Comment #6 from rguenth at gcc dot gnu dot org 2009-05-22 20:41 ---
Subject: Bug 38964
Author: rguenth
Date: Fri May 22 20:41:31 2009
New Revision: 147805
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=147805
Log:
2009-05-22 Richard Guenther rguent...@suse.de
PR
--- Comment #7 from rguenth at gcc dot gnu dot org 2009-05-22 20:42 ---
Fixed for 4.5.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #5 from rguenth at gcc dot gnu dot org 2009-02-03 09:08 ---
The testcase lays the way to proof that whatever PTA ends up putting in
the ESCAPED solution (which includes all globals) TBAA disambiguation
on these is invalid. This basically means that TBAA is nearly useless,
--- Comment #4 from rguenth at gcc dot gnu dot org 2009-02-02 10:24 ---
Nice testcase from PR38503:
inline void *operator new (__SIZE_TYPE__, void *__p) throw() { return __p; }
struct Y {
Y() {}
int i;
};
struct X {
X() {}
void construct(const Y y)
{
new (m_data[0])
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-01-25 13:21 ---
As soon as we do not have to properly represent this in the virtual use-def
chains (while still being semi-precise) we can deal with this properly.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38964
--- Comment #2 from rguenth at gcc dot gnu dot org 2009-01-25 15:56 ---
One thing to note is that the adjustment we do during inlining means that
we miss that same adjustment iff inlining is disabled and the simple
(placement) new wrappers are marked const (and thus do not appear as
--- Comment #3 from rguenth at gcc dot gnu dot org 2009-01-25 16:02 ---
Plan for attacking the problem:
1) Write a verifier that discovers illegal code motion.
1a) Each store and load is assigned a generation count.
1b) After code motion optimizations verify that out-of-order