llvm-project/clang/lib
Jordan Rose 320fbf057c [analyzer] Check the stack frame when looking for a var's initialization.
FindLastStoreBRVisitor is responsible for finding where a particular region
gets its value; if the region is a VarRegion, it's possible that value was
assigned at initialization, i.e. at its DeclStmt. However, if a function is
called recursively, the same DeclStmt may be evaluated multiple times in
multiple stack frames. FindLastStoreBRVisitor was not taking this into
account and just picking the first one it saw.

<rdar://problem/13787723>

llvm-svn: 180997
2013-05-03 05:47:31 +00:00
..
ARCMigrate Point diagnostics that complain about a use of a selector in an objc message, to the selector location. 2013-05-01 00:24:09 +00:00
AST Move parsing of identifiers in MS-style inline assembly into 2013-05-03 00:10:13 +00:00
ASTMatchers Implements memoization for ancestor matching. 2013-03-14 16:33:21 +00:00
Analysis C++1y: Allow aggregates to have default initializers. 2013-04-20 22:23:05 +00:00
Basic Add some more required SPARC v9 predefined macros. 2013-04-24 04:36:38 +00:00
CodeGen Revert "Attempt to un-break the gdb buildbot." 2013-05-03 01:42:35 +00:00
Driver [driver] Allow multiple -arch options with -save-temps by adding the arch name 2013-04-30 22:01:21 +00:00
Edit [objcmt] Fix a mishandled conversion to objc directory literal. 2013-04-06 01:13:17 +00:00
Format Improve clang-format's memoization behavior. 2013-04-25 13:31:51 +00:00
Frontend Add support for -stdlib=libc++ in the NetBSD toolchain. 2013-04-30 01:21:43 +00:00
FrontendTool <rdar://problem/13509689> Introduce -module-file-info option that provides information about a particular module file. 2013-03-27 16:47:18 +00:00
Headers Make sure we define wchar_t related macros correctly in -fms-extensions mode. 2013-05-02 13:12:32 +00:00
Lex When looking for the module associated with one of our magical builtin headers, speculatively load module maps. 2013-05-02 17:58:30 +00:00
Parse Move parsing of identifiers in MS-style inline assembly into 2013-05-03 00:10:13 +00:00
Rewrite rewrite-includes: Rewrite __has_include(_next) to get rid of a host dependency. 2013-04-16 19:08:41 +00:00
Sema Move parsing of identifiers in MS-style inline assembly into 2013-05-03 00:10:13 +00:00
Serialization Move parsing of identifiers in MS-style inline assembly into 2013-05-03 00:10:13 +00:00
StaticAnalyzer [analyzer] Check the stack frame when looking for a var's initialization. 2013-05-03 05:47:31 +00:00
Tooling ClangTool output cleanup 2013-03-15 20:14:01 +00:00
CMakeLists.txt Initial version of formatting library. 2012-12-03 18:12:45 +00:00
Makefile Dont use/link ARCMT, StaticAnalyzer and Rewriter to clang when the user 2012-12-13 16:09:42 +00:00