r260151 - in /branches/ssa-range/gcc: gimple.c ...

[amacleod@gcc.gnu.org]

Author: amacleod
Date: Fri May 11 03:49:59 2018
New Revision: 260151

URL: https://gcc.gnu.org/viewcvs?rev=260151&root=gcc&view=rev
Log:
Handle non-null function return values

Added:
    branches/ssa-range/gcc/testsuite/gcc.dg/tree-ssa/rvrp-nonnull-ret.c
Modified:
    branches/ssa-range/gcc/gimple.c
    branches/ssa-range/gcc/gimple.h
    branches/ssa-range/gcc/ssa-range.c
    branches/ssa-range/gcc/ssa-range.h
    branches/ssa-range/gcc/testsuite/gcc.dg/tree-ssa/pr20318.c
    branches/ssa-range/gcc/vr-values.c