1 /* { dg-do compile } */
2 /* { dg-options "-fharden-control-flow-redundancy -fhardcfr-check-noreturn-calls=never -O0 -fdump-tree-hardcfr -ffat-lto-objects" } */
4 /* Check that we don't insert checking before noreturn calls. -O0 is tested
5 separately because h is not found to be noreturn without optimization. */
7 #include "torture/harden-cfr-noret.c"
9 /* No out-of-line checks. */
10 /* { dg-final { scan-tree-dump-times "hardcfr_check" 0 "hardcfr" } } */
11 /* Only one inline check at the end of f and of h2. */
12 /* { dg-final { scan-tree-dump-times "__builtin_trap" 2 "hardcfr" } } */