Some consistency changes to library & headers flags.
[splint-patched.git] / test / enum.expect
blob0efc24d458518033aa240d5d6f4e92ee23ee4f40
2 enum.c:2:16: Enumerator member cero declared with inconsistent type:
3                 enum { cero, uno, dos, tres }
4    enum.lcl:2:16: Specification of cero: enum { cero, uno, dos }
5 enum.c:2:22: Enumerator member uno declared with inconsistent type:
6                 enum { cero, uno, dos, tres }
7    enum.lcl:2:22: Specification of uno: enum { cero, uno, dos }
8 enum.c:2:27: Enumerator member dos declared with inconsistent type:
9                 enum { cero, uno, dos, tres }
10    enum.lcl:2:27: Specification of dos: enum { cero, uno, dos }
11 enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but
12                 specified with members { cero, uno, dos }
13    enum.lcl:2:33: Specification of stype
14 enum.c:4:22: Enumerator member siete declared with inconsistent type:
15                 enum _itag { siete }
16    enum.lcl:3:23: Specification of siete: enum _ietag { siete }
17 enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified
18                 with fields { int a; int b; int c; }
19    enum.lcl:6:41: Specification of st2
20    enum.lcl:7:1: Field present in specification, missing in declaration: int c
21 enum.c: (in function f)
22 enum.c:15:7: Value a[] used before definition
23 enum.c:23:6: Missing cases in switch: two, three
24 enum.c:30:12: Case in switch not mtype member: three
25 enum.c:36:8: Missing case in switch: threem
26 enum.c:38:10: Duplicate case in switch: one
27 enum.c:47:2: Path with no return in function declared to return int
28 enum.c:51:8: Enumerator member hasta declared with inconsistent type:
29                 enum { hasta, pasta, yummy }
30    enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta }
31 enum.c:51:15: Enumerator member pasta declared with inconsistent type:
32                  enum { hasta, pasta, yummy }
33    enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta }
34 enum.lcl:3:9: Enum tag enum _ietag specified but not defined
35 enum.lcl:8:22: Enum member yasta specified but not defined
37 Finished checking --- 16 code warnings, as expected
39 enum.c:2:16: Enumerator member cero declared with inconsistent type:
40                 enum { cero, uno, dos, tres }
41    enum.lcl:2:16: Specification of cero: enum { cero, uno, dos }
42 enum.c:2:22: Enumerator member uno declared with inconsistent type:
43                 enum { cero, uno, dos, tres }
44    enum.lcl:2:22: Specification of uno: enum { cero, uno, dos }
45 enum.c:2:27: Enumerator member dos declared with inconsistent type:
46                 enum { cero, uno, dos, tres }
47    enum.lcl:2:27: Specification of dos: enum { cero, uno, dos }
48 enum.c:2:39: Enum stype declared with members { cero, uno, dos, tres } but
49                 specified with members { cero, uno, dos }
50    enum.lcl:2:33: Specification of stype
51 enum.c:4:22: Enumerator member siete declared with inconsistent type:
52                 enum _itag { siete }
53    enum.lcl:3:23: Specification of siete: enum _ietag { siete }
54 enum.c:6:34: Structure st2 declared with fields { int a; int b; }, specified
55                 with fields { int a; int b; int c; }
56    enum.lcl:6:41: Specification of st2
57    enum.lcl:7:1: Field present in specification, missing in declaration: int c
58 enum.c: (in function f)
59 enum.c:15:7: Value a[] used before definition
60 enum.c:30:12: Case in switch not mtype member: three
61 enum.c:38:10: Duplicate case in switch: one
62 enum.c:47:2: Path with no return in function declared to return int
63 enum.c:51:8: Enumerator member hasta declared with inconsistent type:
64                 enum { hasta, pasta, yummy }
65    enum.lcl:8:8: Specification of hasta: enum { hasta, pasta, yasta }
66 enum.c:51:15: Enumerator member pasta declared with inconsistent type:
67                  enum { hasta, pasta, yummy }
68    enum.lcl:8:15: Specification of pasta: enum { hasta, pasta, yasta }
69 enum.lcl:3:9: Enum tag enum _ietag specified but not defined
70 enum.lcl:8:22: Enum member yasta specified but not defined
72 Finished checking --- 14 code warnings, as expected