[cfe-dev] Proposal: Add diagnostic enumeration to libclang

[David Blaikie]

Sorry - two steps back. After a fixit is emitted on an error, the
compiler must recover exactly as if the code was written the way the
fixit suggested (so that get extra unrelated/incorrect fixits or
errors). In the case of warnings, if they become errors their fixits
need to meet the same bar so it's easier to just treat them the same in
both cases (whether they are currently a warning or an error) which
means the fixit in a warning can only suppress the warning without
changing program semantics.
From: Dave Abrahams
Sent: 1/5/2012 2:21 AM
To: David Blaikie
Cc: James Molloy; cfe-dev at cs.uiuc.edu
Subject: Re: [cfe-dev] Proposal: Add diagnostic enumeration to libclang

on Thu Jan 05 2012, David Blaikie <dblaikie-AT-gmail.com> wrote:

> The rules are there to protect -fixit behavior - a fixit hint on an
> error or warning cannot change the semantics of the program

What are the semantics of a program that doesn't compile?

-- 
Dave Abrahams
BoostPro Computing
http://www.boostpro.com