suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Corrected the checkInitVar function to work properly

Browse Source
This commit is contained in:
Neil Brown 2008-01-29 12:49:16 +00:00
parent 5567d8cee0
commit 24e6e35e82
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
checks/Check.hs
View File

@ -130,8 +130,7 @@ showCodeExSet (NormalSet s)
-- | Checks that no variable is used uninitialised. That is, it checks that every variable is written to before it is read. -- | Checks that no variable is used uninitialised. That is, it checks that every variable is written to before it is read.
checkInitVar :: forall m. (Monad m, Die m, CSM m) => Meta -> FlowGraph m (Maybe Decl, Vars) -> Node -> m () checkInitVar :: forall m. (Monad m, Die m, CSM m) => Meta -> FlowGraph m (Maybe Decl, Vars) -> Node -> m ()
checkInitVar m graph startNode checkInitVar m graph startNode
-- TODO don't pass in all the nodes from the graph, just those connected to startNode = do vwb <- case flowAlgorithm graphFuncs (dfs [startNode] graph) startNode of
= do vwb <- case flowAlgorithm graphFuncs (nodes graph) startNode of
Left err -> dieP m $ "Error building control-flow graph: " ++ err Left err -> dieP m $ "Error building control-flow graph: " ++ err
Right x -> return x Right x -> return x
-- vwb is a map from Node to a set of Vars that have been written by that point -- vwb is a map from Node to a set of Vars that have been written by that point