summaryrefslogtreecommitdiffstats
path: root/clang/lib
Commit message (Collapse)AuthorAgeFilesLines
* reject invalid jumps among pieces of @try blocks. This seems to workChris Lattner2009-04-181-3/+24
| | | | | | | 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
* unconditionally check for goto correctness. This is because switchChris Lattner2009-04-181-4/+2
| | | | | | | | | 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
* Use EmitCallArgs in EmitObjCMessageExpr.Anders Carlsson2009-04-181-4/+1
| | | | llvm-svn: 69471
* Make CodeGenFunction::EmitCallArgs a template function that takes a generic ↵Anders Carlsson2009-04-182-38/+38
| | | | | | "Type Info" parameter. The type info parameter knows how to iterate over its arguments. llvm-svn: 69469
* abstract the SwitchStack for blocks just like we do the goto labels.Chris Lattner2009-04-182-8/+21
| | | | | | This fixes a crash on invalid (test10). rdar://6805469 llvm-svn: 69465
* fix two error paths out of ParseBlockLiteralExpression toChris Lattner2009-04-182-1/+3
| | | | | | | | 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
* refactor some code, adding a new getLabelMap() accessor methodChris Lattner2009-04-184-40/+50
| | | | | | | so that clients can't poke the function-local one when they really want the current block label. No functionality change. llvm-svn: 69463
* Improve switch diagnostic to emit the "jump" message on theChris Lattner2009-04-181-17/+20
| | | | | | | | | | | | | | | 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
* first step to getting switches giving "jump into vla scope" errors.Chris Lattner2009-04-181-2/+7
| | | | llvm-svn: 69461
* fix error recovery in the case of a jump to a label with no definitionChris Lattner2009-04-181-25/+27
| | | | | | | to create a well formed AST instead of a dangling pointer. This resolves several fixme's. llvm-svn: 69459
* glibc plays some weird games with multiple different definitions ofChris Lattner2009-04-181-3/+12
| | | | | | | | int8_t and games it with strange *_defined macros. Emulate its weirdness for better compatibility with linux etc. Problem pointed out by anders johnson. llvm-svn: 69458
* more fun with line markers: the digit string is required to be interpretedChris Lattner2009-04-181-23/+23
| | | | | | | as decimal, even if it starts with 0. Also, since things like 0x1 are completely illegal, don't even bother using numericliteralparser for them. llvm-svn: 69454
* Don't emit name-lookup tables for functions or methods in the PCH filesDouglas Gregor2009-04-181-0/+5
| | | | llvm-svn: 69449
* rewrite the goto scope checking code to be more efficient, simpler,Chris Lattner2009-04-181-81/+203
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* Use getAsPointerType instead of using getCanonicalType directly.Daniel Dunbar2009-04-181-10/+6
| | | | | | - <rdar://problem/6803995> llvm-svn: 69435
* Fix a bug found by inspection, class/meta references could be emittedDaniel Dunbar2009-04-181-17/+39
| | | | | | into the wrong section (they shared the same lookup table). llvm-svn: 69433
* don't evaluate ->child_end() every time through the loop, or *i frequently ↵Chris Lattner2009-04-181-27/+32
| | | | | | within it. llvm-svn: 69431
* split code out into a new CheckFunctionJumpScopes routine,Chris Lattner2009-04-181-32/+44
| | | | | | | add some comments, change type from void* -> Stmt*, use smallvector instead of vector. llvm-svn: 69430
* make scope checking be static functions instead of sema methods.Chris Lattner2009-04-182-36/+24
| | | | llvm-svn: 69429
* fix incorrect lowering of __builtin_ia32_shufpd, rdar://6803924Chris Lattner2009-04-181-1/+2
| | | | llvm-svn: 69428
* fix PR3927 by being more careful about the pp test for identifier.Chris Lattner2009-04-181-1/+1
| | | | llvm-svn: 69423
* second half of PR3940: #line requires simple digit sequence.Chris Lattner2009-04-181-1/+2
| | | | llvm-svn: 69422
* Store the type ID for __builtin_va_list in the PCH file, so that theDouglas Gregor2009-04-182-1/+16
| | | | | | | | AST context's __builtin_va_list type will be set when the PCH file is loaded. This fixes the crash when CodeGen'ing a va_arg expression pulled in from a PCH file. llvm-svn: 69421
* enforce requirements imposed by C90 6.8 TC1, fixing PR3919.Chris Lattner2009-04-181-11/+26
| | | | llvm-svn: 69415
* Fix PR3938 by taking into account C99 6.10p4.Chris Lattner2009-04-181-1/+1
| | | | llvm-svn: 69413
* Substantially restructure function-like macro argument parsing.Chris Lattner2009-04-181-36/+56
| | | | | | | | | Highlights: PP::isNextPPTokenLParen() no longer eats the ( when present. We now simplify slightly the logic parsing macro arguments. We now handle PR3937 and other related cases correctly. llvm-svn: 69411
* Preliminary PCH support in the driverDouglas Gregor2009-04-183-17/+53
| | | | llvm-svn: 69410
* Lazy deserialization of function bodies for PCH files. For the CarbonDouglas Gregor2009-04-182-6/+16
| | | | | | | | | | "Hello, World!", this takes us from deserializing 6469 statements/expressions down to deserializing 1 statement/expression. It only translated into a 1% improvement on the Carbon-prefixed 403.gcc, but (a) it's the right thing to do, and (b) we expect this to matter more once we lazily deserialize identifiers. llvm-svn: 69407
* FunctionDecl::getBody() is getting an ASTContext argument for use inDouglas Gregor2009-04-1816-28/+50
| | | | | | | | lazy PCH deserialization. Propagate that argument wherever it needs to be. No functionality change, except that I've tightened up a few PCH tests in preparation. llvm-svn: 69406
* Fix two problems from PR3916, and one problem I noticed while hackingChris Lattner2009-04-172-7/+10
| | | | | | on the code. llvm-svn: 69404
* implement PR3940: #line numbers not fully checkedChris Lattner2009-04-171-0/+5
| | | | llvm-svn: 69403
* #line is allowed to have macros that expand to nothing after them.Chris Lattner2009-04-171-7/+13
| | | | llvm-svn: 69401
* Keep track of the number of statements/expressions written to and readDouglas Gregor2009-04-172-2/+19
| | | | | | | from a PCH file. It turns out that "Hello, World!" is bringing in 19% of all of the statements in Carbon.h, so we need to be lazy. llvm-svn: 69393
* fix a crash compiling code with its own definition of objc_assign_weak.Chris Lattner2009-04-171-5/+11
| | | | | | rdar://6800430 llvm-svn: 69392
* tweak redefinition of a typedef a bit to fix a couple of problems:Chris Lattner2009-04-171-15/+12
| | | | | | | | | | | | | | | | | | | | | | | 1. We had logic in sema to decide whether or not to emit the error based on manually checking whether in a system header file. 2. we were allowing redefinitions of typedefs in class scope in C++ if in header file. 3. there was no way to force typedef redefinitions to be accepted by the C compiler, which annoys me when stripping linemarkers out of .i files. The fix is to split the C++ class typedef redefinition path from the C path, and change the C path to be a warning that normally maps to error. This causes it to properly be ignored in system headers, etc. and gives us a way to control it. Passing -Wtypedef-redefinition now turns the error into a warning. One behavior change is that we now diagnose cases where you redefine a typedef in your .c file that was defined in a header file. This seems like reasonable behavior, and the diagnostic now indicates that it can be controlled with -Wtypedef-redefinition. llvm-svn: 69391
* Fix two embarrassing PCH bugs:Douglas Gregor2009-04-171-1/+1
| | | | | | | | | 1) Accidentally used delete [] on an array of statements that was allocated with ASTContext's allocator 2) Deserialization of names with multiple declarations (e.g., a struct and a function) used the wrong mangling constant, causing it to view declaration IDs as Decl*s. 403.gcc builds and links properly. llvm-svn: 69390
* Use PresumedLoc to record line number in debug info entries.Devang Patel2009-04-171-11/+22
| | | | llvm-svn: 69389
* Don't put msgrefs in used globals (in particular, we don't wantDaniel Dunbar2009-04-171-1/+0
| | | | | | no-dead-strip set on them). llvm-svn: 69388
* Appropriately set file name and directory name in debug info compile units.Devang Patel2009-04-172-27/+31
| | | | llvm-svn: 69387
* PCH support for inline assembly statements.Douglas Gregor2009-04-173-3/+95
| | | | | | | This completes support for all of C (+ extensions). We can (again) build a PCH file for Carbon.h. llvm-svn: 69385
* refactor htmldiags to be created up front like the other diag clients.Chris Lattner2009-04-171-15/+8
| | | | llvm-svn: 69379
* PCH tests for va_arg expressions. Verified that the blocks test does create ↵Douglas Gregor2009-04-171-2/+0
| | | | | | a BlockDeclRefExpr llvm-svn: 69376
* fix a crash on invalid by making ActOnDeclarator create decl withChris Lattner2009-04-171-0/+3
| | | | | | | a dummy *function* type when it is recovering and knows it needs a function. rdar://6802350 - clang crash on invalid input llvm-svn: 69374
* PCH support for blocksDouglas Gregor2009-04-172-1/+22
| | | | llvm-svn: 69373
* PCH support for GNU statement expressionsDouglas Gregor2009-04-172-0/+22
| | | | llvm-svn: 69370
* PCH support for indirect gotos and address-of-label expressions.Douglas Gregor2009-04-172-0/+70
| | | | llvm-svn: 69369
* PCH support for labels and goto.Douglas Gregor2009-04-172-1/+95
| | | | llvm-svn: 69364
* fix misspelt attribute.Chris Lattner2009-04-171-2/+2
| | | | llvm-svn: 69362
* Fix rdar://6800926 - crash compiling non-fragile _Bool bitfield ivar,Chris Lattner2009-04-171-5/+5
| | | | | | | the functional change here is changing ConvertType -> ConvertTypeForMem so that we handle i1 fields properly as memory. llvm-svn: 69361
* tidy some code.Chris Lattner2009-04-171-5/+2
| | | | llvm-svn: 69360
OpenPOWER on IntegriCloud