1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-profile_estimate-details" } */
       3  
       4  extern int global;
       5  
       6  void foo (int base)
       7  {
       8    for (int i = 0; __builtin_expect_with_probability (i < base, 1, 0.05f); i++)
       9      global++;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump "first match heuristics: 5.00%" "profile_estimate"} } */
      13  /* { dg-final { scan-tree-dump "__builtin_expect_with_probability heuristics of edge .*->.*: 5.00%" "profile_estimate"} } */
      14  /* { dg-final { scan-tree-dump "is probably executed at most 19" "profile_estimate"} } */
      15