Take into account conditional NULL tests.
Take into account conditional NULL tests.

On the branches where we know that @p@ is NOT NULL, remove it
from the set of null pointers.  We get extra information and
this is necessary to work with the non-returning function analysis
to handle things like asserts.

travitch/foreign-inference,travitch/foreign-inference