1  /* { dg-do run } */
       2  /* { dg-options "-fno-openmp -fopenmp-simd" } */
       3  
       4  int i, j;
       5  
       6  int
       7  foo (void)
       8  {
       9    j = 1;
      10    return 1;
      11  }
      12  
      13  int
      14  main ()
      15  {
      16    #pragma omp assume holds (i < 42)
      17    ;
      18    #pragma omp assume holds (++i == 1)
      19    ;
      20    if (i != 0)
      21      __builtin_abort ();
      22    #pragma omp assume holds (foo () == 1)
      23    ;
      24    if (j != 0)
      25      __builtin_abort ();
      26    return 0;
      27  }