> 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. Honza
