]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ChangeLog
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef6179d) | patch
re PR tree-optimization/58480 (Use attribute((nonnull)) to optimize callers)
authorMarc Glisse <marc.glisse@inria.fr>
Tue, 8 Oct 2013 10:39:49 +0000 (12:39 +0200)
committerMarc Glisse <glisse@gcc.gnu.org>
Tue, 8 Oct 2013 10:39:49 +0000 (10:39 +0000)
commit0e6a0e48eb5ead024d12453cb811bdf0ef5c3377
treed6b986b5b052a0040274877460393e4e53588b02tree | snapshot
parentef6179d186ee9a2ebe034d328a17764e703273cacommit | diff
re PR tree-optimization/58480 (Use attribute((nonnull)) to optimize callers)

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.

From-SVN: r203271
gcc/ChangeLog diff | blob | blame | history
gcc/testsuite/ChangeLog diff | blob | blame | history
gcc/testsuite/gcc.dg/tree-ssa/pr58480.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git