jump over syscall

This commit is contained in:
Armin Friedl 2016-08-29 12:53:53 +02:00
parent 1585965801
commit 77e7213249

View file

@ -195,6 +195,8 @@ invAcc a i ('[':t) = invAcc a (i+1 + g) (drop g t) -- TODO check reads in f
-- if it is found set its boolean value to true
-- 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)
invAcc a i s@(c:t) = let writeAcc = getWrite i s
matchLen = (length $ (\(v,_,_) -> v) (fromJust writeAcc))
readAcc = getRead i s