[splint.git] / test / commentchar.out


commentchar.c:14:1: Syntactic commentchar comment is not followed by a
                       whitespace character: 5
commentchar.c:15:1: Cannot restore commentchar
commentchar.c:10:5: Variable x redefined
   commentchar.c:6:5: Previous definition of x
commentchar.c:10:9: Variable x initialized to type char, expects int: 'c'

Finished checking --- 4 code warnings, as expected

commentchar.c:14:1: Syntactic commentchar comment is not followed by a
                       whitespace character: 5
commentchar.c:15:1: Cannot restore commentchar
commentchar.c:1:26: Unrecognized identifier in modifies comment: x
commentchar.c:6:9: Variable x initialized to type char, expects int: 'c'

Finished checking --- 4 code warnings, as expected
Commit	Line	Data
86d93ed3	1
	2	commentchar.c:14:1: Syntactic commentchar comment is not followed by a
	3	whitespace character: 5
	4	commentchar.c:15:1: Cannot restore commentchar
	5	commentchar.c:10:5: Variable x redefined
	6	commentchar.c:6:5: Previous definition of x
	7	commentchar.c:10:9: Variable x initialized to type char, expects int: 'c'
	8
	9	Finished checking --- 4 code warnings, as expected
	10
	11	commentchar.c:14:1: Syntactic commentchar comment is not followed by a
	12	whitespace character: 5
	13	commentchar.c:15:1: Cannot restore commentchar
	14	commentchar.c:1:26: Unrecognized identifier in modifies comment: x
	15	commentchar.c:6:9: Variable x initialized to type char, expects int: 'c'
	16
	17	Finished checking --- 4 code warnings, as expected