/* 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" } */
    ;
}