]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9b7955) | patch
Fix another false positive in RegionStore involving doing loads from symbolic offsets...
authorTed Kremenek <kremenek@apple.com>
Tue, 3 Apr 2012 00:03:34 +0000 (00:03 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 3 Apr 2012 00:03:34 +0000 (00:03 +0000)
commit31b57628576a2355428fd4b57f828a3aa8423000
tree2f1b49c646690f55f31c1b981ca1744974b41cb9tree | snapshot
parentd9b795524eb3dc035523f82f135d0a8adf15cd72commit | diff
Fix another false positive in RegionStore involving doing loads from symbolic offsets.  We still don't
properly reason about such accesses, but we shouldn't emit bogus "uninitialized value" warnings
either.  Fixes <rdar://problem/11127008>.

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