Jordan Rose 28c68a2d07 [analyzer] Don't invalidate globals when there's no call involved. ... This fixes some mistaken condition logic in RegionStore that caused global variables to be invalidated when /any/ region was invalidated, rather than only as part of opaque function calls. This was only being used by CStringChecker, and so users will now see that strcpy() and friends do not invalidate global variables. Also, add a test case we don't handle properly: explicitly-assigned global variables aren't being invalidated by opaque calls. This is being tracked by <rdar://problem/13464044>. llvm-svn: 177572		2013-03-20 20:36:01 +00:00
..
ARCMigrate	Add a hasExternalLinkage helper. No functionality change.	2013-03-07 02:00:27 +00:00
AST	[ms-cxxabi] Fix assertion on unhandled function template arg types	2013-03-20 01:40:23 +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	Make sure that Module::ConfigMacrosExhaustive gets initialized and deserialized correctly.	2013-03-20 03:59:18 +00:00
CodeGen	Exploit this-return of a callsite in a this-return function.	2013-03-20 16:59:38 +00:00
Driver	Fix redundant comparison in gcc::Common::ConstructJob.	2013-03-20 07:34:27 +00:00
Edit	Include llvm::Optional in clang/Basic/LLVM.h	2013-02-20 22:23:23 +00:00
Format	Support for pointers-to-members usage via .*	2013-03-20 16:41:56 +00:00
Frontend	The flag "-coverage-function-names-in-data" is actually backwards -- we do	2013-03-20 02:14:38 +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	<rdar://problem/10796651> Introduce configuration macros into module maps.	2013-03-20 00:22:05 +00:00
Parse	Do the error recovery for @end only.	2013-03-20 18:45:49 +00:00
Rewrite	Add some assertions to appease the static analyzer.	2013-03-15 21:41:35 +00:00
Sema	PR7256: Provide a fixit for incorrect destructor declarations	2013-03-20 17:42:13 +00:00
Serialization	Only introduce the SDKSettings.plist dependency in modules/PCH files that don't depend on any other modules or PCH files.	2013-03-20 16:59:53 +00:00
StaticAnalyzer	[analyzer] Don't invalidate globals when there's no call involved.	2013-03-20 20:36:01 +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