[PATCH] Fix VRP with DECL_BY_REFERENCE RESULT_DECLs (PR tree-optimization/53239)

2012-05-07 Thread Jakub Jelinek
Hi! If returning an addressable result by value, the C++ FE makes it returned by reference, RESULT_DECL in that case is DECL_BY_REFERENCE REFERENCE_TYPE. VRP shouldn't in that case assume the result is VR_UNDEFINED, instead it only knows that it is nonnull. Bootstrapped/regtested on

Re: [PATCH] Fix VRP with DECL_BY_REFERENCE RESULT_DECLs (PR tree-optimization/53239)

2012-05-07 Thread Richard Guenther
On Mon, May 7, 2012 at 2:30 PM, Jakub Jelinek ja...@redhat.com wrote: Hi! If returning an addressable result by value, the C++ FE makes it returned by reference, RESULT_DECL in that case is DECL_BY_REFERENCE REFERENCE_TYPE.  VRP shouldn't in that case assume the result is VR_UNDEFINED,