]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5322da) | patch
Fix lookup of fields from lazy bindings to check if the region is
authorTed Kremenek <kremenek@apple.com>
Tue, 9 Feb 2010 19:11:53 +0000 (19:11 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 9 Feb 2010 19:11:53 +0000 (19:11 +0000)
commit8ec4aac6d3dee698e4cb7b9f540d962e4ccab468
tree8e0545ac4016b989f20d5df8a37f38b9b782e18ctree | snapshot
parentd5322da6ba08728fe4ee9b14f468961eddc915dccommit | diff
Fix lookup of fields from lazy bindings to check if the region is
NULL, not the store, to determine if a lookup succeeded.  The store
can be null if it contained no bindings.  This fixes a false positive
reported to me by a user of the analyzer.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95679 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/RegionStore.cpp diff | blob | history
test/Analysis/misc-ps.m diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.