From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sourceware-bugzilla@sourceware.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 45ACD3857C78; Fri, 30 Apr 2021 14:37:55 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 45ACD3857C78
From: "simark at simark dot ca" <sourceware-bugzilla@sourceware.org>
To: gdb-prs@sourceware.org
Subject: [Bug gdb/27806] free(): invalid pointer during gdb.ada/fixed_cmp.exp
Date: Fri, 30 Apr 2021 14:37:55 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gdb
X-Bugzilla-Component: gdb
X-Bugzilla-Version: HEAD
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: simark at simark dot ca
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at sourceware dot org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-27806-4717-4fRjLWAFUr@http.sourceware.org/bugzilla/>
In-Reply-To: <bug-27806-4717@http.sourceware.org/bugzilla/>
References: <bug-27806-4717@http.sourceware.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://sourceware.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gdb-prs@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gdb-prs mailing list <gdb-prs.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/gdb-prs>,
 <mailto:gdb-prs-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/gdb-prs/>
List-Help: <mailto:gdb-prs-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/gdb-prs>,
 <mailto:gdb-prs-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Fri, 30 Apr 2021 14:37:55 -0000

https://sourceware.org/bugzilla/show_bug.cgi?id=3D27806

--- Comment #11 from Simon Marchi <simark at simark dot ca> ---
(In reply to Tom de Vries from comment #8)
> (In reply to Simon Marchi from comment #6)
> > I don't see libguile being linked against libgmp on Ubuntu 20.04.  Is it
> > that it's an optional dependency for libguile, that is enabled on Suse =
and
> > not on Ubuntu?
>=20
> In guile.git/README, I read:
> ...
> Guile depends on the following external libraries.
> - libgmp
> ...
>=20
> That's not formulated as an optional dependency.
>=20
> >=20
> > If you do "lddtree gdb", do you see libgmp as both a direct dependency =
of
> > gdb and a dependency of libguile?
>=20
> No, but I don't know the tool. If I do ldd on libguile, I see libgmp as
> direct dependency.

Nevermind, I see it too:

$ ldd /usr/lib/x86_64-linux-gnu/libguile-2.0.so.22 | grep gmp
        libgmp.so.10 =3D> /usr/lib/x86_64-linux-gnu/libgmp.so.10
(0x00007fb455904000)

lddtree is nice, it's just like ldd but shows the dependencies as a tree, so
it's easier to see how a given .so gets pulled.  But it de-duplicates the
dependencies by default.  With "lddtree -a", I see that libgmp is there thr=
ee
times: from gdb directly, from libguile and from libmpfr.

--=20
You are receiving this mail because:
You are on the CC list for the bug.=