| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> ↵ | Argyrios Kyrtzidis | 2010-12-22 | 1 | -62/+0 |
| | | | | | | | libclangGRCore llvm-svn: 122421 | ||||
| * | [analyzer] Refactoring: include/clang/Checker -> include/clang/GR | Argyrios Kyrtzidis | 2010-12-22 | 1 | -1/+1 |
| | | | | | llvm-svn: 122420 | ||||
| * | Start migration of static analyzer to using the | Ted Kremenek | 2010-12-16 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | implicit lvalue-to-rvalue casts that John McCall recently introduced. This causes a whole bunch of logic in the analyzer for handling lvalues to vanish. It does, however, raise a few issues in the analyzer w.r.t to modeling various constructs (e.g., field accesses to compound literals). The .c/.m analysis test cases that fail are due to a missing lvalue-to-rvalue cast that will get introduced into the AST. The .cpp failures were more than I could investigate in one go, and the patch was already getting huge. I have XFAILED some of these tests, and they should obviously be further investigated. Some highlights of this patch include: - CFG no longer requires an lvalue bit for CFGElements - StackFrameContext doesn't need an 'asLValue' flag - The "VisitLValue" path from GRExprEngine has been eliminated. Besides the test case failures (XFAILed), there are surely other bugs that are fallout from this change. llvm-svn: 121960 | ||||
| * | Let StackFrameContext represent if the call expr is evaluated as lvalue. | Zhongxing Xu | 2010-11-24 | 1 | -1/+1 |
| | | | | | | | This is required for supporting const reference to temporary objects. llvm-svn: 120093 | ||||
| * | Now initializer of C++ record type is visited as block-level expr. | Zhongxing Xu | 2010-11-01 | 1 | -6/+6 |
| | | | | | | | | Let the destination of AggExprVisitor be an explicit MemRegion. Reenable the test case. llvm-svn: 117908 | ||||
| * | Add comments. | Zhongxing Xu | 2010-08-29 | 1 | -0/+7 |
| | | | | | llvm-svn: 112414 | ||||
| * | GCC didn't care for my attempt at API compatibility, so brute-force everything | John McCall | 2010-08-25 | 1 | -2/+2 |
| | | | | | | | to the new constants. llvm-svn: 112047 | ||||
| * | Improve C++ constructor handling. | Zhongxing Xu | 2010-04-01 | 1 | -0/+1 |
| | | | | | llvm-svn: 100080 | ||||
| * | Add a AggExprVisitor class. It contains lots of boiler | Zhongxing Xu | 2010-03-23 | 1 | -0/+54 |
| plate code for evaluating expressions of C++ class type. llvm-svn: 99267 | |||||
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|