------- Comment #16 from jason at gcc dot gnu dot org 2010-02-24 20:44 ------- (In reply to comment #14) > > (In reply to comment #8) > > > Incidentally, perhaps we should mark the this parameter as __restrict... > > I don't see how this would be correct (or useful).
Hmm, I suppose it is possible to have another identical pointer in the case of placement new. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19808
