Kétoldalú kérdés ez. Ugyanis az nyelvi hiba, ha te a runtime-tól egy 50 méretű tömböt kérsz, és túl tudod címezni. Egy 50 méretű tömböt nem lehet túlcímezni elméletben. Így a nyelvnek sem kéne megengednie szemantikailag azt, ami gyakorlatban runtime ellenőrzést jelent.
Az egy dolog, hogy mivel a C alacsonyszintű nyelv, megenged mindenféle memória-manipulálást, és a tömb adatstruktúra nem valójában tömb, csak egy syntax sugar egy pointerre.