[Cryptominisat-devel] I need a bit of help debugging CryptoMiniSat

Mate Soos soos.mate at gmail.com
Mer 19 Jan 13:23:10 CET 2011


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

Dear Martin,

On 01/19/2011 12:43 PM, Martin Maurer wrote:
> can you create list files of the one and the other case ?

I didn't know it was so easy to get the ASM, to just type objdump :) I
was having a very hard time with compilation flags. The bad (-O2 -g) and
good (-O0 -g) objdumps of Solver.o are here:

http://planete.inrialpes.fr/~soos/tmp/SolverGood.lst.bz2
http://planete.inrialpes.fr/~soos/tmp/SolverBad.lst.bz2
http://planete.inrialpes.fr/~soos/tmp/SolverStrange.lst.bz2

The "SolverStrange.lst.bz2" is the one that is compiled with "-O2 -g"
but also has the assert for c[2], and behaves fully correctly. Maybe
it's instructive to compare SolverBad with SolverStrange -- only 2 lines
of code difference, and all compile options are the same.

I hope this helps!

Bests,

Mate

PS: The "buildO0/" was actually configured with

CXXFLAGS="-O0 -g" ../configure

instead of

CXXFLAGS="-O0" ../configure

Sorry for this mistake in the email.

- -- 
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/

iEYEARECAAYFAk02160ACgkQsTOOstKb0jmQCgCdGeUEggMCXqJsujFfFjLszkN3
z4UAnjKXp3MTk7uuKL4im0tcDgyo3CuV
=324i
-----END PGP SIGNATURE-----



More information about the Cryptominisat-devel mailing list