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

Annotate known issues

Browse Source
This commit is contained in:
Lisanna Dettwyler 2020-10-20 14:08:36 -07:00
parent 47544e4b2d
commit 31c2217a9d
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macaw-aarch32/src/Data/Macaw/ARM/Semantics/TH.hs
View File

@ -789,7 +789,7 @@ refField :: Ctx.Size ctx -> Ctx.Index ctx tp -> BoundExp -> MacawQ arch t fs Bou
refField sz idx e = case Ctx.viewSize sz of
Ctx.IncSize sz' | Ctx.ZeroSize <- Ctx.viewSize sz' -> return e
_ -> case e of
EagerBoundExp (TupE es) | Ctx.indexVal idx < length es -> return $ EagerBoundExp $ es !! (Ctx.indexVal idx)
EagerBoundExp (TupE es) | Ctx.indexVal idx < length es -> return $ EagerBoundExp $ es !! (Ctx.indexVal idx) -- TODO: fix error
EagerBoundExp _ -> bindTH [| $(extractTuple (Ctx.sizeInt sz) (Ctx.indexVal idx)) $(refEager e) |]
LazyBoundExp _ -> letTH [| $(extractTuple (Ctx.sizeInt sz) (Ctx.indexVal idx)) <$> $(refBinding e) |]

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

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