summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
* Mangle CXXOperatorCallExprs, fixes PR5796.Anders Carlsson2009-12-162-0/+26
| | | | llvm-svn: 91507
* Expose C++ methods to GRExprEngine.Zhongxing Xu2009-12-161-0/+14
| | | | llvm-svn: 91506
* Add logic for computing preprocessor file extensions for C++ files.Ted Kremenek2009-12-161-0/+2
| | | | llvm-svn: 91505
* Make GRSubEngine.h standaloneDouglas Gregor2009-12-161-0/+1
| | | | llvm-svn: 91504
* Fix semantic diagnostics that embed English works, from Nicola Gigante!Douglas Gregor2009-12-1610-86/+110
| | | | llvm-svn: 91503
* Refine a little. WIP.Mike Stump2009-12-161-3/+3
| | | | llvm-svn: 91502
* Add (initial?) static analyzer support for handling C++ references.Ted Kremenek2009-12-1613-141/+303
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This change was a lot bigger than I originally anticipated; among other things it requires us storing more information in the CFG to record what block-level expressions need to be evaluated as lvalues. The big change is that CFGBlocks no longer contain Stmt*'s by CFGElements. Currently CFGElements just wrap Stmt*, but they also store a bit indicating whether the block-level expression should be evalauted as an lvalue. DeclStmts involving the initialization of a reference require us treating the initialization expression as an lvalue, even though that information isn't recorded in the AST. Conceptually this change isn't that complicated, but it required bubbling up the data through the CFGBuilder, to GRCoreEngine, and eventually to GRExprEngine. The addition of CFGElement is also useful for when we want to handle more control-flow constructs or other data we want to keep in the CFG that isn't represented well with just a block of statements. In GRExprEngine, this patch introduces logic for evaluating the lvalues of references, which currently retrieves the internal "pointer value" that the reference represents. EvalLoad does a two stage load to catch null dereferences involving an invalid reference (although this could possibly be caught earlier during the initialization of a reference). Symbols are currently symbolicated using the reference type, instead of a pointer type, and special handling is required creating ElementRegions that layer on SymbolicRegions (see the changes to RegionStoreManager). Along the way, the DeadStoresChecker also silences warnings involving dead stores to references. This was the original change I introduced (which I wrote test cases for) that I realized caused GRExprEngine to crash. llvm-svn: 91501
* Add some documentation for recent checkins. WIP.Mike Stump2009-12-161-0/+4
| | | | llvm-svn: 91500
* Add an addition check for undefined behavior for when we hit aMike Stump2009-12-161-0/+2
| | | | | | __builtin_unreachable. WIP. llvm-svn: 91499
* Implement additional undefined checks for additional loads and stores. WIP.Mike Stump2009-12-163-4/+49
| | | | llvm-svn: 91498
* Check in a rudimentary FullExpr class that isn't used anywhere yet. Rename ↵Anders Carlsson2009-12-1611-16/+136
| | | | | | Action::FullExpr to Action::MakeFullExpr to avoid name clashes. llvm-svn: 91494
* Successive anonymous namespaces name the same scope. I misinterpreted theJohn McCall2009-12-163-16/+77
| | | | | | standard the last time. Fixes PR5766. llvm-svn: 91493
* Switch the C++ new expression over to InitializationSequence, ratherDouglas Gregor2009-12-1614-126/+254
| | | | | | | | | | | | | | | | | | | | | than using its own partial implementation of initialization. Switched CheckInitializerTypes over to InitializedEntity/InitializationKind, to help move us closer to InitializationSequence. Added InitializedEntity::getName() to retrieve the name of the entity, for diagnostics that care about such things. Implemented support for default initialization in InitializationSequence. Clean up the determination of the "source expressions" for an initialization sequence in InitializationSequence::Perform. Taught CXXConstructExpr to store more location information. llvm-svn: 91492
* Diagnose attempting to assign to a sub-structure of an ivarFariborz Jahanian2009-12-155-6/+43
| | | | | | using objective-c property. (fixes radar 7449707) llvm-svn: 91474
* Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra ↵Ted Kremenek2009-12-152-14/+6
| | | | | | veneer on top of getRegionValueSymbolVal(). llvm-svn: 91471
* Link up member-class redeclarations during template instantiation.John McCall2009-12-152-0/+20
| | | | | | This test courtesy of LLVM. llvm-svn: 91462
* Update tests to use %clang instead of 'clang', and forcibly disable use of 'Daniel Dunbar2009-12-1577-174/+183
| | | | | | | clang ' or ' clang -cc1 ' or ' clang-cc ' in test lines (by substituting them to garbage). llvm-svn: 91460
* Fixes a code gen bug related to accessing a nowFariborz Jahanian2009-12-153-1/+13
| | | | | | | | | non-existing 'isa' field of a non-existing struct type all related to legacy type definition for 'id' which we have dropped in clang in favor of a built-in type. (fixes radar 7470820). llvm-svn: 91455
* ShouldDestroyTemporaries? I don't think so.Anders Carlsson2009-12-1511-53/+22
| | | | llvm-svn: 91450
* enable reuse of MacroArgs objects. This is a small (2.5%) win Chris Lattner2009-12-151-10/+32
| | | | | | | | | | on PR5610 (2.185 -> 2.130s). The big issue is that this is making insanely huge macro argument lists with over a million tokens in it. The reason that mallco and free are so expensive is that we are actually going to the kernel to get it, and switching to a bump pointer allocator won't change this in an interesting way. llvm-svn: 91449
* Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.Daniel Dunbar2009-12-151814-2250/+2251
| | | | | | | | | - This is designed to make it obvious that %clang_cc1 is a "test variable" which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it can be useful to redefine what gets run as 'clang -cc1' (for example, to set a default target). llvm-svn: 91446
* If a ParmVarDecl's default argument is a CXXExprWithTemporaries, return the ↵Anders Carlsson2009-12-153-27/+41
| | | | | | underlying expr instead. Add getNumDefaultArgTemporaries and getDefaultArgTemporary which returns the temporaries a default arg creates. llvm-svn: 91439
* Support OpenCL 1.1 odd-length vector component accessors.Nate Begeman2009-12-153-13/+6
| | | | | | | For hi/odd of an odd-length vector, the last component is undefined. Since we shuffle with an undef vector, no CodeGen needs to change to support this. llvm-svn: 91437
* Add testcase for recent checkin.Mike Stump2009-12-151-1/+6
| | | | | | Patch by Chip Davis. llvm-svn: 91436
* Implement conditional block invocation rewriteFariborz Jahanian2009-12-152-12/+108
| | | | | | and some clean up and a block rewriter test. llvm-svn: 91435
* Fix some diagnostic-related FIXMEs, from Nicola GiganteDouglas Gregor2009-12-154-18/+11
| | | | llvm-svn: 91433
* Elaborated types are specifier types, based on a patch from CorneliusDouglas Gregor2009-12-151-0/+1
| | | | llvm-svn: 91431
* Add comments.Zhongxing Xu2009-12-151-1/+2
| | | | llvm-svn: 91430
* Remove displayProgress parameter.Zhongxing Xu2009-12-152-3/+1
| | | | llvm-svn: 91429
* move isPodLike<clang::QualType> out to Type.h. We don'tChris Lattner2009-12-152-5/+6
| | | | | | | want some clients of QualType to think it's a pod and some to not know it is. llvm-svn: 91424
* update to match LLVM API change:Chris Lattner2009-12-1511-40/+36
| | | | | | | | | Remove isPod() from DenseMapInfo, splitting it out to its own isPodLike type trait. This is a generally useful type trait for more than just DenseMap, and we really care about whether something acts like a pod, not whether it really is a pod. llvm-svn: 91422
* Add -W[no-]variadic-macros support.Daniel Dunbar2009-12-152-2/+4
| | | | llvm-svn: 91415
* Forward -isysroot to clang -cc1.Daniel Dunbar2009-12-151-1/+1
| | | | llvm-svn: 91414
* Fix a COVTCTII (crash-on-valid-that-clang-thinks-is-invalid, duh),Daniel Dunbar2009-12-151-1/+1
| | | | | | | note_previous_decl was used where note_previous_declaration was intended. Better names or PR5785 might be nice. llvm-svn: 91413
* Until we can make the dead stores checker smarter, dont' emit dead store ↵Ted Kremenek2009-12-152-0/+24
| | | | | | warnings for C++ objects (whose constructors/destructors have possible side-effects). llvm-svn: 91412
* Fix a small bug in ComputeMethodVtableIndices.Eli Friedman2009-12-152-2/+18
| | | | llvm-svn: 91411
* Really fix this test.Eli Friedman2009-12-151-2/+2
| | | | llvm-svn: 91409
* This patch should fix PR2461. It allows clang to apply the noreturnMike Stump2009-12-152-6/+6
| | | | | | | | | attribute to function pointers. It also fixes Sema to check function pointers for the noreturn attribute when checking for fallthrough. Patch by Chip Davis, with a slight fix to pass the testsuite. llvm-svn: 91408
* scan-build/ccc-analyzer: start analyzing C++ FTW.Ted Kremenek2009-12-152-30/+67
| | | | llvm-svn: 91398
* Fix test broken by my last commit.Eli Friedman2009-12-151-2/+0
| | | | llvm-svn: 91396
* Diagnose the use of typedefs for template specialization types in the scopeJohn McCall2009-12-153-1/+35
| | | | | | | | specifiers for out-of-line declarations, e.g. typedef Temp<int> MyTemp; template <> MyTemp::foo; llvm-svn: 91395
* Don't force the emission of destructor definitions.Eli Friedman2009-12-151-3/+3
| | | | llvm-svn: 91394
* set up the machinery for a MacroArgs cache hanging off Preprocessor.Chris Lattner2009-12-154-4/+37
| | | | | | | | | We creating and free thousands of MacroArgs objects (and the related std::vectors hanging off them) for the testcase in PR5610 even though there are only ~20 live at a time. This doesn't actually use the cache yet. llvm-svn: 91391
* Start the ball rolling on C++ support in the static analyzer. ForTed Kremenek2009-12-152-0/+37
| | | | | | | | now, don't construct CFGs that contain C++ try/catch statements, and have GRExprEngine abort a path if it encounters a C++ construct it doesn't understand (which is mostly everything at this point). llvm-svn: 91389
* Fix spacing.Mike Stump2009-12-151-1/+1
| | | | llvm-svn: 91386
* Driver: Pass -resource-dir to clang -cc1, since the driver presumably ↵Daniel Dunbar2009-12-151-1/+11
| | | | | | already found itself. llvm-svn: 91384
* Ensure we preserve line information for each trap forMike Stump2009-12-151-1/+9
| | | | | | -fcatch-undefined-behavior if we aren't optimizing. WIP. llvm-svn: 91382
* Switch codegen for -fcatch-undefined-bahavior over to __builtin_trapMike Stump2009-12-154-26/+20
| | | | | | instead of abort to improve codesize and codegen. llvm-svn: 91374
* Update checker build.Ted Kremenek2009-12-151-1/+1
| | | | llvm-svn: 91373
* Add -resource-dir to clang -cc1, this allows the base directory for compilerDaniel Dunbar2009-12-158-26/+23
| | | | | | | resources (e.g., /usr/lib/clang/1.1) to be passed on the command line instead of computed. llvm-svn: 91370
OpenPOWER on IntegriCloud