aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2006-02-15 21:41:03 +0100
committerJakub Jelinek <jakub@gcc.gnu.org>2006-02-15 21:41:03 +0100
commit01ea23f3d250c13a0097cd22e6d36390941c4c97 (patch)
treef3b03f728a76b77ce4adaca3c4525a06bed79409 /gcc
parentfb57dc0bf0b060e936dbb376ceca3eca35c15787 (diff)
downloadgcc-01ea23f3d250c13a0097cd22e6d36390941c4c97.zip
gcc-01ea23f3d250c13a0097cd22e6d36390941c4c97.tar.gz
gcc-01ea23f3d250c13a0097cd22e6d36390941c4c97.tar.bz2
re PR middle-end/26300 (ICE in trunc_int_for_mode)
PR middle-end/26300 * combine.c (make_extraction): Bail out if ORIG_POS is negative. * gcc.c-torture/compile/20060215-1.c: New test. From-SVN: r111116
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog3
-rw-r--r--gcc/combine.c3
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.c-torture/compile/20060215-1.c42
4 files changed, 53 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3be2c3f..9b388d6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
2006-02-15 Jakub Jelinek <jakub@redhat.com>
+ PR middle-end/26300
+ * combine.c (make_extraction): Bail out if ORIG_POS is negative.
+
* tree.h (struct tree_omp_clause): Use OMP_CLAUSE_CODE rather
than TREE_CODE as index into omp_clause_num_ops array.
diff --git a/gcc/combine.c b/gcc/combine.c
index d4ea689..96ebd20 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -6249,6 +6249,9 @@ make_extraction (enum machine_mode mode, rtx inner, HOST_WIDE_INT pos,
|| orig_pos + len > GET_MODE_BITSIZE (wanted_inner_mode)))
return 0;
+ if (orig_pos < 0)
+ return 0;
+
inner = force_to_mode (inner, wanted_inner_mode,
pos_rtx
|| len + orig_pos >= HOST_BITS_PER_WIDE_INT
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d2319a1..d22edd3 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-02-15 Jakub Jelinek <jakub@redhat.com>
+
+ PR middle-end/26300
+ * gcc.c-torture/compile/20060215-1.c: New test.
+
2006-02-14 Roger Sayle <roger@eyesopen.com>
PR middle-end/23670
diff --git a/gcc/testsuite/gcc.c-torture/compile/20060215-1.c b/gcc/testsuite/gcc.c-torture/compile/20060215-1.c
new file mode 100644
index 0000000..7979561
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/20060215-1.c
@@ -0,0 +1,42 @@
+/* PR middle-end/26300 */
+
+struct S
+{
+ char c;
+ struct S *d;
+ struct S *e;
+};
+extern struct S *u, *v;
+extern void fn1 (struct S *) __attribute__ ((noreturn));
+void fn2 (struct S *);
+
+static inline struct S *
+fn3 (struct S *x)
+{
+ if (x->c != 6)
+ fn1 (0);
+ return (struct S *) x;
+}
+
+static inline int
+fn4 (struct S *x)
+{
+ if (x != u)
+ return 3;
+ fn2 (x);
+ return 0;
+}
+
+int
+test (struct S *x)
+{
+ struct S *r;
+ int m = 0;
+
+ for (r = x; r != v; r = (fn3 (r)->d))
+ if (r->c != 6)
+ fn1 (x);
+ else
+ m |= 1 << (fn4 (fn3 (r)->e) - 1);
+ return m;
+}