Use original op in CCallMultivaluedException to make _perform_vex_exp…

…r_CCall happy (angr#2977)
coolkingcole · Nov 22, 2021 · cb9ea67 · cb9ea67
1 parent c8e763d
commit cb9ea67
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/angr/engines/vex/claripy/ccall.py b/angr/engines/vex/claripy/ccall.py
@@ -42,9 +42,9 @@ def boolean_extend(O, a, b, size):
 def op_concretize(op):
     if type(op) is int:
         return op
-    op = op.ite_excavated
-    if op.op == 'If':
-        cases = list(claripy.reverse_ite_cases(op))
+    op_e = op.ite_excavated
+    if op_e.op == 'If':
+        cases = list(claripy.reverse_ite_cases(op_e))
         if all(c.op == 'BVV' for _, c in cases):
             raise CCallMultivaluedException(cases, op)
     if op.op != 'BVV':