[Bug c++/19476] Missed null checking elimination with new

["glisse at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #17 from Marc Glisse <glisse at gcc dot gnu.org> ---
Author: glisse
Date: Thu Oct  3 16:13:54 2013
New Revision: 203163

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

    PR c++/19476
gcc/c-family/
    * c.opt (fcheck-new): Move to common.opt.

gcc/
    * common.opt (fcheck-new): Moved from c.opt. Make it 'Common'.
    * calls.c (alloca_call_p): Use get_callee_fndecl.
    * fold-const.c (tree_expr_nonzero_warnv_p): Handle operator new.
    * tree-vrp.c (gimple_stmt_nonzero_warnv_p, stmt_interesting_for_vrp):
    Likewise.
    (vrp_visit_stmt): Remove duplicated code.

gcc/testsuite/
    * g++.dg/tree-ssa/pr19476-1.C: New file.
    * g++.dg/tree-ssa/pr19476-2.C: Likewise.
    * g++.dg/tree-ssa/pr19476-3.C: Likewise.
    * g++.dg/tree-ssa/pr19476-4.C: Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-1.C   (with props)
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-2.C   (with props)
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-3.C   (with props)
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-4.C   (with props)
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c.opt
    trunk/gcc/calls.c
    trunk/gcc/common.opt
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-1.C
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-1.C
            ('svn:keywords' added)

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-2.C
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-2.C
            ('svn:keywords' added)

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-3.C
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-3.C
            ('svn:keywords' added)

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-4.C
            ('svn:eol-style' added)

Propchange: trunk/gcc/testsuite/g++.dg/tree-ssa/pr19476-4.C
            ('svn:keywords' added)