Fix NULL
and unknown pointer handling in MayPointTo
and ReachableFrom
for race analysis
#1176
+231
−1