On Mon, May 7, 2012 at 2:30 PM, Jakub Jelinek 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 is
> VR_UNDEFINED, instead it only knows
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 is
VR_UNDEFINED, instead it only knows that it is nonnull.
Bootstrapped/regtested on x86_64-linux and i