Add OPTION_VERIFY
to check for null pointer dereferencing
#972
Loading
OPTION_VERIFY
to check for null pointer dereferencing
#972