------- 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

Reply via email to