http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50800
--- Comment #6 from Mathias Gaunard <mathias at gaunard dot com> 2012-08-14 10:53:07 UTC --- I've had this happen with 4.7.1 without any may_alias involved. Why is this bug still marked 'waiting'? Are more testcases necessary?