From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32521 invoked by alias); 15 Sep 2005 20:21:51 -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 32487 invoked by uid 22791); 15 Sep 2005 20:21:42 -0000 Received: from nile.gnat.com (HELO nile.gnat.com) (205.232.38.5) by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Thu, 15 Sep 2005 20:21:41 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-nile.gnat.com (Postfix) with ESMTP id 0C83048CDB3; Thu, 15 Sep 2005 16:21:39 -0400 (EDT) Received: from nile.gnat.com ([127.0.0.1]) by localhost (nile.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 04162-01-10; Thu, 15 Sep 2005 16:21:39 -0400 (EDT) Received: from [127.0.0.1] (dhcp10.gnat.com [205.232.38.232]) by nile.gnat.com (Postfix) with ESMTP id 8682E48CD98; Thu, 15 Sep 2005 16:21:39 -0400 (EDT) Message-ID: <4329D7D1.7040705@adacore.com> Date: Thu, 15 Sep 2005 20:21:00 -0000 From: Robert Dewar User-Agent: Mozilla Thunderbird 1.0.6 (Windows/20050716) MIME-Version: 1.0 To: Ross Ridge CC: Ian Lance Taylor , gcc@gcc.gnu.org Subject: Re: proposed Opengroup action for c99 command (XCU ERN 76) References: <20050915174324.9CD47A857F@perpugilliam.csclub.uwaterloo.ca> In-Reply-To: <20050915174324.9CD47A857F@perpugilliam.csclub.uwaterloo.ca> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2005-09/txt/msg00464.txt.bz2 Ross Ridge wrote: > Thinking semantically is irrelevent because the question isn't whether GCC > conforms to C99 or POSIX. It clearly doesn't. GCC fails the as-if rule. > The question is one of implementation burden, which can only be answered > by examining GCC's implementation. Once again we are not discussing general conformance here, just conformance on this specific issue.