------- Comment #3 from rguenth at gcc dot gnu dot org 2008-01-04 17:03 ------- I think the other PR is only about VN global constants. But also an incoming pointer to a structure is not handled:
struct X { int i; }; int foo(struct X *a, int argc) { int b; int c; int i; int d, e; for (i = 0; i < argc; i++) { e = a->i; a->i = 9; } return d + e; } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34677