Welche Möglichkeiten der Fehlersuche hat man beim Arduino?

[HaWe]

auch in deinem Link wird mehrfach die Compilierung zu jmp lables erwähnt.
mag jedoch alles im Detail sein wie es will, switch/case ist trotzdem prinzipiell ein goto und kein if/else if, sonst wären nicht nur Integer-Konstanten sondern auch Variablen-Ausdrücke, floats oder statements als Fallunterscheidungen erlaubt.

und wie bereits erwähnt,

Wie auch immer:
alles ist legaler C Code und hat seine gleichwertige Daseins-Berechtigung.

[Mxt]

Erstmal, ja

alles ist legaler C Code und hat seine gleichwertige Daseins-Berechtigung.

Aber, nein

switch/case ist trotzdem prinzipiell ein goto und kein if/else if

es ist eine Tabelle, wenn das kürzer ist, sonst sind es auch if.

Ganz unschuldiges Beispiel

switch(i)
{
  case 1:
    // ...
    break;
  case 2:
    // ...
    break;
  case 3:
    // ...
    break;
}

gibt eine Tabelle.

Aber

switch(i)
{
  case 10:
    // ...
    break;
  case 100:
    // ...
    break;
  case 1000:
    // ...
    break;
}

ups, was machen wir mit den Zwischenwerten ? Eine Tabelle mit 1001 Einträgen in den Speicher vom armen Arduino ?

Nein, da passiert was ganz anderes. Und deshalb überlegt der Compiler so lange ...

[HaWe]

die Frage der Zwischenwerte wird ebenfalls in deinem Link diskutiert. Es bleibt dabei:
switch/case basiert auf goto mit jump labels / jump tables und es entspricht NICHT if/ else if / else if.