[Bug tree-optimization/53239] [4.7/4.8 Regression] VRP vs named value return opt

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53239

--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-05-07 
13:31:08 UTC ---
Author: jakub
Date: Mon May  7 13:31:00 2012
New Revision: 187240

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187240
Log:
    PR tree-optimization/53239
    * tree-vrp.c (get_value_range): Set VR of
    SSA_NAME_IS_DEFAULT_DEF of DECL_BY_REFERENCE RESULT_DECL
    to nonnull.

    * g++.dg/opt/vrp3.C: New test.
    * g++.dg/opt/vrp3-aux.cc: New file.
    * g++.dg/opt/vrp3.h: New file.

Added:
    trunk/gcc/testsuite/g++.dg/opt/vrp3-aux.cc
    trunk/gcc/testsuite/g++.dg/opt/vrp3.C
    trunk/gcc/testsuite/g++.dg/opt/vrp3.h
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c