GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

Extract single Assignment element without redundant pattern case

Browse Source
This commit is contained in:
Kevin Quick 2020-10-20 21:09:15 -07:00
parent 5a22913f2a
commit 923089d767
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
symbolic/src/Data/Macaw/Symbolic.hs
View File

@ -435,9 +435,7 @@ mkParsedBlockRegCFG archFns halloc posFn b = crucGenArchConstraints archFns $ do
}
ng <- mmNonceGenerator
-- Create atom for entry
inputAtom <- mmExecST $ CR.mkInputAtoms ng entryPos (Empty :> regType) >>= \case
Empty :> atm -> return atm
_ -> error "Invalid input atom creation for mkParsedBlockRegCFG"
inputAtom <- Ctx.last <$> (mmExecST $ CR.mkInputAtoms ng entryPos (Empty :> regType))
-- Create map from Macaw (address,blockId pairs) to Crucible labels
blockLabelMap :: BlockLabelMap arch s <-
mkBlockLabelMap [strippedBlock]
@ -825,9 +823,7 @@ mkFunRegCFG archFns halloc nm posFn fn = crucGenArchConstraints archFns $ do
}
-- Create atom for entry
ng <- mmNonceGenerator
inputAtom <- mmExecST $ CR.mkInputAtoms ng entryPos (Empty :> regType) >>= \case
Empty :> atm -> return atm
_ -> error "Error creating input atom for mkFunRegCFG"
inputAtom <- Ctx.last <$> (mmExecST $ CR.mkInputAtoms ng entryPos (Empty :> regType))
-- Create map from Macaw (address,blockId pairs) to Crucible labels
blockLabelMap :: BlockLabelMap arch s <-
mkBlockLabelMap blockList