------- Comment #8 from matz at gcc dot gnu dot org 2009-04-01 14:47 ------- One other approach is to create new aliasing conflicts once we union two stack partitions. That would inhibit any invalid (after sharing) transformations by RTL transformations downstream (when they look at only such conflicts, i.e. TBAA). If they also look at other disambiguation possibilities then we indeed need to make the stack partition part of the IL and use it in the alias queries.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39604