[splint.git] / test / numabstract.expect


numabstract.c: (in function adding)
numabstract.c:13:3: Assignment of char to apples: a2 = 'a'
numabstract.c:14:3: Assignment of char to int: i = 'c'
numabstract.c:15:17: Cast from literal to numabstract type apples: (apples)13
numabstract.c:16:8: Incompatible types for + (apples, int): a + 5
numabstract.c:17:3: Assignment of oranges to apples: a2 = o
numabstract.c:19:3: Assignment of oranges to int: i = o
numabstract.c:20:3: Assignment of apples to int: i = a2 + a
numabstract.c:21:10: Operands of + are different numabstract types (apples,
                        oranges): a + o
numabstract.c: (in function comparing)
numabstract.c:26:7: Operands of < have incompatible types (apples, int): a < 3
numabstract.c:30:7: Operands of < are different numabstract types (apples,
                       oranges): a < o
numabstract.c:34:7: Operands of == are different numabstract types (apples,
                       oranges): a == o

Finished checking --- 11 code warnings, as expected

numabstract.c: (in function adding)
numabstract.c:13:3: Assignment of char to apples: a2 = 'a'
numabstract.c:14:3: Assignment of char to int: i = 'c'
numabstract.c:15:17: Cast from literal to numabstract type apples: (apples)13
numabstract.c:17:3: Assignment of oranges to apples: a2 = o
numabstract.c:19:3: Assignment of oranges to int: i = o
numabstract.c:20:3: Assignment of apples to int: i = a2 + a
numabstract.c:21:10: Operands of + are different numabstract types (apples,
                        oranges): a + o
numabstract.c: (in function comparing)
numabstract.c:30:7: Operands of < are different numabstract types (apples,
                       oranges): a < o
numabstract.c:34:7: Operands of == are different numabstract types (apples,
                       oranges): a == o

Finished checking --- 9 code warnings, as expected

numabstract.c: (in function adding)
numabstract.c:13:3: Assignment of char to apples: a2 = 'a'
numabstract.c:14:3: Assignment of char to int: i = 'c'
numabstract.c:16:8: Incompatible types for + (apples, int): a + 5
numabstract.c:17:3: Assignment of oranges to apples: a2 = o
numabstract.c:19:3: Assignment of oranges to int: i = o
numabstract.c:20:3: Assignment of apples to int: i = a2 + a
numabstract.c:21:10: Operands of + are different numabstract types (apples,
                        oranges): a + o
numabstract.c: (in function comparing)
numabstract.c:26:7: Operands of < have incompatible types (apples, int): a < 3
numabstract.c:30:7: Operands of < are different numabstract types (apples,
                       oranges): a < o
numabstract.c:34:7: Operands of == are different numabstract types (apples,
                       oranges): a == o

Finished checking --- 10 code warnings, as expected
Commit	Line	Data
e5081f8c	1
	2	numabstract.c: (in function adding)
	3	numabstract.c:13:3: Assignment of char to apples: a2 = 'a'
	4	numabstract.c:14:3: Assignment of char to int: i = 'c'
	5	numabstract.c:15:17: Cast from literal to numabstract type apples: (apples)13
	6	numabstract.c:16:8: Incompatible types for + (apples, int): a + 5
	7	numabstract.c:17:3: Assignment of oranges to apples: a2 = o
	8	numabstract.c:19:3: Assignment of oranges to int: i = o
	9	numabstract.c:20:3: Assignment of apples to int: i = a2 + a
	10	numabstract.c:21:10: Operands of + are different numabstract types (apples,
	11	oranges): a + o
16c024b5	12	numabstract.c: (in function comparing)
	13	numabstract.c:26:7: Operands of < have incompatible types (apples, int): a < 3
	14	numabstract.c:30:7: Operands of < are different numabstract types (apples,
	15	oranges): a < o
	16	numabstract.c:34:7: Operands of == are different numabstract types (apples,
	17	oranges): a == o
e5081f8c	18
16c024b5	19	Finished checking --- 11 code warnings, as expected
e5081f8c	20
	21	numabstract.c: (in function adding)
	22	numabstract.c:13:3: Assignment of char to apples: a2 = 'a'
	23	numabstract.c:14:3: Assignment of char to int: i = 'c'
	24	numabstract.c:15:17: Cast from literal to numabstract type apples: (apples)13
	25	numabstract.c:17:3: Assignment of oranges to apples: a2 = o
	26	numabstract.c:19:3: Assignment of oranges to int: i = o
	27	numabstract.c:20:3: Assignment of apples to int: i = a2 + a
	28	numabstract.c:21:10: Operands of + are different numabstract types (apples,
	29	oranges): a + o
16c024b5	30	numabstract.c: (in function comparing)
	31	numabstract.c:30:7: Operands of < are different numabstract types (apples,
	32	oranges): a < o
	33	numabstract.c:34:7: Operands of == are different numabstract types (apples,
	34	oranges): a == o
e5081f8c	35
16c024b5	36	Finished checking --- 9 code warnings, as expected
e5081f8c	37
	38	numabstract.c: (in function adding)
	39	numabstract.c:13:3: Assignment of char to apples: a2 = 'a'
	40	numabstract.c:14:3: Assignment of char to int: i = 'c'
	41	numabstract.c:16:8: Incompatible types for + (apples, int): a + 5
	42	numabstract.c:17:3: Assignment of oranges to apples: a2 = o
	43	numabstract.c:19:3: Assignment of oranges to int: i = o
	44	numabstract.c:20:3: Assignment of apples to int: i = a2 + a
	45	numabstract.c:21:10: Operands of + are different numabstract types (apples,
	46	oranges): a + o
16c024b5	47	numabstract.c: (in function comparing)
	48	numabstract.c:26:7: Operands of < have incompatible types (apples, int): a < 3
	49	numabstract.c:30:7: Operands of < are different numabstract types (apples,
	50	oranges): a < o
	51	numabstract.c:34:7: Operands of == are different numabstract types (apples,
	52	oranges): a == o
e5081f8c	53
16c024b5	54	Finished checking --- 10 code warnings, as expected