From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 29238 invoked by alias); 19 Jan 2004 15:51:23 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 29231 invoked from network); 19 Jan 2004 15:51:23 -0000 Received: from unknown (HELO mx1.redhat.com) (66.187.233.31) by sources.redhat.com with SMTP; 19 Jan 2004 15:51:23 -0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.11.6/8.11.6) with ESMTP id i0JFnAl16076; Mon, 19 Jan 2004 10:49:20 -0500 Received: from speedy.slc.redhat.com (vpn50-8.rdu.redhat.com [172.16.50.8]) by int-mx1.corp.redhat.com (8.11.6/8.11.6) with ESMTP id i0JFmJa21881; Mon, 19 Jan 2004 10:48:29 -0500 Received: from redhat.com (law@localhost) by speedy.slc.redhat.com (8.12.10/8.12.8/Submit) with ESMTP id i0JFjgAj015618; Mon, 19 Jan 2004 08:45:52 -0700 Message-Id: <200401191545.i0JFjgAj015618@speedy.slc.redhat.com> X-Authentication-Warning: speedy.slc.redhat.com: law owned process doing -bs To: Jan Hubicka cc: Richard Kenner , gcc@gcc.gnu.org Reply-To: law@redhat.com Subject: Re: [RFC] Contributing tree-ssa to mainline In-Reply-To: Your message of "Mon, 19 Jan 2004 13:51:45 +0100." <20040119125145.GH31365@atrey.karlin.mff.cuni.cz> From: law@redhat.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 19 Jan 2004 15:51:00 -0000 X-SW-Source: 2004-01/txt/msg01293.txt.bz2 In message <20040119125145.GH31365@atrey.karlin.mff.cuni.cz>, Jan Hubicka write s: >However Ada is not the only language having checks. In some extend, >Java has the array bounds too. If the value range propagation pass were >available, Java would take benefit of it too. And C/C++ when instrumented to detect invalid memory operations. jeff