llvm-project/clang/lib
Anna Zaks 123af098b8 [analyzer] Bifurcate the path with dynamic dispatch.
This is an initial (unoptimized) version. We split the path when
inlining ObjC instance methods. On one branch we always assume that the
type information for the given memory region is precise. On the other we
assume that we don't have the exact type info. It is important to check
since the class could be subclassed and the method can be overridden. If
we always inline we can loose coverage.

Had to refactor some of the call eval functions.

llvm-svn: 161552
2012-08-09 00:21:33 +00:00
..
ARCMigrate clang/lib: [CMake] Update tblgen'd dependencies. 2012-07-27 06:18:33 +00:00
AST Add new file CommentCommandTraits.cpp to CMakeLists.txt. 2012-08-09 00:16:26 +00:00
ASTMatchers Fix for ASTMatchFinder to visit a functions parameter declarations. 2012-07-30 05:03:25 +00:00
Analysis Properly check length modfiers for %n in format strings. 2012-08-07 09:13:19 +00:00
Basic clang support for Bitrig (an OpenBSD fork); patch by David Hill. 2012-08-08 23:57:20 +00:00
CodeGen clang support for Bitrig (an OpenBSD fork); patch by David Hill. 2012-08-08 23:57:20 +00:00
Driver clang support for Bitrig (an OpenBSD fork); patch by David Hill. 2012-08-08 23:57:20 +00:00
Edit clang/lib: [CMake] Update tblgen'd dependencies. 2012-07-27 06:18:33 +00:00
Frontend clang support for Bitrig (an OpenBSD fork); patch by David Hill. 2012-08-08 23:57:20 +00:00
FrontendTool Added -ast-list option to dump filterable AST decl node names. 2012-07-31 09:37:40 +00:00
Headers Add _rdrand{16,32,64}_step intrinsics to immintrin.h 2012-07-12 09:33:03 +00:00
Lex Lexer: remove dead stores. Found by Clang static analyzer! 2012-07-30 17:59:40 +00:00
Parse Minor simplification for r161534. 2012-08-08 23:53:27 +00:00
Rewrite [analyzer] Add Prev/Next links to the HTML output. 2012-08-02 02:26:19 +00:00
Sema objective-C: refactor/simplify parsing of delayed 2012-08-08 23:41:08 +00:00
Serialization clang/lib: [CMake] Update tblgen'd dependencies. 2012-07-27 06:18:33 +00:00
StaticAnalyzer [analyzer] Bifurcate the path with dynamic dispatch. 2012-08-09 00:21:33 +00:00
Tooling Fixes a segfault in Tooling when using pch's: 2012-07-31 13:56:54 +00:00
CMakeLists.txt Adds the AST Matcher library, which provides a in-C++ DSL to express 2012-07-06 05:48:52 +00:00
Makefile Adds the AST Matcher library, which provides a in-C++ DSL to express 2012-07-06 05:48:52 +00:00