1  /* { dg-do run } */
       2  /* { dg-require-effective-target fpic } */
       3  /* { dg-options "-O -fprofile-arcs -fPIC -fno-dce -fno-forward-propagate" } */
       4  /* { dg-require-profiling "-fprofile-generate" } */
       5  
       6  int test_goto2 (int f)
       7  {
       8    int i;
       9    for (i = 0; ({_Bool a = i < 10;a;}); i++)
      10    {
      11      if (i == f)
      12        goto lab2;
      13    }
      14    return 4;
      15  lab2:
      16    return 8;
      17  }
      18  
      19  int main ()
      20  {
      21    test_goto2 (30);
      22    return 0;
      23  }
      24  
      25  /* { dg-final { cleanup-coverage-files } } */