| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix some TableGen-related dependencies for the Clang CMake build | Douglas Gregor | 2009-06-23 | 2 | -2/+2 | 
| | | | | | llvm-svn: 73976 | ||||
| * | Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to ↵ | Ted Kremenek | 2009-06-23 | 6 | -20/+15 | 
| | | | | | | | MemRegion. llvm-svn: 73973 | ||||
| * | API cleanup: move more methods from GRStateManager to GRState. | Ted Kremenek | 2009-06-23 | 3 | -26/+12 | 
| | | | | | llvm-svn: 73968 | ||||
| * | Remove old Xcode project. We can now automatically generate an Xcode ↵ | Ted Kremenek | 2009-06-23 | 1 | -1844/+0 | 
| | | | | | | | project that compiles all of LLVM (not just Clang) using CMake. llvm-svn: 73960 | ||||
| * | Update CMake file. | Ted Kremenek | 2009-06-23 | 1 | -0/+1 | 
| | | | | | llvm-svn: 73958 | ||||
| * | Add a test illustrating our current inability to properly cope with the ↵ | Douglas Gregor | 2009-06-23 | 1 | -0/+32 | 
| | | | | | | | point of instantation of a member function of a class template specialization llvm-svn: 73956 | ||||
| * | New test for when the subexpressions within a typeid are potentially ↵ | Douglas Gregor | 2009-06-23 | 1 | -0/+36 | 
| | | | | | | | evaluated. We seem to be the only ones to get this right. llvm-svn: 73955 | ||||
| * | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu | 2009-06-23 | 13 | -211/+155 | 
| | | | | | llvm-svn: 73954 | ||||
| * | Split ValueManager method definitions into its own source file. | Zhongxing Xu | 2009-06-23 | 3 | -120/+142 | 
| | | | | | | | No functionality change. llvm-svn: 73952 | ||||
| * | ValueManager::makeNonLoc -> ValueManager::makeIntVal | Zhongxing Xu | 2009-06-23 | 4 | -7/+6 | 
| | | | | | | | Clean up code with ValueManager. llvm-svn: 73951 | ||||
| * | If the init list is fewer than the struct fields, bind the rest fields to 0 | Zhongxing Xu | 2009-06-23 | 1 | -11/+16 | 
| | | | | | | | explicitly. Make 0 value with the field type. llvm-svn: 73949 | ||||
| * | Instead of setting the default value of the array region, bind the rest of the | Zhongxing Xu | 2009-06-23 | 3 | -17/+25 | 
| | | | | | | | array elements to 0 explicitly. Create 0 values with the element type. llvm-svn: 73946 | ||||
| * | Fix our check for "random whitespace between a \ and newline" to work | Chris Lattner | 2009-06-23 | 1 | -2/+3 | 
| | | | | | | | | | | | | | | | | with dos style newlines. I have a trivial test for this: // RUN: clang-cc %s -verify #define test(x, y) \ x ## y but I don't know how to get svn to not change newlines and testrunner doesn't work with dos style newlines either, so "not worth it". :) rdar://6994000 llvm-svn: 73945 | ||||
| * | MemRegionManager: Migrate logic for getCodeTextRegion() over to using | Zhongxing Xu | 2009-06-23 | 2 | -30/+17 | 
| | | | | | | | trait-based MemRegion creation. llvm-svn: 73941 | ||||
| * | Remove duplicated methods. | Zhongxing Xu | 2009-06-23 | 3 | -30/+30 | 
| | | | | | llvm-svn: 73940 | ||||
| * | add a fixme. | Zhongxing Xu | 2009-06-23 | 1 | -0/+2 | 
| | | | | | llvm-svn: 73939 | ||||
| * | fix PR4423. | Chris Lattner | 2009-06-23 | 2 | -1/+6 | 
| | | | | | llvm-svn: 73938 | ||||
| * | Check in a new template argument list builder that should work better for ↵ | Anders Carlsson | 2009-06-23 | 4 | -145/+173 | 
| | | | | | | | variadic templates. llvm-svn: 73937 | ||||
| * | switch Warnings.cpp to use the diagnostics machinery to print diagnostics, ↵ | Chris Lattner | 2009-06-23 | 2 | -1/+6 | 
| | | | | | | | | | | | | | | | not *fprintf*! Among other things, this makes the warning about unknown warning options mappable. For example: $ clang t.c -Werror -Wfoo error: unknown warning option '-Wfoo' [-Wunknown-warning-option] For another thing, they are properly color coded now too :) llvm-svn: 73936 | ||||
| * | MemRegions: | Ted Kremenek | 2009-06-23 | 8 | -24/+56 | 
| | | | | | | | | | - Embed a reference to MemRegionManager objects in MemSpaceRegion objects - Use this embedded reference for MemRegion objects to access ASTContext objects without external help - Use this access to ASTContext to simplify 'isBoundable' (no ASTContext& argument required) llvm-svn: 73935 | ||||
| * | __APPLE_CC__ should only be set when building for darwin targets. | Chris Lattner | 2009-06-23 | 2 | -1/+1 | 
| | | | | | llvm-svn: 73934 | ||||
| * | Remove operator '<=' overload for SourceLocation. | Argyrios Kyrtzidis | 2009-06-23 | 1 | -4/+0 | 
| | | | | | llvm-svn: 73933 | ||||
| * | Don't use operator overload '<' for SourceLocation, it has not semantic meaning. | Argyrios Kyrtzidis | 2009-06-23 | 2 | -2/+1 | 
| | | | | | llvm-svn: 73932 | ||||
| * | In SourceManager::createFileID missed setting ContentCache's FirstFID in ↵ | Argyrios Kyrtzidis | 2009-06-23 | 1 | -1/+4 | 
| | | | | | | | another place. llvm-svn: 73931 | ||||
| * | Add a comment. | Argyrios Kyrtzidis | 2009-06-23 | 1 | -1/+2 | 
| | | | | | llvm-svn: 73930 | ||||
| * | MemRegionManager: Migrate logic for getAllocaRegion() over to using ↵ | Ted Kremenek | 2009-06-23 | 2 | -18/+38 | 
| | | | | | | | trait-based MemRegion creation. llvm-svn: 73927 | ||||
| * | MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to use | Ted Kremenek | 2009-06-23 | 1 | -30/+3 | 
| | | | | | | | the new trait-based construction of MemRegion objects. llvm-svn: 73926 | ||||
| * | Some semantic tests for implicit instantiations | Douglas Gregor | 2009-06-22 | 1 | -0/+16 | 
| | | | | | llvm-svn: 73924 | ||||
| * | patch to mark use of implicit copy constructors. | Fariborz Jahanian | 2009-06-22 | 5 | -11/+77 | 
| | | | | | llvm-svn: 73922 | ||||
| * | Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use the | Ted Kremenek | 2009-06-22 | 2 | -34/+30 | 
| | | | | | | | new generalized region-construction code. llvm-svn: 73921 | ||||
| * | Robustify a bunch of C++-related declaration actions. | Douglas Gregor | 2009-06-22 | 2 | -2/+38 | 
| | | | | | llvm-svn: 73918 | ||||
| * | Refactor some of the logic in MemRegionManager for constructing regions using | Ted Kremenek | 2009-06-22 | 2 | -75/+97 | 
| | | | | | | | | | member template functions and traits. The idea is to allow MemRegionManager to construct subclasses of MemRegion that aren't declared in MemRegion.h (e.g., checker-specific regions). llvm-svn: 73917 | ||||
| * | Implement implicit instantiation of the member functions of a class template | Douglas Gregor | 2009-06-22 | 8 | -14/+124 | 
| | | | | | | | | specialization. At present, all implicit instantiations occur at the end of the translation unit. llvm-svn: 73915 | ||||
| * | add a warning group for unavailable decls that mirrors the one for | Chris Lattner | 2009-06-22 | 1 | -1/+2 | 
| | | | | | | | deprecated decls. llvm-svn: 73914 | ||||
| * | Rework the way we track which declarations are "used" during | Douglas Gregor | 2009-06-22 | 13 | -55/+210 | 
| | | | | | | | | | | | | | | | | | | | | | | compilation, and (hopefully) introduce RAII objects for changing the "potentially evaluated" state at all of the necessary places within Sema and Parser. Other changes: - Set the unevaluated/potentially-evaluated context appropriately during template instantiation. - We now recognize three different states while parsing or instantiating expressions: unevaluated, potentially evaluated, and potentially potentially evaluated (for C++'s typeid). - When we're in a potentially potentially-evaluated context, queue up MarkDeclarationReferenced calls in a stack. For C++ typeid expressions that are potentially evaluated, we will play back these MarkDeclarationReferenced calls when we exit the corresponding potentially potentially-evaluated context. - Non-type template arguments are now parsed as constant expressions, so they are not potentially-evaluated. llvm-svn: 73899 | ||||
| * | Changes made per Doug's comments. | Fariborz Jahanian | 2009-06-22 | 2 | -8/+12 | 
| | | | | | llvm-svn: 73897 | ||||
| * | Remove ImplicitMustBeDefined, use universal 'Used' flag | Fariborz Jahanian | 2009-06-22 | 4 | -28/+13 | 
| | | | | | | | instead. Do the implicit default ctor checking in MarkDeclarationReferenced. llvm-svn: 73888 | ||||
| * | Addressing Doug's suggestions: | Argyrios Kyrtzidis | 2009-06-22 | 2 | -1/+8 | 
| | | | | | | | | -Added comment for FunctionDecl::EndRangeLoc -Removed a redundant check from FunctionDecl::setBody llvm-svn: 73886 | ||||
| * | Fixed text of a diagnostics. | Fariborz Jahanian | 2009-06-22 | 2 | -4/+4 | 
| | | | | | llvm-svn: 73885 | ||||
| * | Allow CodeTextRegion to be cast to 'void *'. | Zhongxing Xu | 2009-06-22 | 1 | -1/+3 | 
| | | | | | llvm-svn: 73880 | ||||
| * | Renamed Protocol as TheProtocol so people can use clang header for | Fariborz Jahanian | 2009-06-21 | 2 | -5/+5 | 
| | | | | | | | building obj-c++ clients. "Protocol" is a class name in Cocoa.h llvm-svn: 73854 | ||||
| * | Return UnknownVal for pointer arithmetic on struct fields. | Zhongxing Xu | 2009-06-21 | 2 | -1/+15 | 
| | | | | | llvm-svn: 73851 | ||||
| * | Made improvements in c++'s object model patch on Doug's review. | Fariborz Jahanian | 2009-06-20 | 4 | -71/+72 | 
| | | | | | llvm-svn: 73833 | ||||
| * | Slight modification to column checking inside SourceManager::getLocation(). | Argyrios Kyrtzidis | 2009-06-20 | 1 | -6/+6 | 
| | | | | | llvm-svn: 73826 | ||||
| * | Add the license part to the new source files. | Argyrios Kyrtzidis | 2009-06-20 | 2 | -0/+26 | 
| | | | | | llvm-svn: 73825 | ||||
| * | Introduce SourceManager::getLocation() to get a source location out of a ↵ | Argyrios Kyrtzidis | 2009-06-20 | 2 | -2/+54 | 
| | | | | | | | "file:line:column" triplet. llvm-svn: 73823 | ||||
| * | Serialize FunctionDecl's EndRangeLoc out to the PCH file. | Argyrios Kyrtzidis | 2009-06-20 | 2 | -0/+2 | 
| | | | | | llvm-svn: 73822 | ||||
| * | Introduce Decl::getSourceRange() which, like Stmt::getSourceRange(), ↵ | Argyrios Kyrtzidis | 2009-06-20 | 3 | -5/+41 | 
| | | | | | | | | | | | | represents the range that the declaration covers. Add initial support for NamespaceDecl, VarDecl, and FunctionDecl: -NamespaceDecl range is from name to '}' -VarDecl is from name to possible init expression -FunctionDecl is from name to last parameter name or to end of its function body. llvm-svn: 73821 | ||||
| * | Add operator '<=' for comparing SourceLocations. | Argyrios Kyrtzidis | 2009-06-20 | 1 | -0/+4 | 
| | | | | | llvm-svn: 73820 | ||||
| * | Introduce the ASTUnit class. | Argyrios Kyrtzidis | 2009-06-20 | 2 | -0/+208 | 
| | | | | | | | ASTUnit is a helper class to allow easy loading of an ASTContext from a PCH file. No users for now. llvm-svn: 73819 | ||||

