From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17076 invoked by alias); 5 Oct 2004 23:04:43 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 17068 invoked from network); 5 Oct 2004 23:04:42 -0000 Received: from unknown (HELO lon-mail-2.gradwell.net) (193.111.201.126) by sourceware.org with SMTP; 5 Oct 2004 23:04:42 -0000 Received: (qmail 92458 invoked from network); 5 Oct 2004 23:04:41 -0000 Received: from digraph.polyomino.org.uk (postmaster%pop3.polyomino.org.uk@81.187.227.50) by lon-mail-2.gradwell.net with SMTP; 5 Oct 2004 23:04:41 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.42) id 1CEyML-0001EY-1j; Tue, 05 Oct 2004 23:04:41 +0000 Date: Tue, 05 Oct 2004 23:12:00 -0000 From: "Joseph S. Myers" X-X-Sender: jsm28@digraph.polyomino.org.uk To: Jeffrey A Law cc: Andrew Pinski , GCC Patches Subject: Re: [PATCH] Fix PRs middle-end/15014 and middle-end/16973, removing labels with their address taken In-Reply-To: <1097015702.22266.583.camel@localhost.localdomain> Message-ID: References: <2852718A-1614-11D9-81C0-000A95D692F4@physics.uc.edu> <1097015702.22266.583.camel@localhost.localdomain> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2004-10/txt/msg00463.txt.bz2 On Tue, 5 Oct 2004, Jeffrey A Law wrote: > Didn't we decide to disallow taking the addresses of user labels > for use by anything but control flow statements? That would > make this code ill-formed. The stated use of differences of local labels (and thread) is for static tables of such (e.g. glibc/stdio-common/vfprintf.c) - which rather suggests cases such as this are valid even though we do not care what value the difference has since there are no computed gotos present that might use it. -- Joseph S. Myers http://www.srcf.ucam.org/~jsm28/gcc/ jsm@polyomino.org.uk (personal mail) joseph@codesourcery.com (CodeSourcery mail) jsm28@gcc.gnu.org (Bugzilla assignments and CCs)