diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-11-11 23:10:10 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-11-11 23:10:10 +0000 |
| commit | 29836f9e4750f1ccb72c24f661c20686507f0063 (patch) | |
| tree | 86cfbbac1195cbdc92eecabf5da79da2930ef05f /lib/CodeGen/CodeGenTypes.cpp | |
| 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
Diffstat (limited to 'lib/CodeGen/CodeGenTypes.cpp')
0 files changed, 0 insertions, 0 deletions