教えてください。
　マ板で見たんだけど、以下の様なソースね。

int foo( void )
{
char a{4], b[4]; // bを消すと落ちる

　　．．．明らかに a から b へのオーバーライド
｝
　Unix系なら明らかにスタックを破壊するので理解できるが、Win系だと
下から上に積まれるので『落ちはしない』様な気がするのですけど・・・
　詳しい人お願いします。