diff options
Diffstat (limited to 'lib/Core/ExecutorUtil.cpp')
-rw-r--r-- | lib/Core/ExecutorUtil.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp index 867e76a6..84226a64 100644 --- a/lib/Core/ExecutorUtil.cpp +++ b/lib/Core/ExecutorUtil.cpp @@ -48,7 +48,9 @@ namespace klee { } else if (const ConstantFP *cf = dyn_cast<ConstantFP>(c)) { return ConstantExpr::alloc(cf->getValueAPF().bitcastToAPInt()); } else if (const GlobalValue *gv = dyn_cast<GlobalValue>(c)) { - return globalAddresses.find(gv)->second; + auto it = globalAddresses.find(gv); + assert(it != globalAddresses.end()); + return it->second; } else if (isa<ConstantPointerNull>(c)) { return Expr::createPointer(0); } else if (isa<UndefValue>(c) || isa<ConstantAggregateZero>(c)) { |