1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -fdump-tree-profile_estimate-details" } */
       3  
       4  int f(void)
       5  {
       6    return 0;
       7  }
       8