1 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/gomp/pr39495-2.C b/gcc/testsuite/g++.dg/gomp/pr39495-2.C
new file mode 100644
index 000000000..c0b4d5dbd
--- /dev/null
+++ b/gcc/testsuite/g++.dg/gomp/pr39495-2.C
@@ -0,0 +1,39 @@
+// PR c/39495
+// { dg-do compile }
+// { dg-options "-fopenmp" }
+
+#define INT_MIN (-__INT_MAX__ - 1)
+#define INT_MAX __INT_MAX__
+#define UINT_MAX (2U * __INT_MAX__ + 1)
+
+int
+foo (void)
+{
+  int i;
+  unsigned int u;
+
+#pragma omp for
+  for (i = INT_MIN + 6; i != INT_MIN; i--)	// { dg-error "invalid controlling predicate" }
+    ;
+#pragma omp for
+  for (i = INT_MIN + 6; i == INT_MIN; i--)	// { dg-error "invalid controlling predicate" }
+    ;
+#pragma omp for
+  for (i = INT_MAX - 6; i != INT_MAX; i++)	// { dg-error "invalid controlling predicate" }
+    ;
+#pragma omp for
+  for (i = INT_MAX - 6; i == INT_MAX; i++)	// { dg-error "invalid controlling predicate" }
+    ;
+#pragma omp for
+  for (u = 6; u != 0; u--)			// { dg-error "invalid controlling predicate" }
+    ;
+#pragma omp for
+  for (u = 6; u == 0; u--)			// { dg-error "invalid controlling predicate" }
+    ;
+#pragma omp for
+  for (u = UINT_MAX - 6; u != UINT_MAX; u++)	// { dg-error "invalid controlling predicate" }
+    ;
+#pragma omp for
+  for (u = UINT_MAX - 6; u == UINT_MAX; u++)	// { dg-error "invalid controlling predicate" }
+    ;
+}