------- Comment #5 from rguenth at gcc dot gnu dot org 2009-01-27 12:09 ------- The bad thing is that this is really bad. We would need to add the SMT for the type here, but we have no way of looking that up. So the only way to fix this in a reasonable way is to simply not CCP constant addresses into dereferences.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38985