diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2004-09-11 20:57:06 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2004-09-11 20:57:06 +0200 |
| commit | a17ea89bb15f7e9668860609b8953e94b69d0763 (patch) | |
| tree | c025146f65f1ef480ebff1997954111085dfde40 /gcc/tree-ssa-alias.c | |
| parent | ac265132112dff732d1622ab7b21228b6c9ae606 (diff) | |
| download | gcc-a17ea89bb15f7e9668860609b8953e94b69d0763.zip gcc-a17ea89bb15f7e9668860609b8953e94b69d0763.tar.gz gcc-a17ea89bb15f7e9668860609b8953e94b69d0763.tar.bz2 | |
tree-ssa-alias.c (collect_points_to_info_r): Handle pointing to PTR + OFFSET as PTR...
* tree-ssa-alias.c (collect_points_to_info_r): Handle
pointing to PTR + OFFSET as PTR, not as pointing to PTR or pointing
to OFFSET.
* gcc.dg/tree-ssa/20040911-1.c: New test.
From-SVN: r87357
Diffstat (limited to 'gcc/tree-ssa-alias.c')
| -rw-r--r-- | gcc/tree-ssa-alias.c | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index cd41fba..47f8d96 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -1869,7 +1869,8 @@ collect_points_to_info_r (tree var, tree stmt, void *data) /* Both operands may be of pointer type. FIXME: Shouldn't we just expect PTR + OFFSET always? */ - if (POINTER_TYPE_P (TREE_TYPE (op0))) + if (POINTER_TYPE_P (TREE_TYPE (op0)) + && TREE_CODE (op0) != INTEGER_CST) { if (TREE_CODE (op0) == SSA_NAME) merge_pointed_to_info (ai, var, op0); @@ -1879,7 +1880,8 @@ collect_points_to_info_r (tree var, tree stmt, void *data) add_pointed_to_expr (var, op0); } - if (POINTER_TYPE_P (TREE_TYPE (op1))) + if (POINTER_TYPE_P (TREE_TYPE (op1)) + && TREE_CODE (op1) != INTEGER_CST) { if (TREE_CODE (op1) == SSA_NAME) merge_pointed_to_info (ai, var, op1); @@ -1892,8 +1894,10 @@ collect_points_to_info_r (tree var, tree stmt, void *data) /* Neither operand is a pointer? VAR can be pointing anywhere. FIXME: Is this right? If we get here, we found PTR = INT_CST + INT_CST. */ - if (!POINTER_TYPE_P (TREE_TYPE (op0)) - && !POINTER_TYPE_P (TREE_TYPE (op1))) + if (!(POINTER_TYPE_P (TREE_TYPE (op0)) + && TREE_CODE (op0) != INTEGER_CST) + && !(POINTER_TYPE_P (TREE_TYPE (op1)) + && TREE_CODE (op1) != INTEGER_CST)) add_pointed_to_expr (var, rhs); } |