Replace try-catch with nullptr checks#1589

Merged

kroening merged 1 commit intodiffblue:developfrom

reuk:reuk/fewer-exceptions

Nov 14, 2017

Commits on Nov 14, 2017

Replace try-catch with nullptr checks
reuk
committed