------- Comment #5 from rguenth at gcc dot gnu dot org 2007-03-12 16:01 ------- Well sure - if we then would get
int *p_1 = &a[0]; void *q_1 = (void *)p_1; int *r_1 = (int *)q_1; if (r_1 != NULL) ... then FRE would figure out that r_1 == p_1 and the forwprop pass after FRE will fold the comparison. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31146
