Added constraint generation after a branch is not taken in an IF

2009-02-09 22:46:08 +00:00 · 2009-02-09 22:46:08 +00:00 · 84568cfbdd
commit 84568cfbdd
parent 33d18f07c2
1 changed files with 2 additions and 0 deletions
--- a/checks/UsageCheckAlgorithms.hs
+++ b/checks/UsageCheckAlgorithms.hs
@ -207,6 +207,8 @@ findConstraints graph startNode
            valFilt = filter (not . overlapsWithWritten) $
                nub $ nodeVal ++ (case e of
                  ESeq (Just (n, Just True)) -> maybeToList (fmap ((,) n) $ nodeCond u)
+                  ESeq (Just (n, Just False)) -> maybeToList
+                    (fmap ((,) n . A.Monadic emptyMeta A.MonadicNot) (nodeCond u))
                  _ -> [])
            removeOld = case e of
              ESeq (Just (n, Nothing)) -> filter ((/= n) . fst)