Сложный случай рекурсии хвоста

Возможно ли, чтобы компилятор распознал хвостовую рекурсию в таких случаях, как этот?

void f(int x) {
if (x == 1) {
/* do_1... */
}
else if (x == 2) {
/* do_2... */
}
else if (x == 3) { // here, we want do_2 and do_3; the order doesn't matter
/* do_3... */
f(2); // this should be tail recursive
}
else if (x == 4) {
/* do_4... */
}
}

Будет размещение return; после f(2); помочь компилятору распознать его как случай хвостовой рекурсии?