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; }