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 parameter is non-NULL. > > > > > > This patch teach VRP that THIS pointers and references are non-zero. I > > > hope > > > this is true also for fortran and ada, but I think both languages do not > > > really > > > have NULL. > > > > > > I think VRP could basically assume all reference pointers to be non-zero, > > > but > > > I am not sure how to do that with GIMPLE useless conversion rules. > > > > > > Bootstrapped/regtested x86_64-linux, OK? > > > > Hmm - doesn't ESRA remove unused this eventually so this falls apart? > > It changes METHOD_TYPE to FUNCTION_TYPE then.
I see. Patch is ok then with Jakubs fixes. Thanks, Richard.
