x86-symbolic: Add function to extract message from exceptions

GaloisInc · Jan 24, 2024 · f1e25e9 · f1e25e9
1 parent d1ba6e4
commit f1e25e9
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/x86_symbolic/src/Data/Macaw/X86/Crucible.hs b/x86_symbolic/src/Data/Macaw/X86/Crucible.hs
@@ -20,6 +20,7 @@ module Data.Macaw.X86.Crucible
 
     -- * Instruction interpretation
   , MissingSemantics(..)
+  , missingSemanticsMessage
   , funcSemantics
   , stmtSemantics
   , termSemantics
@@ -139,6 +140,14 @@ data MissingSemantics
 
 instance Exception MissingSemantics
 
+-- | Create a human-readable message from a 'MissingSemantics' exception.
+missingSemanticsMessage :: MissingSemantics -> String
+missingSemanticsMessage =
+  \case
+    MissingPrimFnSemantics msg -> msg
+    MissingStmtSemantics msg -> msg
+    MissingTermSemantics msg -> msg
+
 stmtSemantics
   :: (IsSymInterface sym, HasLLVMAnn sym, ?memOpts :: MemOptions)
   => SymFuns sym