Un código en donde b solo tiene espacio para 2 caracteres, por lo que el carácter de terminación null no tiene un lugar en el que colocarse y sin embargo el compilador está reorganizando las instrucciones de almacenamiento de memoria para que a y c se almacenen antes que b en la memoria para dejar espacio para un \0 al fina del array o matriz.