noexpand always false.

[splint.git] / test / enum.expect

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