MiniSAT

最近將一個Linux上的程式MiniSAT轉到VS2003編譯，編譯完成後執行時卻發生Stack Overflow的情形。原本以為是Linux程式轉到Windows時有些地方會有問題，後來才發現原來有個Class其成員變數宣告為1048576大小的位元陣列。後來把它改小成為2048，程式竟可以正常執行了。但是為何程式在Linux上可以正常執行，在Windows上就有問題呢?