1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-profile_estimate -fdisable-tree-ethread" } */
7 while (foo() || g < 10)
12 /* { dg-final { scan-tree-dump-times "extra loop exit heuristics of edge\[^:\]*:" 1 "profile_estimate"} } */
13 /* { dg-final { scan-tree-dump-times "loop exit heuristics of edge\[^:\]*:" 2 "profile_estimate"} } */