diff options
author | Jan Hubicka <jh@suse.cz> | 2007-05-04 02:40:20 +0200 |
---|---|---|
committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2007-05-04 00:40:20 +0000 |
commit | ac5a28a64eb31508e1708a480583829edfe3e23d (patch) | |
tree | 548d8cee6ec9b8410cd45e6a00facf64a630ea5d /gcc/gimplify.c | |
parent | 2c40556556009a2300ec1cfe252e4c1d6ea407e9 (diff) | |
download | gcc-ac5a28a64eb31508e1708a480583829edfe3e23d.zip gcc-ac5a28a64eb31508e1708a480583829edfe3e23d.tar.gz gcc-ac5a28a64eb31508e1708a480583829edfe3e23d.tar.bz2 |
fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y)...
* fold-const.c (fold_unary): Convert (T1)(X op Y) into ((T1)X op (T1)Y),
for pointer type in more cases than before.
* gimplify.c (gimplify_expr): Fold (void *)&a + 4.
* tree-object-size.c (plus_expr_object_size): When operand size is
unknown, return unknown.
From-SVN: r124403
Diffstat (limited to 'gcc/gimplify.c')
-rw-r--r-- | gcc/gimplify.c | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/gcc/gimplify.c b/gcc/gimplify.c index 805c302..3efb2b8 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -5881,7 +5881,22 @@ gimplify_expr (tree *expr_p, tree *pre_p, tree *post_p, { *expr_p = build_fold_addr_expr_with_type (tmp, TREE_TYPE (*expr_p)); - break; + break; + } + /* Convert (void *)&a + 4 into (void *)&a[1]. */ + if (POINTER_TYPE_P (TREE_TYPE (*expr_p)) + && TREE_CODE (TREE_OPERAND (*expr_p, 0)) == NOP_EXPR + && TREE_CODE (TREE_OPERAND (*expr_p, 1)) == INTEGER_CST + && (tmp = maybe_fold_offset_to_reference + (TREE_OPERAND (TREE_OPERAND (*expr_p, 0), 0), + TREE_OPERAND (*expr_p, 1), + TREE_TYPE (TREE_TYPE + (TREE_OPERAND (TREE_OPERAND (*expr_p, 0), + 0)))))) + { + tmp = build_fold_addr_expr (tmp); + *expr_p = fold_convert (TREE_TYPE (*expr_p), tmp); + break; } /* FALLTHRU */ default: |