skip syscalls

This commit is contained in:
Johannes Winklehner 2016-08-29 12:58:29 +02:00
parent 77e7213249
commit 1e62767b87

View file

@ -196,7 +196,7 @@ invAcc a i ('[':t) = invAcc a (i+1 + g) (drop g t) -- TODO check reads in f
-- if it is not found add its slice to the result
-- all variables with false at the end of a block are unused
invAcc a i ('.':t) = invAcc a (i+1 + g) (drop g t)
where g = fromJust (elemIndex ';' t)
where g = length $ fst $ fromJust $ getRead 0 t
invAcc a i s@(c:t) = let writeAcc = getWrite i s
matchLen = (length $ (\(v,_,_) -> v) (fromJust writeAcc))
readAcc = getRead i s