------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de 2005-01-26 14:10 ------- We can also not fold &i[0] == &i[1] to false in
int foo(void) { int i[2]; if (&i[0] == &i[1]) return 1; return 0; } or i+0 == i+1 which is transformed to &i[0] == &i[1]. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19639