tree 0c1705965385e119ef57f931d76739b565772b06
parent 74f6982232c25ae723b1cc5abc59665a10867f21
author Jordan Rose <jordan_rose@apple.com> 1363811761 +0000
committer Jordan Rose <jordan_rose@apple.com> 1363811761 +0000

[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>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177572 91177308-0d34-0410-b5e6-96231b3b80d8