1  // { dg-do compile }
       2  // { dg-options "-O2 -fdump-tree-evrp" }
       3  
       4  int num;
       5  
       6  void func(float x)
       7  {
       8    if (x > 5.0)
       9      num = __builtin_signbit (x);
      10  }
      11  
      12  // { dg-final { scan-tree-dump-times "num = 0;" 1 "evrp" } }