From: Richard Guenther Date: Sun, 18 May 2008 16:34:39 +0000 (+0000) Subject: tree-cfg.c (verify_gimple_expr): Allow conversions from pointers to sizetype and... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a86907b25ec3125480871e316dcc62c6bcb481ca;p=gcc.git tree-cfg.c (verify_gimple_expr): Allow conversions from pointers to sizetype and vice versa. 2008-05-18 Richard Guenther * tree-cfg.c (verify_gimple_expr): Allow conversions from pointers to sizetype and vice versa. From-SVN: r135504 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 890477b4be6..0e398e356a0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2008-05-18 Richard Guenther + + * tree-cfg.c (verify_gimple_expr): Allow conversions from + pointers to sizetype and vice versa. + 2008-05-18 Uros Bizjak * config/i386/i386.c (ix86_secondary_reload): New static function. diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 4eab1fd449e..c0cb7b87488 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3658,7 +3658,10 @@ verify_gimple_expr (tree expr) there is no sign or zero extension involved. */ if (((POINTER_TYPE_P (type) && INTEGRAL_TYPE_P (TREE_TYPE (op))) || (POINTER_TYPE_P (TREE_TYPE (op)) && INTEGRAL_TYPE_P (type))) - && TYPE_PRECISION (type) == TYPE_PRECISION (TREE_TYPE (op))) + && (TYPE_PRECISION (type) == TYPE_PRECISION (TREE_TYPE (op)) + /* For targets were the precision of sizetype doesn't + match that of pointers we need the following. */ + || type == sizetype || TREE_TYPE (op) == sizetype)) return false; /* Allow conversion from integer to offset type and vice versa. */