Merge pull request #2004 from GaloisInc/T2003-bump-crucible-submod

Bump `crucible` submodule to bring in `rotate_left` override
GaloisInc · Jan 10, 2024 · a400e9e · a400e9e
2 parents 8e6371e + 66b59aa
commit a400e9e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/deps/crucible b/deps/crucible
diff --git a/src/SAWScript/Crucible/LLVM/Builtins.hs b/src/SAWScript/Crucible/LLVM/Builtins.hs
@@ -1313,8 +1313,9 @@ registerOverride opts cc sim_ctx _top_loc mdMap cs =
                 $ methodSpecHandler opts sc cc mdMap cs h
               mem <- Crucible.readGlobal mvar
               let bindPtr m decl =
-                    do printOutLn opts Info $ "  variant `" ++ show (L.decName decl) ++ "`"
-                       Crucible.bindLLVMFunPtr bak decl h m
+                    do let declName = L.decName decl
+                       printOutLn opts Info $ "  variant `" ++ show declName ++ "`"
+                       Crucible.bindLLVMFunPtr bak declName h m
               mem' <- liftIO $ foldM bindPtr mem (d:ds)
               Crucible.writeGlobal mvar mem'
               return (Crucible.SomeHandle h)