Таки закатал рукава и, написав немного кода, измерил всё сам. Похоже, Вы правы: и int x, и int x[1] занимают одинаково -- оба по 8 байт в MS VS 2003 по крайней мере. Надо почаще освежать память :)

Занятно, что если подобные объекты аллоцировать динамически, то int x[1] оказывается-таки на 4 байта длиннее int x[0], и при этом int x[0] места занимает всё ещё порядочно... Но статически такой объект не создаётся :)