""はサイズ０の文字列で終端コードである"\0"は含まれるからね。"\0"と書いてあるのと差はない。（はず）
それが格納されるのはあたゆる初期値付き変数と同じところになる。（そうじゃない場合もあるが）

当然それの前の部分でオーバーランをしていたらクッションになってくれてることも考えられる。