Jordan Rose f9e9a9f41b [analyzer] Base regions may be invalid when layered on symbolic regions. ... While RegionStore checks to make sure casts on TypedValueRegions are valid, it does not do the same for SymbolicRegions, which do not have perfect type info anyway. Additionally, MemRegion::getAsOffset does not take a ProgramState, so it can't use dynamic type info to determine a better type for the regions. (This could also be dangerous if the type of a super-region changes!) Account for this by checking that a base object region is valid on top of a symbolic region, and falling back to "symbolic offset" mode if not. Fixes PR15345. llvm-svn: 176034		2013-02-25 18:36:15 +00:00
..
ARCMigrate	[preprocessor] Use MacroDirective in the preprocessor callbacks to make available the	2013-02-24 00:05:14 +00:00
AST	Add streamed versions of getQualifiedNameAsString.	2013-02-23 13:53:57 +00:00
ASTMatchers	Re-design the convenience interfaces on MatchFinder.	2013-02-01 13:41:35 +00:00
Analysis	Remove the CFGElement "Invalid" state.	2013-02-23 00:29:34 +00:00
Basic	Moving initialization into the initializer list and correcting capitalization, as suggested by Chandler.	2013-02-24 19:08:10 +00:00
CodeGen	Add more attributes from the command line to functions.	2013-02-25 07:15:16 +00:00
Driver	ubsan: Emit bounds checks for array indexing, vector indexing, and (in really simple cases) pointer arithmetic. This augments the existing bounds checking with language-level array bounds information.	2013-02-23 02:53:19 +00:00
Edit	Include llvm::Optional in clang/Basic/LLVM.h	2013-02-20 22:23:23 +00:00
Format	Re-add hack that caused regression.	2013-02-25 15:59:54 +00:00
Frontend	[preprocessor] Use MacroDirective in the preprocessor callbacks to make available the	2013-02-24 00:05:14 +00:00
FrontendTool	use early returns to simplify and de-nest	2013-01-06 07:49:41 +00:00
Headers	libstdc++'s <cstdalign> #includes <stdalign.h> and expects it to guard against	2013-02-21 02:17:58 +00:00
Lex	[preprocessor] Use MacroDirective in the preprocessor callbacks to make available the	2013-02-24 00:05:14 +00:00
Parse	[Sema] Semantic analysis for empty-declaration and attribute-declaration.	2013-02-22 17:15:32 +00:00
Rewrite	Use trailing documentation comments properly	2013-02-16 22:21:38 +00:00
Sema	In Sema::InstantiateStaticDataMemberDefinition, pass the var decl to the consumer	2013-02-24 00:05:01 +00:00
Serialization	objective-C arg: provide fixit support when	2013-02-22 22:02:53 +00:00
StaticAnalyzer	[analyzer] Base regions may be invalid when layered on symbolic regions.	2013-02-25 18:36:15 +00:00
Tooling	Nuke SetUpBuildDumpLog.	2013-01-20 01:58:28 +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