------- Comment #4 from rguenth at gcc dot gnu dot org 2009-04-03 12:06 ------- The store to *ptr aliases the load from osmesa->clearpixel - there is no (easy) way to otherwise prove that it is not (at least with the testcase). We do not see where osmesa->buffer points to (it may point to &osmesa->clearpixel).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19347
