Bug#674423: apt-get: --solver dump leads to "double free or corruption" message
Hi David,
On Thu, May 24, 2012 at 06:40:07PM +0200, David Kalnischkies wrote:
> On Thu, May 24, 2012 at 4:10 PM, Ralf Treinen
> <treinen@pps.univ-paris-diderot.fr> wrote:
> > to test external solvers. When trying to dump the EDSP request I got
> > the following. A file /tmp/dump.edsp was produced.
> >
> > debian:/home/treinen# apt-get --solver dump dist-upgrade
> > Reading package lists... Done
> > Building dependency tree
> > Reading state information... Done
> > *** glibc detected *** apt-get: double free or corruption (!prev): 0x084cba18 ***
>
> Mhh, works here with 0.9.3 as well as 0.9.5.
> Can't say that i am testing it regularly though
> as all "interesting" solvers do not like multiarch yet
> (as cudf doesn't like it).
This is precisely what we are working on. In fact, multiarch will be
supported through the translation from debian to CUDF. So the CUDF
solvers will not have to know how multiarch works, everything is hidden in
the translation. The version of apt-cudf in experimental (2.9.16~rc1-1)
should do that, but this is still experimental ...
> Does other solvers fail, too?
> Does dump fail if you call him directly?
I just tried again on the same machine, and sure enough I could not
reproduce the error. I will keep an eye on it. Anyway I had seen that
error yesterday only on the dump pseudo-solver, not on the other ones
I had tried.
How does one invoke directly the dump solver?
Cheers -Ralf.
--
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/
=====> New email address: treinen@pps.univ-paris-diderot.fr <=====
Reply to: