Warning: i686-pc-mingw32-g++ 4.5.2 in Cygwin

[Daniel Kroening]

Dear CPROVER users,

as a warning, the mingw cross-compiler version 4.5.2 that ships with Cygwin produces wrong code with -O2. This applies at least to minisat 2.2.0, and may affect other parts of the CPROVER code as well. The problem goes away with -O1, but there is a significant performance penalty.

At the moment, we recommend compilation with Visual Studio for producing Windows binaries. The Windows binaries on the CBMC website are not affected.

With best regards,

Daniel