diff options
| author | Kugan Vivekanandarajah <kuganv@linaro.org> | 2016-10-06 19:55:14 +0000 |
|---|---|---|
| committer | Kugan Vivekanandarajah <kugan@gcc.gnu.org> | 2016-10-06 19:55:14 +0000 |
| commit | 65b25c9b437d4e8135f9b8fc66827c87a93cf71b (patch) | |
| tree | 76936f1cc4444f007ca6217385401c6d0d47fbfe /gcc/tree-vrp.c | |
| parent | 4c4430e390301324e48b70ceb7b882fedd18aa15 (diff) | |
| download | gcc-65b25c9b437d4e8135f9b8fc66827c87a93cf71b.zip gcc-65b25c9b437d4e8135f9b8fc66827c87a93cf71b.tar.gz gcc-65b25c9b437d4e8135f9b8fc66827c87a93cf71b.tar.bz2 | |
Handle POINTER_TYPE_P in EVRP
Handle POINTER_TYPE_P in EVRP
gcc/ChangeLog:
2016-10-06 Kugan Vivekanandarajah <kuganv@linaro.org>
* tree-vrp.c (evrp_dom_walker::before_dom_children): Handle
POINTER_TYPE_P.
gcc/testsuite/ChangeLog:
2016-10-06 Kugan Vivekanandarajah <kuganv@linaro.org>
* gcc.dg/tree-ssa/evrp4.c: New test.
From-SVN: r240841
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 7a08be7..46bbd82 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -10666,7 +10666,8 @@ evrp_dom_walker::before_dom_children (basic_block bb) && gimple_code (stmt) == GIMPLE_COND && (op0 = gimple_cond_lhs (stmt)) && TREE_CODE (op0) == SSA_NAME - && INTEGRAL_TYPE_P (TREE_TYPE (gimple_cond_lhs (stmt)))) + && (INTEGRAL_TYPE_P (TREE_TYPE (gimple_cond_lhs (stmt))) + || POINTER_TYPE_P (TREE_TYPE (gimple_cond_lhs (stmt))))) { /* Entering a new scope. Try to see if we can find a VR here. */ |