Quando vai a scrivere oltre "G[MAX -1]" il comportamento è indefinito per definizione.
Non ha senso spiegare cosa accada nell'indefinito. E' indefinito.