aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/RegionStore.cpp
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2012-05-08 21:19:21 +0000
committerAnna Zaks <ganna@apple.com>2012-05-08 21:19:21 +0000
commit6a2a1865f8bfaedff312b043f1e875a43e95b259 (patch)
treec100c3595292b053c25ba8343e767d217379959b /lib/StaticAnalyzer/Core/RegionStore.cpp
parent20e181a3ece8862dcfcfacf70763074ddec5a68b (diff)
[analyzer] SelfInit: Stop tracking self if it's assigned a value we
don't reason about. Self is just like a local variable in init methods, so it can be assigned anything like result of static functions, other methods ... So to suppress false positives that result in such cases, stop tracking the checker-specific state after self is being assigned to (unless the value is't being assigned to is either self or conforms to our rules). This change does not invalidate any existing regression tests. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156420 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/RegionStore.cpp')
0 files changed, 0 insertions, 0 deletions