Yep, looks good.
Jason
On Mon, 13 Apr 2015, Jan Hubicka wrote:
> > On Mon, 13 Apr 2015, Jan Hubicka wrote:
> >
> > > Hi,
> > > with multiple inheritance compiling the testcase bellow, the first call
> > > always
> > > leads to call with offseted pointer, while the other call results in if
> > > conditoinal testing if
> On Mon, 13 Apr 2015, Jan Hubicka wrote:
>
> > Hi,
> > with multiple inheritance compiling the testcase bellow, the first call
> > always
> > leads to call with offseted pointer, while the other call results in if
> > conditoinal testing if parameter is non-NULL.
> >
> > This patch teach VRP th
On Mon, 13 Apr 2015, Jan Hubicka wrote:
> Hi,
> with multiple inheritance compiling the testcase bellow, the first call always
> leads to call with offseted pointer, while the other call results in if
> conditoinal testing if parameter is non-NULL.
>
> This patch teach VRP that THIS pointers and
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