From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-61730-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 31333 invoked by alias); 16 Oct 2002 14:40:43 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 31308 invoked from network); 16 Oct 2002 14:40:42 -0000
Received: from unknown (HELO nile.gnat.com) (205.232.38.5)
  by sources.redhat.com with SMTP; 16 Oct 2002 14:40:42 -0000
Received: by nile.gnat.com (Postfix, from userid 338)
	id D501BF2D61; Wed, 16 Oct 2002 10:40:41 -0400 (EDT)
To: fjh@cs.mu.OZ.AU, jsm28@cam.ac.uk
Subject: Re: Request of new __attribute__ for switch statements (elimination of the bounds check)
Cc: gcc@gcc.gnu.org, zack@codesourcery.com
Message-Id: <20021016144041.D501BF2D61@nile.gnat.com>
Date: Wed, 16 Oct 2002 09:19:00 -0000
From: dewar@gnat.com (Robert Dewar)
X-SW-Source: 2002-10/txt/msg00954.txt.bz2

> FWIW, Mercury and Ocaml both have debuggers that support backwards execution.
> It is certainly a very useful feature.

The ideal form of this is hardware emulators that store the last n-thousand
bus cycles and allow reverse execution based on this trace.