Sì, certo. Lì si parla del compilatore Gnu Avr-gcc che è quello usato dall'Arduino e da Atmel. Sicuramente un altro compilatore ottimizzerà in base a suoi metodi.
PS:
leggendo della ricorsione, mi par di capire che sia sconsigliata da tutti ma solo perché consuma un sacco di risorse, non tanto perché non sia implementata.
Intanto ho provato un piccolo algoritmo per calcolare la sequenza di Fibonacci in modo ricorsivo ed è andato in botto 
Algoritmo scritto male 
Questo funziona.
void setup() {
Serial.begin(19200);
delay(2000);
Serial.println("Sequenza di Fibonacci");
Serial.println(fib(20));
Serial.println("Terminata");
}
void loop() {
}
unsigned long fib(unsigned int n)
{
Serial.println("0");
return n == 0 ? 0 : fib2(n, 0, 1);
}
unsigned long fib2(unsigned int n, unsigned long p0, unsigned long p1)
{
Serial.println(p1, DEC);
return n == 1 ? p1 : fib2(n - 1, p1, p0 + p1);
}