aboutsummaryrefslogtreecommitdiff
path: root/gcc/gimplify.c
diff options
context:
space:
mode:
authorJan Hubicka <jh@suse.cz>2007-05-04 02:40:20 +0200
committerJan Hubicka <hubicka@gcc.gnu.org>2007-05-04 00:40:20 +0000
commitac5a28a64eb31508e1708a480583829edfe3e23d (patch)
tree548d8cee6ec9b8410cd45e6a00facf64a630ea5d /gcc/gimplify.c
parent2c40556556009a2300ec1cfe252e4c1d6ea407e9 (diff)
downloadgcc-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.c17
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: