From f21b9df9e5e1eb151af23d96fcfb9d32ef929fbc Mon Sep 17 00:00:00 2001 From: Kevin Phoenix Date: Thu, 19 Sep 2024 16:53:32 -0700 Subject: [PATCH] Special case RM position in z3 backend --- claripy/backends/backend_z3.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/claripy/backends/backend_z3.py b/claripy/backends/backend_z3.py index 5fb24f58d..fc6605e0b 100644 --- a/claripy/backends/backend_z3.py +++ b/claripy/backends/backend_z3.py @@ -550,6 +550,9 @@ def _abstract_internal(self, ctx, ast, split_on=None): l.error(err) raise BackendError(err) + if ty is FP and isinstance(args[0], RM): + args = [*args[1:], args[0]] + if op_name == "If": # If is polymorphic and thus must be handled specially ty = type(args[1])