1  /* { dg-do compile } */
       2  /* { dg-options "-fopenmp -O2 -fdump-tree-optimized" } */
       3  /* { dg-final { scan-tree-dump-times "return 42;" 2 "optimized" } } */
       4  /* { dg-final { scan-tree-dump-not "return -1;" "optimized" } } */
       5  
       6  int
       7  foo (int x)
       8  {
       9    int y;
      10    #pragma omp assume holds (x == 42)
      11    y = x;
      12    return y;
      13  }
      14  
      15  int
      16  bar (int x)
      17  {
      18    #pragma omp assume holds (x < 42)
      19    ;
      20    if (x == 42)
      21      return -1;
      22    return 42;
      23  }