[Cryptominisat-devel] I need a bit of help debugging CryptoMiniSat
meinemailingliste at online.de
Mer 19 Jan 14:49:44 CET 2011
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)
----- 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
> -----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:
> The "SolverStrange.lst.bz2" is the one that is compiled with "-O2 -g"
> but also has the assert for c, 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!
> 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
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.10 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
> -----END PGP SIGNATURE-----
More information about the Cryptominisat-devel