diff options
author | Richard Biener <rguenther@suse.de> | 2018-08-20 14:01:05 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-08-20 14:01:05 +0000 |
commit | 4864297f7858617a5fe406d3651a46446b41db7a (patch) | |
tree | de3c91f061f06808d33eae5fc49ebd56fd9fc3a6 /libcpp/include | |
parent | a2c5e1ae5988cef25799a569f3255ac14c8ba41a (diff) | |
download | gcc-4864297f7858617a5fe406d3651a46446b41db7a.zip gcc-4864297f7858617a5fe406d3651a46446b41db7a.tar.gz gcc-4864297f7858617a5fe406d3651a46446b41db7a.tar.bz2 |
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
Diffstat (limited to 'libcpp/include')
0 files changed, 0 insertions, 0 deletions