Revert "null pointer derefs found in performance testing"
Revert "null pointer derefs found in performance testing"

This reverts commit eb84026e7c2fc0e72f51ed5916580f2c0813a94f.

rsas/souper,jubitaneja/souper,regehr/souper,google/souper,regehr/souper,rsas/souper,rsas/souper,jubitaneja/souper,google/souper,rsas/souper,google/souper,google/souper,jubitaneja/souper,rsas/souper,jubitaneja/souper,jubitaneja/souper,regehr/souper,jubitaneja/souper,regehr/souper,rsas/souper,regehr/souper,google/souper