From be1f1b71b57c9ef7368247173e2249857cb6397d Mon Sep 17 00:00:00 2001 From: rguenth Date: Wed, 22 Aug 2007 08:00:55 +0000 Subject: [PATCH] 2007-08-22 Richard Guenther PR middle-end/32563 * tree.c (host_integerp): Treat sizetype as signed as it is sign-extended. * g++.dg/torture/pr32563.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@127688 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/torture/pr32563.C | 8 ++++++++ gcc/tree.c | 3 ++- 4 files changed, 21 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/torture/pr32563.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 486b3d0..234bc45 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-08-22 Richard Guenther + + PR middle-end/32563 + * tree.c (host_integerp): Treat sizetype as signed as it is + sign-extended. + 2007-08-21 Ian Lance Taylor PR tree-optimization/33134 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fb5aa87..8b73a02 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-08-22 Richard Guenther + + PR middle-end/32563 + * g++.dg/torture/pr32563.C: New testcase. + 2007-08-22 Jakub Jelinek PR middle-end/32912 diff --git a/gcc/testsuite/g++.dg/torture/pr32563.C b/gcc/testsuite/g++.dg/torture/pr32563.C new file mode 100644 index 0000000..d536b3f --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr32563.C @@ -0,0 +1,8 @@ +/* { dg-do compile } */ + +struct A +{ + char c[1]; +} a; + +const __SIZE_TYPE__ i = (__SIZE_TYPE__)&a.c[0] - 1; diff --git a/gcc/tree.c b/gcc/tree.c index ce4ee5d..95aa1b9 100644 --- a/gcc/tree.c +++ b/gcc/tree.c @@ -4936,7 +4936,8 @@ host_integerp (const_tree t, int pos) && (HOST_WIDE_INT) TREE_INT_CST_LOW (t) >= 0) || (! pos && TREE_INT_CST_HIGH (t) == -1 && (HOST_WIDE_INT) TREE_INT_CST_LOW (t) < 0 - && !TYPE_UNSIGNED (TREE_TYPE (t))) + && (!TYPE_UNSIGNED (TREE_TYPE (t)) + || TYPE_IS_SIZETYPE (TREE_TYPE (t)))) || (pos && TREE_INT_CST_HIGH (t) == 0))); } -- 2.7.4