------- Comment #5 from pinskia at gcc dot gnu dot org 2007-06-11 00:48 ------- (In reply to comment #3) > Interestingly the following code is optimized: That is because we create a new may_alias variable for malloc to point to so we know that it cannot alias anything.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14187