Comment by wyldfire

I'd guess that the optimizer can't really count on it because it could get aliased by code the optimizer can't see and then casted away.