From: Richard Guenther <rguenther@suse.de>
Date: Wed, 22 Aug 2007 08:07:11 +0000 (+0000)
Subject: re PR debug/32563 (ICE on pointer arithmetic)
X-Git-Tag: releases/gcc-4.2.2~133
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cd9bf45c478693e4561b5307a2634363077fef91;p=thirdparty%2Fgcc.git

re PR debug/32563 (ICE on pointer arithmetic)

2007-08-22  Richard Guenther  <rguenther@suse.de>

	PR middle-end/32563
	* tree.c (host_integerp): Treat sizetype as signed as it is
	sign-extended.

	* g++.dg/torture/pr32563.C: New testcase.

        Backport from mainline:
        2007-05-30  Richard Guenther  <rguenther@suse.de>

        * g++.dg/dg.exp: Prune torture/.
        * g++.dg/torture/dg-torture.exp: New testsuite.

From-SVN: r127689
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index daead9fde743..437088c7d10c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-08-22  Richard Guenther  <rguenther@suse.de>
+
+	PR middle-end/32563
+	* tree.c (host_integerp): Treat sizetype as signed as it is
+	sign-extended.
+
 2007-08-20  Adam Nemet  <anemet@caviumnetworks.com>
 
 	* config/mips/predicates.md (const_call_insn_operand): Invoke
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b78ef3f76185..5a78dd2fb166 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,14 @@
+2007-08-22  Richard Guenther  <rguenther@suse.de>
+
+	PR middle-end/32563
+	* g++.dg/torture/pr32563.C: New testcase.
+
+	Backport from mainline:
+	2007-05-30  Richard Guenther  <rguenther@suse.de>
+
+	* g++.dg/dg.exp: Prune torture/.
+	* g++.dg/torture/dg-torture.exp: New testsuite.
+
 2007-08-20  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/32992
diff --git a/gcc/testsuite/g++.dg/dg.exp b/gcc/testsuite/g++.dg/dg.exp
index 5ecb161bee7d..b0fa7cfcc93f 100644
--- a/gcc/testsuite/g++.dg/dg.exp
+++ b/gcc/testsuite/g++.dg/dg.exp
@@ -41,6 +41,7 @@ set tests [prune $tests $srcdir/$subdir/special/*]
 set tests [prune $tests $srcdir/$subdir/tls/*]
 set tests [prune $tests $srcdir/$subdir/vect/*]
 set tests [prune $tests $srcdir/$subdir/gomp/*]
+set tests [prune $tests $srcdir/$subdir/torture/*]
 
 # Main loop.
 dg-runtest $tests "" $DEFAULT_CXXFLAGS
diff --git a/gcc/testsuite/g++.dg/torture/dg-torture.exp b/gcc/testsuite/g++.dg/torture/dg-torture.exp
new file mode 100644
index 000000000000..bcb8200c117e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/dg-torture.exp
@@ -0,0 +1,7 @@
+# This harness is for tests that should be run at all optimisation levels.
+
+load_lib g++-dg.exp
+
+dg-init
+gcc-dg-runtest [lsort [glob $srcdir/$subdir/*.C]] ""
+dg-finish
diff --git a/gcc/testsuite/g++.dg/torture/pr32563.C b/gcc/testsuite/g++.dg/torture/pr32563.C
new file mode 100644
index 000000000000..d536b3faaff3
--- /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 90b860ce1afb..a4f0616323bc 100644
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -4540,7 +4540,8 @@ host_integerp (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)));
 }