[cfe-commits] r139595 - in /cfe/trunk: include/clang/Basic/DiagnosticSemaKinds.td lib/Sema/JumpDiagnostics.cpp test/SemaCXX/MicrosoftExtensions.cpp

[John McCall]

On Sep 13, 2011, at 11:41 AM, Francois Pichet wrote:
> On Tue, Sep 13, 2011 at 1:39 PM, John McCall <rjmccall at apple.com> wrote:
>> On Sep 13, 2011, at 3:26 AM, Francois Pichet wrote:
>>> Author: fpichet
>>> Date: Tue Sep 13 05:26:51 2011
>>> New Revision: 139595
>>> 
>>> URL: http://llvm.org/viewvc/llvm-project?rev=139595&view=rev
>>> Log:
>>> In Microsoft mode, downgrade "goto into protected scope" from error to warning if we are jumping over a variable initialization via a goto.
>>> 
>>> This fixes a few errors when parsing MFC code with clang.
>> 
>> This is one of those invariants which will probably foul up IR generation.
>> You're absolutely not willing to treat this as a source bug?
>> 
> 
> Not really, this is required to parse the MFC header files. So how do
> we deal with this?  Is it possible to gracefully make IR CodeGen
> fails?
> 
> This is not the first time I implement something in the frontend
> without support in IR Gen (__uuidof operator for example).

Adding a new expression kind is pretty different from changing
language invariants.  I don't know how well the static analyzer
would deal with this, either.

John.