bcm5719-llvm/clang/lib/Checker/BugReporterVisitors.cpp, branch meklort-10.0.1 Project Ortega BCM5719 LLVM https://git.raptorcs.com/git/bcm5719-llvm/atom?h=meklort-10.0.1 2010-12-22T18:52:29+00:00 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore 2010-12-22T18:52:29+00:00 Argyrios Kyrtzidis akyrtzi@gmail.com 2010-12-22T18:52:29+00:00 urn:sha1:2ff5ab1516e48c2fff0138f953d887b5e695214b llvm-svn: 122421 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR 2010-12-22T18:51:49+00:00 Argyrios Kyrtzidis akyrtzi@gmail.com 2010-12-22T18:51:49+00:00 urn:sha1:8d602a8aa8e6697509465d8a5473fc41cb1a382e llvm-svn: 122420 Start migration of static analyzer to using the 2010-12-16T07:46:53+00:00 Ted Kremenek kremenek@apple.com 2010-12-16T07:46:53+00:00 urn:sha1:8219b821259e6b3d6980d87760db589b54996579 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 Rename all 'AssumeXXX' methods in libChecker 2010-12-01T22:16:56+00:00 Ted Kremenek kremenek@apple.com 2010-12-01T22:16:56+00:00 urn:sha1:c5bea1e337fb36e022a89ccdbdd655b90d8f8cb5 to 'assumeXXX'. llvm-svn: 120614 Reapply 112850 and 112839 with a constructor for the BinaryOperatorData struct. Clang would zero out the enum and pointer in the struct in some conditions, but GCC would never zero out the values. 2010-09-02T23:30:22+00:00 Tom Care tom.care@uqconnect.edu.au 2010-09-02T23:30:22+00:00 urn:sha1:796ed50433edacfab1041c8da2b2c2bff676f8ee llvm-svn: 112909 Reverting 112850 and 112839 due to test failures on some systems 2010-09-02T20:58:38+00:00 Tom Care tom.care@uqconnect.edu.au 2010-09-02T20:58:38+00:00 urn:sha1:9fbfeea05b9f8cce606575f9a4fee01ee248cc44 llvm-svn: 112857 Improved error reporting in IdempotentOperationChecker 2010-09-02T17:49:20+00:00 Tom Care tom.care@uqconnect.edu.au 2010-09-02T17:49:20+00:00 urn:sha1:1ce2faca0552fac5ffc039487ca376d412d5468b - SourceRange highlighting is only given for the relevant side of the operator (assignments give both) - Added PostVisitBinaryOperator hook to retrieve the ExplodedNode for an operator - Added a BugReporterVisitor to display the last store to every VarDecl in a Stmt - Changed bug reporting to use the new BugReporterVisitor llvm-svn: 112839 GCC didn't care for my attempt at API compatibility, so brute-force everything 2010-08-25T11:45:40+00:00 John McCall rjmccall@apple.com 2010-08-25T11:45:40+00:00 urn:sha1:e302792b6155bb195f88610a1ebde38343cf402e to the new constants. llvm-svn: 112047 MemRegion can refer to ASTContext without external help. 2010-08-11T06:10:55+00:00 Zhongxing Xu xuzhongxing@gmail.com 2010-08-11T06:10:55+00:00 urn:sha1:8de0a3d8c3cf4f6491412f44e3ed3061b3208dcb llvm-svn: 110784 Constify all references to Stmt* and CFGBlock* in libChecker. 2010-07-20T06:22:24+00:00 Zhongxing Xu xuzhongxing@gmail.com 2010-07-20T06:22:24+00:00 urn:sha1:edb77fe8b468c28052aa5e05dd8f72e036572399 llvm-svn: 108811