diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-11 18:57:06 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-09-11 18:57:06 +0000 |
| commit | 0a0c4d2c2944b3e85bd448270a23dd28c5f2ae07 (patch) | |
| tree | c025146f65f1ef480ebff1997954111085dfde40 /gcc | |
| parent | 0abe20f88d9dd5927e559b81574f15e6e4686ef8 (diff) | |
| download | gcc-0a0c4d2c2944b3e85bd448270a23dd28c5f2ae07.tar.gz | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@87357 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c | 21 | ||||
| -rw-r--r-- | gcc/tree-ssa-alias.c | 12 |
4 files changed, 39 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 80d1437f056..57e38175d5e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-09-11 Jakub Jelinek <jakub@redhat.com> + + * 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. + 2004-09-11 Richard Henderson <rth@redhat.com> * expr.c (expand_expr_addr_expr_1) Rename from expand_expr_addr_expr. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 07cf16e8271..3727d52ce4d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2004-09-11 Jakub Jelinek <jakub@redhat.com> + + * gcc.dg/tree-ssa/20040911-1.c: New test. + 2004-09-11 Andreas Jaeger <aj@suse.de> * gcc.c-torture/execute/991118-1.x: Delete, PR 16437 is fixed. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c b/gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c new file mode 100644 index 00000000000..6b49570d21a --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c @@ -0,0 +1,21 @@ +/* Verify that points-to information is handled properly for PTR + OFFSET + pointer arithmetics. */ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-alias1-vops" } */ + +char buf[4], *q; +int foo (int i) +{ + char c, *p; + q = &c; + p = buf; + if (i) + p = p + 3; + else + p = p + 2; + *p = 6; + c = 8; + return *p; +} + +/* { dg-final { scan-tree-dump-not "VUSE <c" "alias1" } } */ diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index cd41fbae49c..47f8d96bc96 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); } |