------- Comment #2 from steven at gcc dot gnu dot org 2010-01-30 22:06 ------- Is this to avoid false positives, because there's only a hazard if the thing is actually dereferenced later on (or if it's cast back to the "correct" type)?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42908
