1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
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
|
