[splint.git] / test / typequals.out


tq.h:3:45: Datatype tmixm inconsistently declared as immutable
   tq.lcl:3:1: Specification of tmixm
tq.h:4:45: Datatype tmixa inconsistently declared as abstract type
   tq.lcl:5:14: Specification of tmixa
tq.h:5:45: Datatype tmixi inconsistently declared as mutable
   tq.lcl:4:1: Specification of tmixi
typequals.c: (in function f)
typequals.c:6:4: Operand of * is abstract type (tam): *xtam
typequals.c:7:4: Operand of * is abstract type (tai): *xtai

Finished LCLint checking --- 5 code errors found, as expected

typequals.c: (in function f)
typequals.c:6:4: Operand of * is abstract type (tam): *xtam
typequals.c:7:4: Operand of * is abstract type (tai): *xtai

Finished LCLint checking --- 2 code errors found, as expected
Commit	Line	Data
e12110be	1
8e37b772	2	tq.h:3:45: Datatype tmixm inconsistently declared as immutable
	3	tq.lcl:3:1: Specification of tmixm
	4	tq.h:4:45: Datatype tmixa inconsistently declared as abstract type
	5	tq.lcl:5:14: Specification of tmixa
	6	tq.h:5:45: Datatype tmixi inconsistently declared as mutable
	7	tq.lcl:4:1: Specification of tmixi
	8	typequals.c: (in function f)
	9	typequals.c:6:4: Operand of * is abstract type (tam): *xtam
	10	typequals.c:7:4: Operand of * is abstract type (tai): *xtai
	11
	12	Finished LCLint checking --- 5 code errors found, as expected
	13
	14	typequals.c: (in function f)
	15	typequals.c:6:4: Operand of * is abstract type (tam): *xtam
	16	typequals.c:7:4: Operand of * is abstract type (tai): *xtai
	17
	18	Finished LCLint checking --- 2 code errors found, as expected