1 files changed, 29 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/tree-ssa/pr47707.C b/gcc-4.9/gcc/testsuite/g++.dg/tree-ssa/pr47707.C
new file mode 100644
index 000000000..98852de17
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/g++.dg/tree-ssa/pr47707.C
@@ -0,0 +1,29 @@
+/* { dg-do run } */
+/* { dg-options "-O2 -fno-tree-vrp" } */
+#include <assert.h>
+
+struct CH
+{
+  unsigned char ch : 3;
+} ch;
+
+__attribute__((noinline)) void MakeCheckOp (unsigned int *v1, unsigned int *v2)
+{
+ assert (*v1 == *v2);
+
+}
+
+int main (void)
+{
+
+  int len;
+
+  for (len = 4; len >= 1; len--)
+  {
+     unsigned v1, v2;
+     ch.ch = len;
+     v1 = ch.ch;
+     v2 = len;
+     MakeCheckOp (&v1, &v2);
+  }
+}