Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / oldstyle.expect
blob833ef6d799931007624cb10041452b6036cd59c2
2 oldstyle.c: (in function f1)
3 oldstyle.c:5:8: Dereference of non-pointer (int): *y
4 oldstyle.c:10:5: Function f2 declared with 1 arg, specified with 2
5    oldstyle.lcl:2: Specification of f2
6 oldstyle.c:15:12: Parameter 2, y, of function f3 has inconsistent type:
7                      declared char, specified char *
8    oldstyle.lcl:4:1: Specification of y: char *
9 oldstyle2.c: (in function noShadow)
10 oldstyle2.c:15:14: Statement after switch is not a case: int x
11 oldstyle2.c: (in function unrecognized)
12 oldstyle2.c:29:6: Unrecognized identifier: x
14 Finished checking --- 5 code warnings, as expected