1 files changed, 74 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/graphite/pr43012.c b/gcc/testsuite/gcc.dg/graphite/pr43012.c
new file mode 100644
index 0000000000..6d0f3b0413
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/graphite/pr43012.c
@@ -0,0 +1,74 @@
+/* This testcase is from PR43012.
+   You will need CLooG-PPL 0.15.8 or later to have this testcase fixed.  */
+
+/* { dg-do run } */
+/* { dg-options "-O2 -floop-strip-mine" } */
+
+extern void abort (void);
+
+#ifdef DBG
+extern int printf (const char *, ...);
+#endif
+
+#define LAST_TOKEN 534
+#define FLOAT_FUNCT_TOKEN 64
+#define VECTOR_FUNCT_TOKEN 77
+#define COLOUR_KEY_TOKEN 89
+
+int Table[LAST_TOKEN];
+
+void
+pre_init_tokenizer ()
+{
+  int i;
+
+  for (i = 0; i < LAST_TOKEN; i++)
+    {
+      Table[i] = i;
+      if (i < FLOAT_FUNCT_TOKEN)
+	Table[i] = FLOAT_FUNCT_TOKEN;
+      else
+	{
+	  if (i < VECTOR_FUNCT_TOKEN)
+	    Table[i] = VECTOR_FUNCT_TOKEN;
+	  else
+	    {
+	      if (i < COLOUR_KEY_TOKEN)
+		Table[i] = COLOUR_KEY_TOKEN;
+	    }
+	}
+    }
+}
+
+void
+check ()
+{
+  int i;
+
+  for (i = 0; i < FLOAT_FUNCT_TOKEN; i++)
+    if (Table[i] != FLOAT_FUNCT_TOKEN)
+      abort ();
+  for (i = FLOAT_FUNCT_TOKEN; i < VECTOR_FUNCT_TOKEN; i++)
+    if (Table[i] != VECTOR_FUNCT_TOKEN)
+      abort ();
+  for (i = VECTOR_FUNCT_TOKEN; i < COLOUR_KEY_TOKEN; i++)
+    if (Table[i] != COLOUR_KEY_TOKEN)
+      abort ();
+  for (i = COLOUR_KEY_TOKEN; i < LAST_TOKEN; i++)
+    if (Table[i] != i)
+      abort ();
+}
+
+int
+main ()
+{
+  int i;
+
+  pre_init_tokenizer ();
+#ifdef DBG
+  for (i = 0; i < LAST_TOKEN; i++)
+    printf ("%3d: %d\n", i, Table[i]);
+#endif
+  check ();
+  return 0;
+}