]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c457a8) | patch
RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses...
authorTed Kremenek <kremenek@apple.com>
Thu, 11 Nov 2010 23:10:10 +0000 (23:10 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 11 Nov 2010 23:10:10 +0000 (23:10 +0000)
commit29836f9e4750f1ccb72c24f661c20686507f0063
tree86cfbbac1195cbdc92eecabf5da79da2930ef05ftree | snapshot
parent8c457a8395676692225cd4c90bfb54d430199fdfcommit | diff
RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete addresses; instead return UnknownVal.  This
leads it up to checkers (e.g., DereferenceChecker) to guard against illegal accesses (e.g., null dereferences).

Fixes PR 5272 and <rdar://problem/6839683>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@118852 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/BasicStore.cpp diff | blob | history
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.