Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Makes GRState::makeWithStore private, to encourage clients to make store ↵ | Jordy Rose | 2010-08-03 | 1 | -4/+1 |
| | | | | | | | | changes through GRState instead of directly accessing the StoreManager. Also adds cover methods for InvalidateRegion(s) and EnterStackFrame to GRState. This is in preparation for proposed region change notifications. No functionality change. llvm-svn: 110137 | ||||
* | Constify all references to Stmt* and CFGBlock* in libChecker. | Zhongxing Xu | 2010-07-20 | 1 | -13/+9 |
| | | | | llvm-svn: 108811 | ||||
* | Reapply r108617. | Zhongxing Xu | 2010-07-19 | 1 | -2/+2 |
| | | | | llvm-svn: 108668 | ||||
* | Revert r108617, it broke the build. | Benjamin Kramer | 2010-07-17 | 1 | -2/+2 |
| | | | | llvm-svn: 108621 | ||||
* | Prepare the analyzer for the callee in another translation unit: | Zhongxing Xu | 2010-07-17 | 1 | -2/+2 |
| | | | | | | | Let AnalysisContext contain a TranslationUnit. Let CallEnter refer to an AnalysisContext instead of a FunctionDecl. llvm-svn: 108617 | ||||
* | Make -analyzer-inline-call not a separate analysis. Instead it's a boolean | Zhongxing Xu | 2010-05-06 | 1 | -2/+2 |
| | | | | | | | flag now, and can be used with other analyses. Only turned it on for C++ methods for now. llvm-svn: 103160 | ||||
* | Use the right predecessor. | Zhongxing Xu | 2010-04-21 | 1 | -1/+1 |
| | | | | llvm-svn: 101981 | ||||
* | Add initial support for C++ delete expr. | Zhongxing Xu | 2010-04-21 | 1 | -1/+12 |
| | | | | llvm-svn: 101980 | ||||
* | Replace code with a method call. No functionality change. | Zhongxing Xu | 2010-04-20 | 1 | -65/+8 |
| | | | | llvm-svn: 101876 | ||||
* | Improve handling of CXXNewExpr. | Zhongxing Xu | 2010-04-20 | 1 | -7/+62 |
| | | | | llvm-svn: 101862 | ||||
* | Move all C++ expression evaluation logic into its own file. | Zhongxing Xu | 2010-04-19 | 1 | -0/+237 |
llvm-svn: 101772 |