[Bug tree-optimization/58480] Use attribute((nonnull)) to optimize callers

[glisse at gcc dot gnu.org]

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

--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
Author: glisse
Date: Tue Oct  8 10:39:49 2013
New Revision: 203271

URL: http://gcc.gnu.org/viewcvs?rev=203271&root=gcc&view=rev
Log:
2013-10-08  Marc Glisse  <marc.glisse@inria.fr>

    PR tree-optimization/58480
gcc/
    * tree-vrp.c (infer_nonnull_range): New function.
    (infer_value_range): Call infer_nonnull_range.

gcc/testsuite/
    * gcc.dg/tree-ssa/pr58480.c: New file.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr58480.c   (with props)
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr58480.c
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/gcc.dg/tree-ssa/pr58480.c
            ('svn:keywords' added)