| commit | 2f5c3913392e2307903d96e5b373c33585a64bea | |
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 20 Aug 2018 14:01:05 +0000 (20 14:01 +0000) | ||
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 20 Aug 2018 14:01:05 +0000 (20 14:01 +0000) | ||
| tree | de3c91f061f06808d33eae5fc49ebd56fd9fc3a6 | treesnapshot (tar.gz zip) |
| parent | a71ee1d840b5f3ee6e87e1dcea953c88f8727902 | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263662 138bc75d-0d04-0410-961f-82ee72b054a4
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263662 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gcc.dg/tree-ssa/evrp11.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |