macaw-{aarch32,ppc}: Remove vestigial InstructionAtUnmappedAddr error…

… types Now that `macaw-aarch32` and `macaw-ppc` properly handle position-independent code, the `InstructionAtUnmappedAddr` error (which could only be thrown if an IP address was found in position-independent code) is never thrown. Let's delete it.
GaloisInc · Nov 14, 2023 · ca64b56 · ca64b56
1 parent b12b049
commit ca64b56
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/macaw-aarch32/src/Data/Macaw/ARM/Disassemble.hs b/macaw-aarch32/src/Data/Macaw/ARM/Disassemble.hs
@@ -331,7 +331,6 @@ data TranslationError w = TranslationError { transErrorAddr :: MM.MemSegmentOff
 data TranslationErrorReason w = InvalidNextPC (MM.MemAddr w) (MM.MemAddr w)
                               | DecodeError (ARMMemoryError w)
                               | UnsupportedInstruction InstructionSet
-                              | InstructionAtUnmappedAddr InstructionSet
                               | GenerationError InstructionSet SG.GeneratorError
                               deriving (Show)
 

diff --git a/macaw-ppc/src/Data/Macaw/PPC/Disassemble.hs b/macaw-ppc/src/Data/Macaw/PPC/Disassemble.hs
@@ -252,7 +252,6 @@ data TranslationError w = TranslationError { transErrorAddr :: MM.MemSegmentOff
 data TranslationErrorReason w = InvalidNextIP Word64 Word64
                               | DecodeError (PPCMemoryError w)
                               | UnsupportedInstruction D.Instruction
-                              | InstructionAtUnmappedAddr D.Instruction
                               | GenerationError D.Instruction GeneratorError
                               deriving (Show)