This is the mail archive of the
frysk@sourceware.org
mailing list for the frysk project.
Re: Roadmap beginnings
- From: Ian Lance Taylor <iant at google dot com>
- To: Tom Tromey <tromey at redhat dot com>
- Cc: Daniel Jacobowitz <drow at false dot org>, Frysk List <frysk at sourceware dot org>
- Date: Mon, 14 Jul 2008 10:18:53 -0700
- Subject: Re: Roadmap beginnings
- Dkim-signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=google.com; s=beta; t=1216055941; bh=wEhtHjZLjtsEiGUW4I77cud0wEM=; h=DomainKey-Signature:To:Cc:Subject:References:From:Date: In-Reply-To:Message-ID:User-Agent:MIME-Version:Content-Type; b=QSG BM87sMUnPz8mNkZPplvmky3W1wVn0YabPn4j09rEkVRYmVzBTzzOSGF7ghxbrw/gsg5 kBC0RP7gl28eemQA==
- Domainkey-signature: a=rsa-sha1; s=beta; d=google.com; c=nofws; q=dns; h=received:to:cc:subject:references:from:date:in-reply-to: message-id:user-agent:mime-version:content-type; b=Zaw7ueVc9ZOquFwBTiVxUHH/W2N6SPn8Bhrg+9yqRW+tehaopHgTn7pPYHDqKg4z8 tS+YFW5NxbDGaSKJWOTYA==
- References: <m3bq14dwp3.fsf@fleche.redhat.com> <20080711215243.GA30836@caradoc.them.org> <m3hcas8lxv.fsf@fleche.redhat.com>
Tom Tromey <tromey@redhat.com> writes:
> Tom> * Correct expression parsing. (Though I am told this is extremely
> Tom> difficult to impossible in the general case.)
>
> Daniel> It does a not half bad job, and specific problems with it are fixable.
> Daniel> As for ultimate correctness and completeness, I have serious doubts
> Daniel> that it is feasible - and I also doubt it would see enough use to
> Daniel> justify the enormous investment. Prove me wrong and we'll merge it :-)
>
> :). I'm looking around a bit to see if I can find specifics of what
> is wrong.
I don't know if this counts as "expression parsing," but the most
obvious problems that I encounter are the difficulties in working with
STL objects. Given "std::vector<T> v", I can't do "print v[0]".
Given "std::vector<T>::iterator p", I can't do "print *p". That is
minimal required functionality for good C++ debugging. This needs to
work smoothly for STL types and for user defined types.
It would also be nice if gdb could do template parameter defaulting,
although that is rather less important as tab completion can take care
of it.
A related problem, which I don't know how to solve, is that many
simple C++ accessors get inlined, and are not available when
debugging. This makes it vastly more difficult to debug optimized C++
programs (indeed, this problem is more serious for me in practice than
the debuginfo problems discussed at the summit).
Ian