File: enum.expect

package info (click to toggle)
splint 1%3A3.1.2%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid, trixie
  • size: 21,004 kB
  • sloc: ansic: 150,869; yacc: 3,465; sh: 3,034; makefile: 2,157; lex: 412
file content (72 lines) | stat: -rw-r--r-- 3,915 bytes parent folder | download | duplicates (7)
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

enum.c:2:16: Enumerator member cero declared with inconsistent type:
                enum { cero, uno, dos, tres }
   enum.lcl:2:16: Specification of cero: enum { cero, uno, dos }
enum.c:2:22: Enumerator member uno declared with inconsistent type:
                enum { cero, uno, dos, tres }
   enum.lcl:2:22: Specification of uno: enum { cero, uno, dos }
enum.c:2:27: Enumerator member dos declared with inconsistent type:
                enum { cero, uno, dos, tres }
   enum.lcl:2:27: Specification of dos: enum { cero, uno, dos }
enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but
                specified with members { cero, uno, dos }
   enum.lcl:2:33: Specification of stype
enum.c:4:22: Enumerator member siete declared with inconsistent type:
                enum _itag { siete }
   enum.lcl:3:23: Specification of siete: enum _ietag { siete }
enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified
                with fields { int a; int b; int c; }
   enum.lcl:6:41: Specification of st2
   enum.lcl:7:1: Field present in specification, missing in declaration: int c
enum.c: (in function f)
enum.c:15:7: Value a[] used before definition
enum.c:23:6: Missing cases in switch: two, three
enum.c:30:12: Case in switch not mtype member: three
enum.c:36:8: Missing case in switch: threem
enum.c:38:10: Duplicate case in switch: one
enum.c:47:2: Path with no return in function declared to return int
enum.c:51:8: Enumerator member hasta declared with inconsistent type:
                enum { hasta, pasta, yummy }
   enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta }
enum.c:51:15: Enumerator member pasta declared with inconsistent type:
                 enum { hasta, pasta, yummy }
   enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta }
enum.lcl:3:9: Enum tag enum _ietag specified but not defined
enum.lcl:8:22: Enum member yasta specified but not defined

Finished checking --- 16 code warnings, as expected

enum.c:2:16: Enumerator member cero declared with inconsistent type:
                enum { cero, uno, dos, tres }
   enum.lcl:2:16: Specification of cero: enum { cero, uno, dos }
enum.c:2:22: Enumerator member uno declared with inconsistent type:
                enum { cero, uno, dos, tres }
   enum.lcl:2:22: Specification of uno: enum { cero, uno, dos }
enum.c:2:27: Enumerator member dos declared with inconsistent type:
                enum { cero, uno, dos, tres }
   enum.lcl:2:27: Specification of dos: enum { cero, uno, dos }
enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but
                specified with members { cero, uno, dos }
   enum.lcl:2:33: Specification of stype
enum.c:4:22: Enumerator member siete declared with inconsistent type:
                enum _itag { siete }
   enum.lcl:3:23: Specification of siete: enum _ietag { siete }
enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified
                with fields { int a; int b; int c; }
   enum.lcl:6:41: Specification of st2
   enum.lcl:7:1: Field present in specification, missing in declaration: int c
enum.c: (in function f)
enum.c:15:7: Value a[] used before definition
enum.c:30:12: Case in switch not mtype member: three
enum.c:38:10: Duplicate case in switch: one
enum.c:47:2: Path with no return in function declared to return int
enum.c:51:8: Enumerator member hasta declared with inconsistent type:
                enum { hasta, pasta, yummy }
   enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta }
enum.c:51:15: Enumerator member pasta declared with inconsistent type:
                 enum { hasta, pasta, yummy }
   enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta }
enum.lcl:3:9: Enum tag enum _ietag specified but not defined
enum.lcl:8:22: Enum member yasta specified but not defined

Finished checking --- 14 code warnings, as expected