1 /* { dg-do compile } */
2 /* { dg-options "-O3 -fdump-tree-optimized-details-blocks -fno-early-inlining" } */
7 if (__builtin_expect_with_probability (i
> 5, 1, 0.6))
14 if (__builtin_expect_with_probability (i
> 4, 1, 0.7))
17 /* { dg-final { scan-tree-dump-not "Invalid sum" "optimized" } } */