Sono stato una buona mezz'ora a studiare il disassemblato della funzione. A me pare che sui vettori con dimensione fissa non ci siano problemi perché nel codice il compilatore prima di chiamare la funzione carica l'indirizzo di fine del vettore e nella routine di calcolo del CRC semplicemente confronta il valore corrente del puntatore con la fine precedentemente memorizzata per cui quando arriva in fondo al vettore, lui esce.