consider *this* pointer specially because propagation analysis cannot initialize it