[splint.git] / test / typequals.expect


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 checking --- 5 code warnings, 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 checking --- 2 code warnings, as expected
Commit	Line	Data
885824d3	1
	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
11db3170	12	Finished checking --- 5 code warnings, as expected
885824d3	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
11db3170	18	Finished checking --- 2 code warnings, as expected