blob: 8221ea5247ce5e5812823974db72dd0e0fd904c0 [file] [log] [blame]
void return_after_return() { return; return; }
void call_after_return() { return; call_after_return(); }
void code_after_continue() { for (;;) { continue; int x = 1; } }
void code_after_if_else_both_sided_exit() { if (true) return; else discard; return; }
// Not detected today
void code_after_infinite_loop() { for (;;) {} return; }