llvm-svn: 69731

@implementation that closes a @class delcaration.
 - I don't know how to make a test case for this, but this strengthens
   the invariants that hold internally. The functionality change here
   is the edit to SemaDeclObjC.cpp.

llvm-svn: 69728

llvm-svn: 69710

in non-fragile abi mode.  rdar://6811884

llvm-svn: 69701

tentative definitions off to the ASTConsumer at the end of the
translation unit. 

Eliminate CodeGen's internal tracking of tentative definitions, and
instead hook into ASTConsumer::CompleteTentativeDefinition. Also,
tweak the definition-deferal logic for C++, where there are no
tentative definitions.

Fixes <rdar://problem/6808352>, and will make it much easier for
precompiled headers to cope with tentative definitions in the future.

llvm-svn: 69681

rdar://6810940 - @synchronized has no sema checks

llvm-svn: 69670

rdar://6810106

llvm-svn: 69667

when we need them -- which is exactly what some code was already
doing!
 - No intended functionality change.

llvm-svn: 69648

Next step: Add selector support to PCHWriter::AddDeclarationName().

llvm-svn: 69619

PR4023

llvm-svn: 69618

llvm-svn: 69608

also gets access to the Sema object performing semantic analysis. This
will be used by the PCH writer to serialize Sema state.

No functionality change.

llvm-svn: 69595

Test will be enabled with ObjCInterfaceDecl is added.

llvm-svn: 69594

minor accepts-invalid regressions, but we weren't really rejecting them for 
the right reason.  We really need a more general solution to detect all the 
cases of the promotion of arrays with a register storage class.

llvm-svn: 69586

llvm-svn: 69555

llvm-svn: 69553

llvm-svn: 69548

llvm-svn: 69542

Another piece of the conditional operator puzzle. We'll want to use FindCompositePointerType in some other places, too.

llvm-svn: 69534

llvm-svn: 69511

they do allow switches.

llvm-svn: 69510

calling into the jump checker when a function or method is known to contain
no VLAs or @try blocks.

llvm-svn: 69509

already too large.

llvm-svn: 69505

llvm-svn: 69500

address taken labels are in function scope

llvm-svn: 69499

llvm-svn: 69498

llvm-svn: 69497

VLA's and statement expressions.

llvm-svn: 69491

llvm-svn: 69487

the scope checker to not think @catches are nested in each other, eliminating
some bogus notes.

llvm-svn: 69486

llvm-svn: 69480

reasonably well except for the problem that @catches are nested within
each other in the AST, giving the ugly diagnostics in L8.

llvm-svn: 69477

statements don't end up in the LabelMap so we don't have a quick way
to filter them.  We could add state to Sema (a "has vla" and "has 
jump" bit) to try to filter this out, but that would be sort of gross
and I'm not convinced it is the best way.  Thoughts welcome.

llvm-svn: 69476

This fixes a crash on invalid (test10). rdar://6805469

llvm-svn: 69465

call ActOnBlockError so that CurBlock gets popped.  This
fixes a crash on test/block-syntax-error.c when this new
assertion is enabled.

llvm-svn: 69464

so that clients can't poke the function-local one when they really
want the current block label.  No functionality change.

llvm-svn: 69463

specific bad case instead of on the switch.  Putting it on the
switch means you don't know what case is the problem. For 
example:

scope-check.c:54:3: error: illegal switch case into protected scope
  case 2:
  ^
scope-check.c:53:9: note: jump bypasses initialization of variable length array
    int a[x];
        ^

llvm-svn: 69462

llvm-svn: 69461

to create a well formed AST instead of a dangling pointer.  This resolves
several fixme's.

llvm-svn: 69459

produce better diagnostics, and be more correct in ObjC cases (fixing
rdar://6803963).

An example is that we now diagnose:

int test1(int x) {
  goto L;
  int a[x];
  int b[x];
  L:
  return sizeof a;
}

with:

scope-check.c:15:3: error: illegal goto into protected scope
  goto L;
  ^
scope-check.c:17:7: note: scope created by variable length array
  int b[x];
      ^
scope-check.c:16:7: note: scope created by variable length array
  int a[x];
      ^

instead of just saying "invalid jump".  An ObjC example is:

void test1() {
  goto L;
  @try {
L: ;
  } @finally {
  }
}

t.m:6:3: error: illegal goto into protected scope
  goto L;
  ^
t.m:7:3: note: scope created by @try block
  @try {
  ^

There are a whole ton of fixme's for stuff to do, but I believe that this
is a monotonic improvement over what we had.

llvm-svn: 69437