Re: Teach vrp that THIS pointer and references are non-zero

[Jakub Jelinek]

On Mon, Apr 13, 2015 at 12:12:49PM +0200, Jan Hubicka wrote:
> @@ -1216,6 +1227,10 @@ gimple_stmt_nonzero_warnv_p (gimple stmt
>           && DECL_IS_OPERATOR_NEW (fndecl)
>           && !TREE_NOTHROW (fndecl))
>         return true;
> +     /* Referneces are alwyas non-NULL.  */

Two typos.

I'll defer the patch review to richi/jason; as far as ubsan is concerned,
the flag_delete_null_pointer_checks guards should hopefully make sure we are
ok.

        Jakub