Go to file
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
clang [analyzer] Don't invalidate globals when there's no call involved. 2013-03-20 20:36:01 +00:00
clang-tools-extra Fix Makefile. 2013-03-20 10:02:35 +00:00
compiler-rt tsan: correct sizes of signal-related data structures 2013-03-20 14:57:28 +00:00
debuginfo-tests Remove IR scenario tests. 2013-03-15 20:52:10 +00:00
libclc Update the copyright coredits -- Happy new year 2013! 2013-01-01 10:00:19 +00:00
libcxx Fix bug in test; found by AddressSanitizer 2013-03-20 00:01:48 +00:00
libcxxabi Bruce Mitchener: Typo fixes. 2013-02-15 15:48:49 +00:00
lld [ELF][Reader] Add debug message to print all inputs the linker actually read. 2013-03-20 19:26:10 +00:00
lldb Add Linux support for reading/writing extended register sets. 2013-03-20 20:34:35 +00:00
llvm Refactor file/directory path in namespace debug info to refer directly to the pair rather than the DIFile 2013-03-20 19:39:15 +00:00
polly ScopDetect: Add test cases for non-simple regions 2013-03-20 20:02:35 +00:00