Extended Description

This:

  #include
int f() {
typeid(f());
return 0;
}

gives:

:2:9: warning: all paths through this function will call itself [-Winfinite-recursion]
int f() {
^

... which is not true, because in this case the operand of typeid(...) is unevaluated.