projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2c5e1a) | patch
re PR c++/78655 (gcc doesn't exploit the fact that the result of pointer addition...
authorRichard Biener <rguenther@suse.de>
Mon, 20 Aug 2018 14:01:05 +0000 (14:01 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Mon, 20 Aug 2018 14:01:05 +0000 (14:01 +0000)
commit4864297f7858617a5fe406d3651a46446b41db7a
treede3c91f061f06808d33eae5fc49ebd56fd9fc3a6tree
parenta2c5e1ae5988cef25799a569f3255ac14c8ba41acommit | diff
re PR c++/78655 (gcc doesn't exploit the fact that the result of pointer addition can not be nullptr)

2018-08-20  Richard Biener  <rguenther@suse.de>

PR tree-optimization/78655
* tree-vrp.c (extract_range_from_binary_expr_1): Make
pointer + offset nonnull if either operand is nonnull work.

* gcc.dg/tree-ssa/evrp11.c: New testcase.

From-SVN: r263662
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/evrp11.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history