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

Reply via email to