1  /* PR tree-optimization/92712 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fdump-tree-optimized" } */
       4  /* { dg-final { scan-tree-dump " = \[tv]_\[0-9]*\\\(D\\\) \\* \[tv]_\[0-9]*\\\(D\\\);" "optimized" } } */
       5  
       6  static int
       7  foo (int t, int v)
       8  {
       9    int i, x = 0;
      10    for (int i = 0; i < t; ++i)
      11      x += v;
      12    return x;
      13  }
      14  
      15  int
      16  bar (int t, int v)
      17  {
      18    if (t < 0)
      19      __builtin_unreachable ();
      20    return foo (t, v);
      21  }