From mboxrd@z Thu Jan  1 00:00:00 1970
From: Geoff Keating <geoffk@geoffk.org>
To: dewar@gnat.com
Cc: amylaar@cambridge.redhat.com, gcc@gcc.gnu.org
Subject: Re: Is this a gcc bug?
Date: Sun, 14 Jan 2001 15:51:00 -0000
Message-id: <200101142351.PAA00349@geoffk.org>
References: <20010114133157.363E034D82@nile.gnat.com>
X-SW-Source: 2001-01/msg00906.html

> From: dewar@gnat.com
> Cc: gcc@gcc.gnu.org
> Date: Sun, 14 Jan 2001 08:31:57 -0500 (EST)
> 
> <<The standard doesn't distinguish between 'run time' and 'compile
> time'.
> >>
> 
> That's a misunderstanding, yes, of course the standard distinguishes
> between dynamic and static semantics. When you write a printf statement,
> it does not generate output at compile time, and the standard is pretty
> clear on this point :-)

It doesn't follow, though, that the printf output is not interleaved
with the mandatory diagnostics (if any).

-- 
- Geoffrey Keating <geoffk@geoffk.org>