From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-73207-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 19906 invoked by alias); 21 May 2010 16:51:04 -0000
Received: (qmail 19738 invoked by uid 22791); 21 May 2010 16:50:51 -0000
X-SWARE-Spam-Status: No, hits=-5.7 required=5.0	tests=AWL,BAYES_00,RCVD_IN_DNSWL_HI,SPF_HELO_PASS,T_RP_MATCHES_RCVD
X-Spam-Check-By: sourceware.org
Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 21 May 2010 16:50:46 +0000
Received: from int-mx03.intmail.prod.int.phx2.redhat.com (int-mx03.intmail.prod.int.phx2.redhat.com [10.5.11.16])	by mx1.redhat.com (8.13.8/8.13.8) with ESMTP id o4LGobKK029415	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK);	Fri, 21 May 2010 12:50:38 -0400
Received: from ns3.rdu.redhat.com (ns3.rdu.redhat.com [10.11.255.199])	by int-mx03.intmail.prod.int.phx2.redhat.com (8.13.8/8.13.8) with ESMTP id o4LGoblt030714;	Fri, 21 May 2010 12:50:37 -0400
Received: from opsy.redhat.com (ovpn01.gateway.prod.ext.phx2.redhat.com [10.5.9.1])	by ns3.rdu.redhat.com (8.13.8/8.13.8) with ESMTP id o4LGoakw001695;	Fri, 21 May 2010 12:50:36 -0400
Received: by opsy.redhat.com (Postfix, from userid 500)	id 1989237818E; Fri, 21 May 2010 10:50:36 -0600 (MDT)
From: Tom Tromey <tromey@redhat.com>
To: "Pierre Muller" <pierre.muller@ics-cnrs.unistra.fr>
Cc: <gdb-patches@sourceware.org>
Subject: Re: [PING] [RFC] Extend gdb_ari.sh with ARI_OFF/ARI_ON
References: <10524.3587088355$1274389681@news.gmane.org>	<m3mxvt1b6x.fsf@fleche.redhat.com>	<37953.9021793336$1274458961@news.gmane.org>
Reply-To: tromey@redhat.com
Date: Fri, 21 May 2010 16:52:00 -0000
In-Reply-To: <37953.9021793336$1274458961@news.gmane.org> (Pierre Muller's	message of "Fri, 21 May 2010 18:22:19 +0200")
Message-ID: <m3eih519no.fsf@fleche.redhat.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2010-05/txt/msg00500.txt.bz2

>>>>> "Pierre" == Pierre Muller <pierre.muller@ics-cnrs.unistra.fr> writes:

Pierre>   I will try to work further on more
Pierre> ARI if I find time... but will try to focus on
Pierre> more essential points.

One thing I've been wanting to do for quite a while is get
treehydra-for-C running, then write some scripts to check various
possibly buggy things in gdb.

This approach is more difficult but it also opens up many possibilities
that, I think, are not easily done with awk.

Tom