1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-profile_estimate" } */
       3  
       4  int main(int argc, char **argv)
       5  {
       6    switch (argc)
       7      {
       8      case 1:
       9        return 1;
      10      case 2:
      11        return 2;
      12      case 3:
      13        __builtin_abort();
      14      case 4:
      15        __builtin_abort();
      16      default:
      17        return 5;
      18      }
      19  
      20    return 10;
      21  }
      22  
      23  /* { dg-final { scan-tree-dump-times "33.33%" 3 "profile_estimate"} } */
      24  /* { dg-final { scan-tree-dump-times "0.00%" 3 "profile_estimate"} } */