diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-17 14:02:30 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-08-17 14:02:30 +0100 |
| commit | efc5bde08a611ffd7d0065a2a10bbb6e13ba66d2 (patch) | |
| tree | 5f130a36494fa09e17fab41bc3ba96548835863b /lib | |
| parent | a5ce07251ca61ef84288b67ca13279c1c463c263 (diff) | |
| parent | dff4069042e6f7b4bc7211b8e9ba3377ee01c33c (diff) | |
| download | klee-efc5bde08a611ffd7d0065a2a10bbb6e13ba66d2.tar.gz | |
Merge pull request #239 from yotann/master
Fix assertion failure in getDirectCallTarget
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Module/ModuleUtil.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 5f7ed35e..1cf9c35c 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -446,7 +446,7 @@ Function *klee::getDirectCallTarget(CallSite cs) { return f; } else if (llvm::ConstantExpr *ce = dyn_cast<llvm::ConstantExpr>(v)) { if (ce->getOpcode()==Instruction::BitCast) - if (Function *f = dyn_cast<Function>(ce->getOperand(0))) + if (Function *f = dyn_cast<Function>(ce->getOperand(0)->stripPointerCasts())) return f; // NOTE: This assert may fire, it isn't necessarily a problem and |