------- Comment #7 from rguenth at gcc dot gnu dot org 2008-12-29 18:05 ------- Even if I cannot find the proper section of the standard that says &a->b is not considered an access it does make sense for GIMPLE to do so. Otherwise we cannot transform (char *)a + 4 to &a->b because the latter would be a (possibly invalid) access while the former is not.
So, we definitely should _not_ generate a V_C_E here. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38486