>>957
const char *tsukkomi="a が使われてないから最適化で削除されていると思われ。";

BCCで試してみた限り、前者は確かに冗長。
因みに、グローバルに置いても似たような結果に。

/*--------*/
int main(){
char a[10000]={0};

a[7777]=1;

return 0;
}

/*--------*/
int main(){
char a[10000];

memset(&a,0,sizeof(a));
a[7777]=1;

return 0;
}