On Tue, Nov 22, 2011 at 01:53:54PM -0700, Jeff Law wrote: > + > + /* Java catches catch NULL pointer exceptions, thus we can not necessarily
catches catch? > + rely on a pointer having a non-NULL value after a dereference. */ > + opts->x_flag_delete_null_pointer_checks = 0; > } > > static void Jakub