From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25595 invoked by alias); 4 Jun 2007 13:02:31 -0000 Received: (qmail 25582 invoked by uid 22791); 4 Jun 2007 13:02:29 -0000 X-Spam-Check-By: sourceware.org Received: from NaN.false.org (HELO nan.false.org) (208.75.86.248) by sourceware.org (qpsmtpd/0.31) with ESMTP; Mon, 04 Jun 2007 13:02:27 +0000 Received: from nan.false.org (localhost [127.0.0.1]) by nan.false.org (Postfix) with ESMTP id CE789982E3; Mon, 4 Jun 2007 13:02:25 +0000 (GMT) Received: from caradoc.them.org (dsl093-172-095.pit1.dsl.speakeasy.net [66.93.172.95]) by nan.false.org (Postfix) with ESMTP id 8E9CE982E2; Mon, 4 Jun 2007 13:02:25 +0000 (GMT) Received: from drow by caradoc.them.org with local (Exim 4.67) (envelope-from ) id 1HvCCC-0008Ej-H8; Mon, 04 Jun 2007 09:02:04 -0400 Date: Mon, 04 Jun 2007 13:02:00 -0000 From: Daniel Jacobowitz To: Joel Brobecker , gdb@sourceware.org Subject: More "catch assert" Ada failures Message-ID: <20070604130204.GA31142@caradoc.them.org> Mail-Followup-To: Joel Brobecker , gdb@sourceware.org MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.15 (2007-04-09) X-IsSubscribed: yes Mailing-List: contact gdb-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sourceware.org X-SW-Source: 2007-06/txt/msg00029.txt.bz2 Debian now has a libgnat-4.1-dbg package which includes complete debugging information for libgnat; this should let GDB handle exception and assertion catchpoints. A couple of the tests fail though: Unable to break on 'system__assertions__raise_assert_failure' in this configuration. But: (gdb) b system__assertions__raise_assert_failure Breakpoint 2 at 0x2aaaaae86530: file s-assert.adb, line 42. (gdb) b 'system.assertions.raise_assert_failure' Can't find member of namespace, class, struct, or union named "system.assertions.raise_assert_failure" The debug info says "system.assertions.raise_assert_failure" in DW_AT_name and tab completion finds that, but we can't breakpoint it; and looking up the mangled double-underscore form only finds the minimal symbol. What do you expect to happen here? -- Daniel Jacobowitz CodeSourcery