> [ Forgot to Reply-All first time, sorry. ] > > But how would it deal with: > > *p + *q++; > > It can't know in general whether *p and *q denote the same object. Shouldn't that be *p + (*q)++ ? -- Paul Curtis, Rowley Associates Ltd http://www.rowley.co.uk