(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
vrp-float-plus.c
       1  // { dg-do compile }
       2  // { dg-options "-O2 -fno-tree-fre -fno-tree-dominator-opts -fno-thread-jumps -fdump-tree-vrp2" }
       3  
       4  double BG_SplineLength ()
       5  {
       6    double lastPoint;
       7    double i;
       8  
       9    for (i = 0.01;i<=1;i+=0.1f)
      10      if (!(i != 0.0))
      11        {
      12          lastPoint = i;
      13        }
      14      else
      15        {
      16          lastPoint = 2;
      17        }
      18    return lastPoint;
      19  }
      20  
      21  // { dg-final { scan-tree-dump-times "return 2\\.0e" 1 "vrp2" } }