-tainted5.c: (in function test)
-tainted5.c:7:3: Requires clause of called function checkTainted not satisfied
- by def (state is untainted): requires tainted *def
-tainted5.c: (in function test2)
-tainted5.c:13:3: Requires clause of called function checkTainted not satisfied
- by *def (state is untainted): requires tainted *def
-
-Finished LCLint checking --- 2 code errors found, as expected