summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/reference.cpp
Commit message (Collapse)AuthorAgeFilesLines
* [analyzer] rename all experimental checker packages to have 'experimental' ↵Ted Kremenek2011-08-031-1/+1
| | | | | | be the common root package. llvm-svn: 136835
* [analyzer] fix handling of MaterializeTemporaryExpr by binding the result ↵Ted Kremenek2011-07-281-0/+1
| | | | | | | | value to the proper expression. llvm-svn: 136412
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best ↵Argyrios Kyrtzidis2011-02-281-1/+1
| | | | | | misnomer award. llvm-svn: 126676
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't ↵Argyrios Kyrtzidis2011-02-241-1/+1
| | | | | | have any checkers associated with it anymore. llvm-svn: 126440
* If the initializer is an rvalue and the variable is a const reference,Zhongxing Xu2010-12-191-1/+1
| | | | | | create a temporary object for it. llvm-svn: 122161
* Start migration of static analyzer to using theTed Kremenek2010-12-161-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* Assignments to reference variables shouldn't kill the variable.Jordy Rose2010-06-041-0/+30
| | | | llvm-svn: 105452
* CFG: add all LHS of assingments as lvalue. This improves support for C++ ↵Zhongxing Xu2010-06-031-0/+15
| | | | | | reference. Patch by Jordy. llvm-svn: 105383
* Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.Ted Kremenek2010-02-051-1/+1
| | | | llvm-svn: 95348
* Enhance test case.Zhongxing Xu2010-01-101-0/+5
| | | | llvm-svn: 93101
* When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu2010-01-091-0/+6
CXXObjectRegion to represent it. In Environment, lookup a literal expression before make up a value for it. llvm-svn: 93047
OpenPOWER on IntegriCloud