------- Comment #8 from jason at gcc dot gnu dot org 2010-02-24 16:43 ------- What else could it be than a pointer? It might be possible to mark it somehow so that the middle end knows to consider the referent uninitialized.
Incidentally, perhaps we should mark the this parameter as __restrict... It does seem reasonable for the front end to detect uses of a member in a previous mem-initializer, though that wouldn't handle uses in the body. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19808
