summaryrefslogtreecommitdiffstats
path: root/clang
Commit message (Collapse)AuthorAgeFilesLines
...
* Prep for new warning.Mike Stump2009-07-211-1/+1
| | | | llvm-svn: 76607
* Prep for new warning.Mike Stump2009-07-211-1/+1
| | | | llvm-svn: 76606
* Prep for new warnings about control flow falling off the ends ofMike Stump2009-07-211-1/+1
| | | | | | | | | functions that return a value. I was going to buffer the whole lot up, but it should be easier to review if I check them in incrementally. Most of the forth coming changes either add a return value, or make it impossible to return, or alter the return type. llvm-svn: 76605
* Update for LLVM API change.Owen Anderson2009-07-213-10/+10
| | | | llvm-svn: 76599
* Consider nested-names as part of the declarator when resolving an ambiguous ↵Argyrios Kyrtzidis2009-07-212-1/+12
| | | | | | statement. llvm-svn: 76583
* Diagnose when a destructor uses a unrelated class type as its name.Fariborz Jahanian2009-07-213-0/+18
| | | | llvm-svn: 76577
* Add the location of the tag keyword into TagDecl. From EneaDouglas Gregor2009-07-219-25/+41
| | | | | | Zaffanella, with tweaks from Abramo Bagnara. llvm-svn: 76576
* Disambiguate an if statement.Duncan Sands2009-07-211-2/+2
| | | | llvm-svn: 76547
* Remove the ASTContext parameter from Entity::getPrintableName().Argyrios Kyrtzidis2009-07-215-9/+21
| | | | llvm-svn: 76546
* Add an assert for safety check.Argyrios Kyrtzidis2009-07-211-0/+1
| | | | llvm-svn: 76539
* Fix a crash that occurs in this C++ case:Argyrios Kyrtzidis2009-07-212-5/+13
| | | | | | | | | struct foo { static bool value; }; bool (foo::value); // crash because of parens llvm-svn: 76538
* Update for LLVM API change.Owen Anderson2009-07-211-3/+3
| | | | llvm-svn: 76534
* Keep only canonical Decls in Entities.Argyrios Kyrtzidis2009-07-212-1/+3
| | | | llvm-svn: 76532
* Wire up CFG improvements for __builtin_choose_expr.Mike Stump2009-07-212-2/+32
| | | | llvm-svn: 76531
* Wire up CFG improvements for do { } while () when the condition is known.Mike Stump2009-07-212-18/+55
| | | | llvm-svn: 76530
* Wire up for statement CFG improvements for conditionals that are known.Mike Stump2009-07-212-10/+55
| | | | llvm-svn: 76529
* Wire up CFG improvements for while when the condition is known.Mike Stump2009-07-212-6/+43
| | | | llvm-svn: 76522
* Remove a file from the test directory that was added by mistake.Argyrios Kyrtzidis2009-07-211-60/+0
| | | | llvm-svn: 76518
* RegionStore:Ted Kremenek2009-07-212-13/+55
| | | | | | | | | | -refactor logic for retrieving bindings from VarDecls into RegionStoreManager::RetrieveVar() - improve RegionStoreManager::CastRetrievedVal() and SimpleSValuate::EvalCastNL to better handle casts of values of the same canonical type as well as casts of LocAsInteger values. llvm-svn: 76516
* Change the semantics for Entity.Argyrios Kyrtzidis2009-07-2115-105/+282
| | | | | | | | | | Entity can now refer to declarations that are not visible outside the translation unit. It is a wrapper of a pointer union, it's either a Decl* for declarations that don't "cross" translation units, or an EntityImpl* which is associated with the specific "visible" Decl. Included is a test case for handling fields across translation units. llvm-svn: 76515
* define __STDC_VERSION__ processor token for c94Ryan Flynn2009-07-211-4/+7
| | | | llvm-svn: 76514
* Use temporary output to avoid running index-test with the same commands ↵Argyrios Kyrtzidis2009-07-217-62/+168
| | | | | | multiple times. llvm-svn: 76513
* Implement the virtual getNextRedeclaration() for ObjCMethodDecl.Argyrios Kyrtzidis2009-07-212-1/+30
| | | | | | | If it's in an ObjCContainerDecl, its "redeclaration" is the method definition in the corresponding ObjCImplDecl. If it's in an ObjCImplDecl, its "redeclaration" is the method in the interface. llvm-svn: 76512
* Add an assertion for the return value of Decl::getNextRedeclaration().Argyrios Kyrtzidis2009-07-211-0/+1
| | | | llvm-svn: 76511
* Remove the ObjCCategoryImpls vector from Sema class.Argyrios Kyrtzidis2009-07-219-74/+41
| | | | | | Use ObjCInterfaceDecl::getCategoryClassMethod() and ObjCInterfaceDecl::getCategoryInstanceMethod() for the same functionality. llvm-svn: 76510
* Remove Sema::LookupObjCImplementation and replace it with just calling ↵Argyrios Kyrtzidis2009-07-216-23/+11
| | | | | | ObjCInterfaceDecl::getImplementation(). llvm-svn: 76509
* - Introduce ASTContext::getObjCImplementation() and ↵Argyrios Kyrtzidis2009-07-217-6/+123
| | | | | | | | | | | | ASTContext::setObjCImplementation() which use a DenseMap to associate an interface/category with its implementation (if one exists). - Introduce ObjCInterfaceDecl::get/setImplementation() and ObjCCategoryDecl::get/setImplementation() that use the above methods. - Add a compiler error for when a category is reimplemented. llvm-svn: 76508
* Handle references from ObjCIvarRefExprs.Argyrios Kyrtzidis2009-07-212-4/+17
| | | | llvm-svn: 76507
* Add '\n' to the end of error message.Argyrios Kyrtzidis2009-07-211-1/+1
| | | | llvm-svn: 76506
* Add yet more analysis for CFGs involving conditionals that are actually ↵Mike Stump2009-07-204-29/+187
| | | | | | constant. llvm-svn: 76500
* Move EmitCtorPrologue to CGCXX. Add an assert and FIXMEs.Fariborz Jahanian2009-07-202-33/+33
| | | | llvm-svn: 76498
* Enhanced IsReinterpreted() (RegionStore.cpp) to reason about higher-orderTed Kremenek2009-07-202-14/+48
| | | | | | | | | | | | | pointers. Enhanced RegionStoreManager::Retrieve() to handle automatic casts when the loaded value is different from the requested value. This should be refined over time, but essentially we should always symbolicate locations as locations, and convert them to non-locations on demand. These changes now cause 'misc-ps.m' to pass again. llvm-svn: 76497
* Improve message for bad destructor decl. Per Doug's comment.Fariborz Jahanian2009-07-202-3/+4
| | | | llvm-svn: 76494
* Early ir-gen for constructor prologue. This is on going.Fariborz Jahanian2009-07-202-0/+37
| | | | llvm-svn: 76493
* Reuse VarDecl::Init to store the default argument of a ParmVarDecl,Douglas Gregor2009-07-203-26/+45
| | | | | | | reducing the size of ParmVarDecl by one pointer. Also means that we'll properly (de-)serialize default arguments in C++ PCH files. llvm-svn: 76487
* This test now passes with RegionStore.Ted Kremenek2009-07-201-5/+3
| | | | llvm-svn: 76484
* Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs toTed Kremenek2009-07-201-1/+18
| | | | | | locs and vis versa. llvm-svn: 76483
* Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts.Ted Kremenek2009-07-201-3/+8
| | | | llvm-svn: 76481
* Remove an apparently unused forward class decl.Mike Stump2009-07-201-1/+0
| | | | llvm-svn: 76476
* Remove an apparently unused header.Mike Stump2009-07-201-1/+0
| | | | llvm-svn: 76473
* Add XFAILED test.Ted Kremenek2009-07-201-0/+20
| | | | llvm-svn: 76469
* Add FIXME.Ted Kremenek2009-07-201-0/+5
| | | | llvm-svn: 76466
* When a field is variable-sized or is an array with a negative size,Douglas Gregor2009-07-201-1/+0
| | | | | | don't replace the type of the field with 'int', from Enea Zaffanella! llvm-svn: 76454
* Update DataflowSolver to handle the case where a successor/predecessor blockTed Kremenek2009-07-201-5/+12
| | | | | | | could be NULL. This allows the solver to handle optimized CFGs where branches can be determined during CFG-construction to be infeasible. llvm-svn: 76452
* Improve GCC compatibility by allowing static tentative definitions ofDouglas Gregor2009-07-204-19/+25
| | | | | | incomplete type (with a warning), from Enea Zaffanella! llvm-svn: 76451
* Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek2009-07-203-14/+38
| | | | | | | | where the true or false CFGBlock* for a branch could be NULL. This will handle the case where we can determine during CFG construction that a branch is infeasible. llvm-svn: 76450
* 5 cleanups to ObjCObjectPointerType work:Steve Naroff2009-07-205-68/+35
| | | | | | | | | | - Remove Sema::CheckPointeeTypesForAssignment(), a temporary API I added to ease migration to ObjCObjectPointerType. Convert Sema::CheckAssignmentConstraints() to no longer depend on the temporary API. - Sema::ConvertDeclSpecToType(): Replace a couple FIXME's with an important comment/example. - Sema::GetTypeForDeclarator(): Get the protocol's from the interface, NOT the declspec (to support the following C typedef idiom: "typedef C<P> T; T *obj"). - Sema::ObjCQualifiedIdTypesAreCompatible(): Removed some dead code. - ASTContext::getObjCEncodingForTypeImpl(): Some minor cleanups. llvm-svn: 76443
* Issue a more descriptive diagnostics when mis-declaringFariborz Jahanian2009-07-205-7/+12
| | | | | | a destructor. llvm-svn: 76436
* The children statements might be NULL. Check for this case in Zhongxing Xu2009-07-201-2/+3
| | | | | | isContainedInStatement(). llvm-svn: 76408
* Implement FIXME in pretty-printing for StringRegions.Ted Kremenek2009-07-191-3/+2
| | | | llvm-svn: 76381
OpenPOWER on IntegriCloud