On 11/23/11 06:45, Jakub Jelinek wrote:
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?
Fixed.
jeff
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;
> }
>
On 11/22/2011 08:53 PM, Jeff Law wrote:
>
> * lang.c (java_init_options_struct): Disable optimizations
> which assume a NULL pointer dereference will cause a fault.
This is OK.
Thanks,
Andrew.
