Improved handling of non-declarative use of pointer variables.