[splint.git] / test / oldstyle.out


oldstyle.c: (in function f1)
oldstyle.c:5:8: Dereference of non-pointer (int): *y
oldstyle.c:10:5: Function f2 declared with 1 arg, specified with 2
   oldstyle.lcl:2: Specification of f2
oldstyle.c:15:12: Parameter 2, y, of function f3 has inconsistent type:
                     declared char, specified char *
   oldstyle.lcl:4:1: Specification of y: char *

Finished checking --- 3 code warnings, as expected
Commit	Line	Data
86d93ed3	1
	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
	10	Finished checking --- 3 code warnings, as expected