diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-04-23 17:49:43 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-04-23 17:49:43 +0000 |
| commit | b3cfd58c9b13325d994e5f9b5065e6a22d91911d (patch) | |
| tree | e5267611bc54dd9c7d982a06b43a3956d1f53627 /lib/Analysis/GRExprEngine.cpp | |
| parent | 04c5f4f3c0e6e751d34351d1b517fb589232878c (diff) | |
Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic
target addresses.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@69900 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 4db00d2a6b..5a3f9871f7 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -763,8 +763,7 @@ void GRExprEngine::ProcessIndirectGoto(IndirectGotoNodeBuilder& builder) { } // This is really a catch-all. We don't support symbolics yet. - - assert (V.isUnknown()); + // FIXME: Implement dispatch for symbolic pointers. for (iterator I=builder.begin(), E=builder.end(); I != E; ++I) builder.generateNode(I, state); |