http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53128
--- Comment #4 from Igor Zamyatin <izamyatin at gmail dot com> 2012-05-03 11:09:15 UTC --- Isn't it too aggressive from user perspective to perform such transformation even without warning? Especially for the case when that "wrong" read is not used later. Sure it is dangerous anyway to make such access but at he same time it seems this could affect lot of existing code...