diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-05-01 21:31:50 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-05-01 21:31:50 +0000 |
| commit | 9040c65860932fc8eded28e1558394d66d44b4cf (patch) | |
| tree | 3240d5bb6d4c937a79e42a3b7d09c2238e056e2d /lib/Analysis/ValueState.cpp | |
| parent | 73c083c27c00228fce8c9f139dc7cda5754b0837 (diff) | |
Correctly invalidate reference count state when passing objects by reference in message expressions we don't understand.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50541 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ValueState.cpp')
| -rw-r--r-- | lib/Analysis/ValueState.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Analysis/ValueState.cpp b/lib/Analysis/ValueState.cpp index 19ff06f004..96b94ea8cf 100644 --- a/lib/Analysis/ValueState.cpp +++ b/lib/Analysis/ValueState.cpp @@ -203,6 +203,12 @@ RVal ValueStateManager::GetRVal(ValueState* St, LVal LV, QualType T) { return UnknownVal(); } + + case lval::ConcreteIntKind: + // Some clients may call GetRVal with such an option simply because + // they are doing a quick scan through their LVals (potentially to + // invalidate their bindings). Just return Undefined. + return UndefinedVal(); case lval::ArrayOffsetKind: case lval::FieldOffsetKind: |