------- Comment #4 from jakub at gcc dot gnu dot org 2009-10-20 17:48 ------- Well, make sure we don't use it when two different pointers point into the same object. As in this example, both __b and __e are begin and end pointers within the same object or one byte after the end of it. And __restrict__ must not be used in that case.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41763
