diff --git a/angr/path.py b/angr/path.py
index <HASH>..<HASH> 100644
--- a/angr/path.py
+++ b/angr/path.py
@@ -30,7 +30,12 @@ class CallFrame(object):
                 self.ret_addr = state.memory.load(state.regs.sp, state.arch.bits/8, endness=state.arch.memory_endness)
             else:
                 self.ret_addr = state.regs.lr
-            self.ret_addr = state.se.any_int(self.ret_addr)
+
+            # Try to convert the ret_addr to an integer
+            try:
+                self.ret_addr = state.se.any_int(self.ret_addr)
+            except (simuvex.SimUnsatError, simuvex.SimSolverModeError):
+                self.ret_addr = None
         else:
             self.func_addr = func_addr
             self.stack_ptr = stack_ptr
Handle the case where ret_addr is not solvable in CallFrame