Vlákno názorů k článku Klíčová slova „auto“ a „typeof“ v C23 od DotName - V moderním gcc 16.1 docela překvápko: void main_w_register(vo­id) {...

V moderním gcc 16.1 docela překvápko:

void main_w_register(vo­id) {
register unsigned char a;
register unsigned char b;
register unsigned char c;
a = 10;
b = 20;
c = a + b;
}

"main_w_register":
push rbp
mov rbp, rsp
nop
pop rbp
ret

Proč překvápko?
"c" je neživá proměnná, "c=a+b" je mrtvý kód, v důsledku i "a" a "b".
"register" na to nemá vliv, stačí rozpoznání živých proměnných a odstranění mrtvého kódu.