llvm-project/clang/lib
Anna Zaks 3f4fad92fe [analyzer] Do not believe lazy binding when symbolic region types do not match
This fixes a crash when analyzing LLVM that was exposed by r177220 (modeling of
trivial copy/move assignment operators).

When we look up a lazy binding for “Builder”, we see the direct binding of Loc at offset 0.
Previously, we believed the binding, which led to a crash. Now, we do not believe it as
the types do not match.

llvm-svn: 177453
2013-03-19 22:38:09 +00:00
..
ARCMigrate Add a hasExternalLinkage helper. No functionality change. 2013-03-07 02:00:27 +00:00
AST documentation comment parsing. Added couple of 2013-03-18 23:45:52 +00:00
ASTMatchers Implements memoization for ancestor matching. 2013-03-14 16:33:21 +00:00
Analysis Remove the CFGElement "Invalid" state. 2013-02-23 00:29:34 +00:00
Basic [Modules] Resolve top-headers of modules lazily. 2013-03-13 21:13:43 +00:00
CodeGen Don't try to set attributes in alias, they have none. 2013-03-19 15:03:47 +00:00
Driver Go back to using the integrated assembler on windows ever when passed 2013-03-19 14:23:00 +00:00
Edit Include llvm::Optional in clang/Basic/LLVM.h 2013-02-20 22:23:23 +00:00
Format Fix indentation for case: // comment. 2013-03-19 18:33:58 +00:00
Frontend <rdar://problem/13363214> Eliminate race condition between module rebuild and the global module index. 2013-03-19 00:28:20 +00:00
FrontendTool use early returns to simplify and de-nest 2013-01-06 07:49:41 +00:00
Headers PR15480: fixed second parameter types of vec_lde, vec_lvebx, vec_lvehx, and vec_lvewx according to AltiVec Programming Interface Manual 2013-03-10 16:25:43 +00:00
Lex PR15539: Record "evaluating if/elif condition" flag in the right place 2013-03-18 23:22:28 +00:00
Parse Objective-C [qoi]: Provide improved parse diagnostics when 2013-03-19 20:27:40 +00:00
Rewrite Add some assertions to appease the static analyzer. 2013-03-15 21:41:35 +00:00
Sema Add a clarifying note when a return statement is rejected because 2013-03-19 07:04:25 +00:00
Serialization Minor optimization to r177367 to treat a module with missing dependencies as out-of-date rather than missing. 2013-03-19 00:38:50 +00:00
StaticAnalyzer [analyzer] Do not believe lazy binding when symbolic region types do not match 2013-03-19 22:38:09 +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