Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Remove loc::StringLiteralVal. Now we allocate regions for string literals in ↵ | Zhongxing Xu | 2008-10-26 | 5 | -28/+0 | |
| | | | | | | the Store. llvm-svn: 58182 | |||||
* | Simplify ArrayToPointer conversion. Actually the only thing we need to do is ↵ | Zhongxing Xu | 2008-10-26 | 1 | -29/+5 | |
| | | | | | | to get the first element region. It is not necessary to care about the kind of the base array region. llvm-svn: 58181 | |||||
* | CMake: Builds and installs clang binary and libs (no docs yet). It | Oscar Fuentes | 2008-10-26 | 11 | -0/+205 | |
| | | | | | | must be under the `tools' subdirectory of the LLVM *source* tree. llvm-svn: 58180 | |||||
* | Do not crash when performing VisitLValue on union types. | Ted Kremenek | 2008-10-25 | 1 | -3/+4 | |
| | | | | | | This fixes PR 2948. llvm-svn: 58148 | |||||
* | Add a note file for SCA module. Is it the right place? | Zhongxing Xu | 2008-10-25 | 1 | -0/+14 | |
| | | | | llvm-svn: 58140 | |||||
* | Add code for get the lvalue for string literals. Now we return a StringRegion | Zhongxing Xu | 2008-10-25 | 4 | -10/+33 | |
| | | | | | | | for StringLiteral lvalue evaluation, instead of directly returning a loc::StringLiteralVal by the Environment. llvm-svn: 58138 | |||||
* | Add StringRegion to MemRegions. | Zhongxing Xu | 2008-10-25 | 1 | -0/+27 | |
| | | | | llvm-svn: 58137 | |||||
* | Now we can handle arrays. | Zhongxing Xu | 2008-10-25 | 1 | -5/+0 | |
| | | | | llvm-svn: 58135 | |||||
* | Add a quote from the standard about the type of 'this'. | Argyrios Kyrtzidis | 2008-10-24 | 1 | -0/+6 | |
| | | | | llvm-svn: 58124 | |||||
* | -Add support for cv-qualifiers after function declarators. | Argyrios Kyrtzidis | 2008-10-24 | 8 | -23/+76 | |
| | | | | | | -Add withConst/withVolatile/withRestrict methods to QualType class, that return the QualType plus the respective qualifier. llvm-svn: 58120 | |||||
* | Use "followsFundamentalRule" to determine if an instance method allocates ↵ | Ted Kremenek | 2008-10-24 | 1 | -8/+9 | |
| | | | | | | memory. llvm-svn: 58114 | |||||
* | followsFundamentalRule() returns true if "alloc" or "new" appear at the ↵ | Ted Kremenek | 2008-10-24 | 1 | -16/+22 | |
| | | | | | | beginning of the string, not anywhere within it. llvm-svn: 58112 | |||||
* | Expand bubble size by 50%. | Ted Kremenek | 2008-10-24 | 1 | -1/+1 | |
| | | | | llvm-svn: 58111 | |||||
* | Implicit conversions from arrays can also be conversions to references (will ↵ | Ted Kremenek | 2008-10-24 | 1 | -1/+1 | |
| | | | | | | add a test case shortly). llvm-svn: 58110 | |||||
* | Issue warnings about owned objects returned from a method that does not ↵ | Ted Kremenek | 2008-10-24 | 1 | -54/+74 | |
| | | | | | | match the established Cocoa naming conventions. llvm-svn: 58108 | |||||
* | Added method "getSelfRegion" to Store. This method returns the region ↵ | Ted Kremenek | 2008-10-24 | 4 | -23/+51 | |
| | | | | | | associated with the "this" or "self" object (C++ and Objective-C respectively). llvm-svn: 58107 | |||||
* | Added region ObjCObjectRegion that represents an instance of an Objective-C ↵ | Ted Kremenek | 2008-10-24 | 1 | -0/+21 | |
| | | | | | | object. llvm-svn: 58106 | |||||
* | Move viewInheritance to CXXRecordDecl, and make sure it builds in Release ↵ | Douglas Gregor | 2008-10-24 | 1 | -14/+4 | |
| | | | | | | mode, too llvm-svn: 58105 | |||||
* | PR2942: FunctionDecls by typedef crash the C++ front-end | Douglas Gregor | 2008-10-24 | 1 | -1/+30 | |
| | | | | llvm-svn: 58100 | |||||
* | Some cleanups for the ambiguous derived-to-base conversion checks | Douglas Gregor | 2008-10-24 | 4 | -50/+49 | |
| | | | | llvm-svn: 58096 | |||||
* | Semantic analysis for C++ reinterpret_cast and const_cast. Patch by ↵ | Douglas Gregor | 2008-10-24 | 5 | -8/+351 | |
| | | | | | | Sebastian Redl. llvm-svn: 58094 | |||||
* | The Decl of an array region can be VarDecl or FieldDecl. Handle this in ↵ | Zhongxing Xu | 2008-10-24 | 1 | -2/+10 | |
| | | | | | | RegionStoreManager::ArrayToPointer(). llvm-svn: 58086 | |||||
* | Implement struct initialization. Make it into a recursive function. Also make | Zhongxing Xu | 2008-10-24 | 1 | -24/+63 | |
| | | | | | | the array initialization code into a function. llvm-svn: 58083 | |||||
* | Don't crash on invalid source locations in | Daniel Dunbar | 2008-10-24 | 1 | -3/+6 | |
| | | | | | | CGDebugInfo::getOrCreateCompileUnit. llvm-svn: 58081 | |||||
* | PR2919: __builtin_types_compatible_p strips CRV qualifiers. | Daniel Dunbar | 2008-10-24 | 2 | -2/+14 | |
| | | | | llvm-svn: 58079 | |||||
* | Add printing method to ElementRegion. | Zhongxing Xu | 2008-10-24 | 1 | -0/+5 | |
| | | | | llvm-svn: 58077 | |||||
* | Add printing method to RegionStoreManager. | Zhongxing Xu | 2008-10-24 | 1 | -3/+11 | |
| | | | | llvm-svn: 58074 | |||||
* | Add printing with llvm::raw_ostream methods to SVals. | Zhongxing Xu | 2008-10-24 | 1 | -0/+131 | |
| | | | | llvm-svn: 58073 | |||||
* | First non-embarrassing cut at checking for ambiguous derived-to-base | Douglas Gregor | 2008-10-24 | 7 | -18/+465 | |
| | | | | | | | | | | conversions. Added PerformImplicitConversion, which follows an implicit conversion sequence computed by TryCopyInitialization and actually performs the implicit conversions, including the extra check for ambiguity mentioned above. llvm-svn: 58071 | |||||
* | Fix 80-col violation. | Zhongxing Xu | 2008-10-24 | 2 | -4/+6 | |
| | | | | llvm-svn: 58070 | |||||
* | Add a bunch of dummy methods to make RegionStoreManager non-virtual. | Zhongxing Xu | 2008-10-24 | 1 | -3/+29 | |
| | | | | llvm-svn: 58061 | |||||
* | Added getLValueElement() to RegionStore. Only handle constant array for now. | Zhongxing Xu | 2008-10-24 | 1 | -0/+54 | |
| | | | | llvm-svn: 58058 | |||||
* | Make the analyzer store (memory model) a command line option. | Ted Kremenek | 2008-10-24 | 2 | -2/+8 | |
| | | | | llvm-svn: 58056 | |||||
* | Map compilation units using FileEntry pointers instead of | Daniel Dunbar | 2008-10-24 | 2 | -11/+8 | |
| | | | | | | | | | FileIDs. This seems better conceptually and lets the SourceManager handle details of mapping the location to a file ID. - In practice, fixes an assert because this code wasn't using getPhysicalLoc. llvm-svn: 58055 | |||||
* | Use llvm::errs() instead of cerr. | Ted Kremenek | 2008-10-23 | 1 | -5/+5 | |
| | | | | llvm-svn: 58054 | |||||
* | Convert InheritanceHierarchyWriter to use llvm::raw_ostream instead of ↵ | Ted Kremenek | 2008-10-23 | 1 | -11/+10 | |
| | | | | | | std::ostream. llvm-svn: 58053 | |||||
* | Fix regression in comparison of qualified id; == operator was being | Daniel Dunbar | 2008-10-23 | 1 | -1/+3 | |
| | | | | | | created with LHS and RHS whose types didn't match. llvm-svn: 58049 | |||||
* | Clean up and document the representation of C++ base classes | Douglas Gregor | 2008-10-23 | 4 | -30/+40 | |
| | | | | llvm-svn: 58040 | |||||
* | Add an assertion to make our intention more clear. | Zhongxing Xu | 2008-10-23 | 1 | -0/+2 | |
| | | | | llvm-svn: 58030 | |||||
* | If NDEBUG is set, don't include any of the code for visualizing inheritance ↵ | Douglas Gregor | 2008-10-23 | 1 | -0/+2 | |
| | | | | | | hierarchies llvm-svn: 58029 | |||||
* | Let StoreManager do different cast on arrays. BasicStore will just keep it ↵ | Zhongxing Xu | 2008-10-23 | 2 | -2/+10 | |
| | | | | | | intact. llvm-svn: 58028 | |||||
* | Disable warning about potential leaks of returned values until we test it a ↵ | Ted Kremenek | 2008-10-23 | 1 | -3/+33 | |
| | | | | | | little more (lots of noise). llvm-svn: 58021 | |||||
* | Add support for conversions from a pointer-to-derived to a | Douglas Gregor | 2008-10-23 | 4 | -19/+214 | |
| | | | | | | | | | | | | pointer-to-base. Also, add overload ranking for pointer conversions (for both pointer-to-void and derived-to-base pointer conversions). Note that we do not yet diagnose derived-to-base pointer conversion errors that stem from ambiguous or inacessible base classes. These aren't handled during overload resolution; rather, when the conversion is actually used we go ahead and diagnose the error. llvm-svn: 58017 | |||||
* | Warn about potentially leaked objects that are returned from methods whose ↵ | Ted Kremenek | 2008-10-22 | 1 | -16/+64 | |
| | | | | | | names do not follow the Cocoa Memory Management guidelines. llvm-svn: 58012 | |||||
* | Restrict creation of OverloadedFunctionDecl only to C++ (it was getting used ↵ | Argyrios Kyrtzidis | 2008-10-22 | 1 | -1/+2 | |
| | | | | | | for invalid redeclarations on C). llvm-svn: 58008 | |||||
* | Fix <rdar://problem/6311947> clang on xcode (regression): error: use of ↵ | Steve Naroff | 2008-10-22 | 1 | -2/+2 | |
| | | | | | | | | undeclared identifier 'expandedValue'. Mea culpa: I introduced this regresson in the following 2 commits: r57529 (10/14), r57841 (10/20). llvm-svn: 58007 | |||||
* | Remove the GraphWriter-based version of the C++ class inheritance ↵ | Douglas Gregor | 2008-10-22 | 1 | -89/+1 | |
| | | | | | | visualization, since it isn't being used and can't handle virtual bases properly llvm-svn: 58002 | |||||
* | Added GraphViz visualization of C++ inheritance hierarchies. | Douglas Gregor | 2008-10-22 | 2 | -9/+266 | |
| | | | | | | | Factored the QualTypeOrdering predicate into its own header (TypeOrdering.h), now that it is used in two places. llvm-svn: 58001 | |||||
* | Now that DeclRefExpr accepts a NamedDecl, use a DeclRefExpr for when a ↵ | Argyrios Kyrtzidis | 2008-10-22 | 2 | -5/+2 | |
| | | | | | | CXXFieldDecl is referenced inside a method. llvm-svn: 58000 | |||||
* | Enhance reference-count checker to correctly identify CG "release" ↵ | Ted Kremenek | 2008-10-22 | 1 | -5/+13 | |
| | | | | | | functions. This fixes <rdar://problem/6303488>. llvm-svn: 57997 |