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 | 9c03f682064dd57b5a92ad6849d537719b6f914e (patch) | |
| tree | def37154c23ac4286e96e1c96fecbc9d72d23229 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | 0ee66aa32dae62a5723e76c683b28bb7657c03b9 (diff) | |
| download | bcm5719-llvm-9c03f682064dd57b5a92ad6849d537719b6f914e.tar.gz bcm5719-llvm-9c03f682064dd57b5a92ad6849d537719b6f914e.zip | |
Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic
target addresses.
llvm-svn: 69900
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 4db00d2a6b0..5a3f9871f77 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/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); |
