1  /* PR tree-optimization/107368 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2" } */
       4  
       5  double
       6  f4 (double x)
       7  {
       8    [[gnu::assume (x && x > 0.0)]];
       9    return x;
      10  }