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

Martin Maurer meinemailingliste at online.de
Mer 19 Jan 14:49:44 CET 2011


Hallo Mate,

can you do a quick test or big effort ?

I think the problematic function is "inline", can you try and do same output 
without inlining ?
(But make a copy to keep the original version)

Best regards,

Martin

----- Original Message ----- 
From: "Mate Soos" <soos.mate at gmail.com>
To: "Martin Maurer" <meinemailingliste at online.de>
Cc: <cryptominisat-devel at lists.gforge.inria.fr>; "Oliver Kullmann" 
<O.Kullmann at Swansea.ac.uk>
Sent: Wednesday, January 19, 2011 1:23 PM
Subject: Re: [Cryptominisat-devel] I need a bit of help debugging 
CryptoMiniSat


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