------- Comment #7 from djg at cray dot com 2006-11-05 16:50 ------- (In reply to comment #5)
"based on" basically means copied from, and possibly incremented or decremented, though not necessarily in obvious ways. Your example is legal; q is based on p. BTW, I made a mistake in my earlier suggestion; simply checking that both pointers are restrict-qualified isn't sufficient if expressions may have moved across the original C scope boundaries. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29145