[Bug tree-optimization/38964] TBAA side-effects of C++ new still missing

[rguenth at gcc dot gnu dot org]

------- 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 stores/loads
       were validly interchanged.  If not, ICE.  If so, re-compute the
       generation counters.
 2) Fix the fallout.  Tree loop store motion is known to randomly
    interchange stores.
 3) Profit.
...
 n) Deal with RTL (properly export alias information to RTL).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38964