From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
Subject: Re: macro fun [Re: [9fans] plan or side effect]
From: forsyth@caldo.demon.co.uk
MIME-Version: 1.0
Content-Type: multipart/mixed;
	boundary="upas-hxgdfhlyezlreccrgqparebbag"
Message-Id: <20020319110043.D4FF119A73@mail.cse.psu.edu>
Date: Tue, 19 Mar 2002 10:57:46 +0000
Topicbox-Message-UUID: 6939b548-eaca-11e9-9e20-41e7f4b1d025

This is a multi-part message in MIME format.
--upas-hxgdfhlyezlreccrgqparebbag
Content-Disposition: inline
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

yes, i did mean to restrict it to reasonable static analysis.
actually one can hope for more than `readily detectable
violations'--global static analysers can do a lot, even for C.


--upas-hxgdfhlyezlreccrgqparebbag
Content-Type: message/rfc822
Content-Disposition: inline

Return-Path: <9fans-admin@cse.psu.edu>
Received: from punt-2.mail.demon.net by mailstore for forsyth@caldo.demon.co.uk
          id 1016532203:20:16501:56; Tue, 19 Mar 2002 10:03:23 GMT
Received: from psuvax1.cse.psu.edu ([130.203.4.6]) by punt-2.mail.demon.net
           id aa2127363; 19 Mar 2002 10:03 GMT
Received: from psuvax1.cse.psu.edu (psuvax1.cse.psu.edu [130.203.8.6])
	by mail.cse.psu.edu (CSE Mail Server) with ESMTP
	id 08C6D19A62; Tue, 19 Mar 2002 05:03:10 -0500 (EST)
Delivered-To: 9fans@cse.psu.edu
Received: from mercury.bath.ac.uk (mercury.bath.ac.uk [138.38.32.81])
	by mail.cse.psu.edu (CSE Mail Server) with ESMTP id E2AAB19A62
	for <9fans@cse.psu.edu>; Tue, 19 Mar 2002 05:02:49 -0500 (EST)
Received: from news by mercury.bath.ac.uk with local (Exim 3.12 #1)
	id 16nGGN-00021J-00
	for 9fans@cse.psu.edu; Tue, 19 Mar 2002 09:50:39 +0000
Received: from GATEWAY by bath.ac.uk with netnews
	for 9fans@cse.psu.edu (9fans@cse.psu.edu)
To: 9fans@cse.psu.edu
Message-ID: <3C96C3BA.CFB711B0@null.net>
Organization: Giganews.Com - Premium News Outsourcing
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
References: <20020318180441.CA641199B9@mail.cse.psu.edu>
Subject: Re: macro fun [Re: [9fans] plan or side effect]
Sender: 9fans-admin@cse.psu.edu
Errors-To: 9fans-admin@cse.psu.edu
X-BeenThere: 9fans@cse.psu.edu
X-Mailman-Version: 2.0.8
Precedence: bulk
Reply-To: 9fans@cse.psu.edu
List-Help: <mailto:9fans-request@cse.psu.edu?subject=help>
List-Id: Fans of the OS Plan 9 from Bell Labs <9fans.cse.psu.edu>
List-Archive: <https://lists.cse.psu.edu/archives/9fans/>
Date: Tue, 19 Mar 2002 09:50:03 GMT

forsyth@caldo.demon.co.uk wrote:
> ... presumably -ansi switches off gcc extensions of one sort
> or another but doesn't check conformance.

Checking a program for strict conformance appears to be one
of those finitely uncomputable tasks.  The best one can hope
for is that readily detectable violations are flagged.  The
C standard requires diagnostics for most of those..
--upas-hxgdfhlyezlreccrgqparebbag--