| commit | 29836f9e4750f1ccb72c24f661c20686507f0063 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Nov 11 23:10:10 2010 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Nov 11 23:10:10 2010 +0000 |
| tree | 86cfbbac1195cbdc92eecabf5da79da2930ef05f | |
| parent | 8c457a8395676692225cd4c90bfb54d430199fdf [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