Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis
#7751
| Job | Run time |
|---|---|
| 39s | |
| 39s |