This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/29145] unsafe use of restrict qualifier
- From: "djg at cray dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 5 Nov 2006 16:50:26 -0000
- Subject: [Bug tree-optimization/29145] unsafe use of restrict qualifier
- References: <bug-29145-12972@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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