1 /* { dg-do compile } */
2 /* { dg-options "-fharden-control-flow-redundancy -fno-hardcfr-check-returning-calls -fhardcfr-check-noreturn-calls=never -fdump-tree-hardcfr -ffat-lto-objects" } */
4 /* Check that we insert cleanups for checking around the bodies of
5 maybe-throwing functions, without checking before noreturn
8 #include "harden-cfr-throw.C"
10 /* { dg-final { scan-tree-dump-times "hardcfr_check" 12 "hardcfr" } } */
11 /* { dg-final { scan-tree-dump-times "builtin_trap" 1 "hardcfr" } } */
12 /* { dg-final { scan-tree-dump-times "Bypassing" 0 "hardcfr" } } */