[Cryptominisat-devel] received email ?

Mate Soos soos.mate at gmail.com
Lun 17 Jan 01:08:10 CET 2011


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear Robert,

On 01/16/2011 01:03 PM, Robert Aston wrote:
> When I run "gcc --version", I get:
> 
> gcc (GCC) 4.5.1

I have somebody also reporting a bug with gcc series 4.5. I believe the
problem is strict aliasing. I am compiling gcc 4.5.2 right now. Would
you be so kind to see if the bug comes up if you put
"-fno-strict-aliasing" in the compilation flags? Just first do:

make -f Makefile.cvs
(needs libtool, automake, autoconf)

and then compile with

make clean
CPPFLAGS=-fno-strict-aliasing ./configure
make

and without the "CPPFLAGS=..." setting. The executable with the CPPFLAGS
setting should work fine (finding SAT for your problem), while the other
standard compilation should fail (finding UNSAT for the same problem).
It would be nice to know that this is indeed the case.

Thank you in advance,

Bests,

Mate

- -- 
Mate Soos
Security Research Labs
http://www.srlabs.de
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk0ziGoACgkQsTOOstKb0jks8gCeJ267xwYQpWYYN0N89iEDkJYu
cZUAoKBSr6n9lMFnsxHJ/POJ3FYY/GCA
=v91f
-----END PGP SIGNATURE-----



More information about the Cryptominisat-devel mailing list