------- Comment #35 from rguenth at gcc dot gnu dot org 2006-02-23 16:18 ------- I suggested to put it in VRP so one can do analysis for non-constant indices. Possibly by splitting the warning like strict aliasing.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=8268
