fix(callgraph): strip bitcast through constant expr

seahorn · Jun 21, 2021 · 9d8d71a · 9d8d71a
1 parent ca53cad
commit 9d8d71a
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/lib/seadsa/DsaCompleteCallGraph.cc b/lib/seadsa/DsaCompleteCallGraph.cc
@@ -65,11 +65,15 @@ static const Value *findUniqueReturnValue(const Function &F) {
 }
 
 static Value *stripBitCast(Value *V) {
+  if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) {
+    if (CE->isCast()) {
+      return CE->getOperand(0);
+    }
+  }
   if (BitCastInst *BC = dyn_cast<BitCastInst>(V)) {
     return BC->getOperand(0);
-  } else {
-    return V;
   }
+  return V;
 }
 
 static bool typeCompatible(const Type *t1, const Type *t2) {