[Bug middle-end/27336] delete null checks in callers to nonnull functions

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=27336

--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Aug 23 07:23:19 2016
New Revision: 239684

URL: https://gcc.gnu.org/viewcvs?rev=239684&root=gcc&view=rev
Log:
2016-08-23  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/27336
        * tree-vrp.c (infer_value_range): Handle stmts that can throw
        by looking for a non-EH edge.
        (process_assert_insertions_for): Likewise.

        * c-c++-common/pr27336.c: New testcase.

Added:
    trunk/gcc/testsuite/c-c++-common/pr27336.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c