diff options
| author | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-09 13:03:13 +0000 |
|---|---|---|
| committer | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-09 13:03:13 +0000 |
| commit | d7dcba40a5768c70c40d1b7109377c78010abea4 (patch) | |
| tree | ca712605143da33b695da4c91076aa641b7f23d3 /gcc/testsuite/ChangeLog | |
| parent | 11ad02c667d0c697c971e810fb30504de359371f (diff) | |
| download | gcc-d7dcba40a5768c70c40d1b7109377c78010abea4.tar.gz | |
2013-10-09 Marc Glisse <marc.glisse@inria.fr>
PR tree-optimization/20318
gcc/c-family/
* c-common.c (handle_returns_nonnull_attribute): New function.
(c_common_attribute_table): Add returns_nonnull.
gcc/
* doc/extend.texi (returns_nonnull): New function attribute.
* fold-const.c (tree_expr_nonzero_warnv_p): Look for returns_nonnull
attribute.
* tree-vrp.c (gimple_stmt_nonzero_warnv_p): Likewise.
(stmt_interesting_for_vrp): Accept all GIMPLE_CALL.
gcc/testsuite/
* c-c++-common/pr20318.c: New file.
* gcc.dg/tree-ssa/pr20318.c: New file.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203316 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/ChangeLog')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4de71eb0f71..9143a956364 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2013-10-09 Marc Glisse <marc.glisse@inria.fr> + + PR tree-optimization/20318 + * c-c++-common/pr20318.c: New file. + * gcc.dg/tree-ssa/pr20318.c: New file. + 2013-10-09 Eric Botcazou <ebotcazou@adacore.com> * gcc.c-torture/execute/pr58570.c: New test. |