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

Added a testcase (triple directly nested unused vars) that is failing, presumably due to not restarting the search at the right point

Browse Source
This commit is contained in:
Neil Brown 2008-11-13 18:08:36 +00:00
parent 265181d3c3
commit 046ac4a75b
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
checks/CheckTest.hs
View File

@ -41,6 +41,16 @@ testUnusedVar = TestList
(wrapProcSeq $ A.Only emptyMeta (A.Skip emptyMeta))
(wrapProcSeq $ A.Spec emptyMeta (A.Specification emptyMeta (simpleName
"x") $ A.Declaration emptyMeta A.Int) $ A.Only emptyMeta (A.Skip emptyMeta))
,test "Triple Unused var"
(wrapProcSeq $ A.Only emptyMeta (A.Skip emptyMeta))
(wrapProcSeq $
A.Spec emptyMeta
(A.Specification emptyMeta (simpleName "x") $ A.Declaration emptyMeta A.Int) $
A.Spec emptyMeta
(A.Specification emptyMeta (simpleName "y") $ A.Declaration emptyMeta A.Int) $
A.Spec emptyMeta
(A.Specification emptyMeta (simpleName "z") $ A.Declaration emptyMeta A.Int) $
A.Only emptyMeta (A.Skip emptyMeta))
,test "Unused var in loop"
(wrapProcSeq $ A.Only emptyMeta $ A.While emptyMeta (A.True emptyMeta) $ A.Seq
emptyMeta $ A.Several emptyMeta [A.Only emptyMeta $ A.Skip emptyMeta])