llvm: Print out the failed predicate in a panic (#1254)

GaloisInc · Sep 11, 2024 · e8e0c53 · e8e0c53
1 parent 86f1f2e
commit e8e0c53
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Generic.hs b/crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Generic.hs
@@ -1329,10 +1329,11 @@ writeMemWithAllocationCheck is_allocated sym w gsym ptr tp alignment val mem = d
                              [ "Expected byte value when updating SMT array, but got:"
                              , show v
                              ]
-                  Partial.Err _ ->
+                  Partial.Err p ->
                       panic "writeMemWithAllocationCheck"
                              [ "Expected succesful byte load when updating SMT array"
-                             , "but got an error instead"
+                             , "but got an error instead:"
+                             , show (printSymExpr p)
                              ]
 
       res_arr <- foldM storeArrayByteFn arr [0 .. (sz - 1)]