------- Comment #7 from jmattson at vmware dot com 2010-05-28 15:55 ------- So, you are saying that given an arbitrary pointer p, it is impossible to determine whether or not p points to an element of array a[], because comparing pointers to different objects is undefined? I find that hard to believe, but I'm no standards lawyer.
Your suggested rewrite results in the same error. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44300
