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
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 4db00d2..5a3f987 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -763,8 +763,7 @@
}
// 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);