| commit | fa95258eb4fcf72c4c4a68e286323429d83d9e87 | |
| author | Ted Kremenek <kremenek@apple.com> | |
| Thu, 11 Nov 2010 23:10:10 +0000 (11 23:10 +0000) | ||
| committer | Ted Kremenek <kremenek@apple.com> | |
| Thu, 11 Nov 2010 23:10:10 +0000 (11 23:10 +0000) | ||
| tree | 86cfbbac1195cbdc92eecabf5da79da2930ef05f | treesnapshot (tar.gz zip) |
| parent | aa2bcf20941e1e2436849595beed2df9d4f53076 | commitdiff |
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
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 | diffblobblamehistory | |
| lib/Checker/RegionStore.cpp | diffblobblamehistory | |
| test/Analysis/misc-ps.m | diffblobblamehistory |