[splint.git] / test / prefixes.expect


Finished checking --- no warnings

prefixes.c:20: Parameterized macro has no prototype or specification: mf 
prefixes.c: (in macro mf)
prefixes.c:20:37: Variable y name is not consistent with macro variable
                     namespace prefix "m_"
prefixes.c:20:37: Variable y declared but not used
prefixes.c:20:26: Variable m_x declared but not used

Finished checking --- 4 code warnings, as expected

prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
                    namespace prefix "T"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "T"

Finished checking --- 2 code warnings, as expected

prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^"

Finished checking --- 1 code warning, as expected

prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
                    namespace prefix "^*"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^*"

Finished checking --- 2 code warnings, as expected

prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
                    namespace prefix "^%*"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^%*"

Finished checking --- 2 code warnings, as expected

prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
                    namespace prefix "^~*"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^~*"

Finished checking --- 2 code warnings, as expected

prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "^"
prefixes.c:6:12: Variable FSint name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:7:12: Variable TYint name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:8:12: Variable V3int name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:10:12: Variable Xqmxt name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:11:12: Variable XqmXt name is not a user-defined type (it is a file
    static), but matches the user-defined type namespace prefix "^"
prefixes.c:14:12: Variable Gint name is not a user-defined type (it is a
    external), but matches the user-defined type namespace prefix "^"

Finished checking --- 7 code warnings, as expected

prefixes.c:8:12: Variable V3int name is not consistent with file static
                    namespace prefix "^^"
prefixes.c:9:12: Variable sint name is not consistent with file static
                    namespace prefix "^^"
prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
                     namespace prefix "^^"
prefixes.c:11:12: Variable XqmXt name is not consistent with file static
                     namespace prefix "^^"

Finished checking --- 4 code warnings, as expected

prefixes.c:6:12: Variable FSint name is not consistent with file static
                    namespace prefix "^#"
prefixes.c:7:12: Variable TYint name is not consistent with file static
                    namespace prefix "^#"
prefixes.c:9:12: Variable sint name is not consistent with file static
                    namespace prefix "^#"
prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
                     namespace prefix "^#"
prefixes.c:11:12: Variable XqmXt name is not consistent with file static
                     namespace prefix "^#"

Finished checking --- 5 code warnings, as expected

prefixes.c:6:12: Variable FSint name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:7:12: Variable TYint name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:8:12: Variable V3int name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:9:12: Variable sint name is not consistent with file static
                    namespace prefix "^?&x"
prefixes.c:11:12: Variable XqmXt name is not consistent with file static
                     namespace prefix "^?&x"

Finished checking --- 5 code warnings, as expected

prefixes.c:15:12: Variable aGb_Xint name is not consistent with global variable
                     namespace prefix "G"

Finished checking --- 1 code warning, as expected

prefixes.c:14:12: Variable Gint name is not consistent with global variable
                     namespace prefix "&G?_^"

Finished checking --- 1 code warning, as expected

prefixes.c:1:13: Datatype Tin_ty name is not consistent with external namespace
                    prefix "G"
prefixes.c:2:13: Datatype QINT name is not consistent with external namespace
                    prefix "G"
prefixes.c:3:13: Datatype tint name is not consistent with external namespace
                    prefix "G"
prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
                     namespace prefix "G"
prefixes.c:18:12: Function g name is not consistent with external namespace
                     prefix "G"

Finished checking --- 5 code warnings, as expected

prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
                    namespace prefix "T"
prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
                    namespace prefix "T"
prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
                     namespace prefix "G"
prefixes.c:18:12: Function g name is not consistent with external namespace
                     prefix "G"

Finished checking --- 4 code warnings, as expected

prefixes.c:20: Expanded macro mf name is not a local variable (it is a
    unchecked macro), but matches the local variable namespace prefix "?*"
prefixes.c:1:13: Datatype Tin_ty name is not a local variable (it is a
    external), but matches the local variable namespace prefix "?*"
prefixes.c:2:13: Datatype QINT name is not a local variable (it is a external),
                    but matches the local variable namespace prefix "?*"
prefixes.c:3:13: Datatype tint name is not a local variable (it is a external),
                    but matches the local variable namespace prefix "?*"
prefixes.c:6:12: Variable FSint name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:7:12: Variable TYint name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:8:12: Variable V3int name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:9:12: Variable sint name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:10:12: Variable Xqmxt name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:11:12: Variable XqmXt name is not a local variable (it is a file
    static), but matches the local variable namespace prefix "?*"
prefixes.c:14:12: Variable Gint name is not a local variable (it is a
    external), but matches the local variable namespace prefix "?*"
prefixes.c:15:12: Variable aGb_Xint name is not a local variable (it is a
    external), but matches the local variable namespace prefix "?*"
prefixes.c:18:12: Function g name is not a local variable (it is a external),
                     but matches the local variable namespace prefix "?*"

Finished checking --- 13 code warnings, as expected
Commit	Line	Data
885824d3	1
11db3170	2	Finished checking --- no warnings
885824d3	3
	4	prefixes.c:20: Parameterized macro has no prototype or specification: mf
	5	prefixes.c: (in macro mf)
	6	prefixes.c:20:37: Variable y name is not consistent with macro variable
	7	namespace prefix "m_"
	8	prefixes.c:20:37: Variable y declared but not used
	9	prefixes.c:20:26: Variable m_x declared but not used
	10
11db3170	11	Finished checking --- 4 code warnings, as expected
885824d3	12
	13	prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
	14	namespace prefix "T"
	15	prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
	16	namespace prefix "T"
	17
11db3170	18	Finished checking --- 2 code warnings, as expected
885824d3	19
	20	prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
	21	namespace prefix "^"
	22
11db3170	23	Finished checking --- 1 code warning, as expected
885824d3	24
	25	prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
	26	namespace prefix "^*"
	27	prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
	28	namespace prefix "^*"
	29
11db3170	30	Finished checking --- 2 code warnings, as expected
885824d3	31
	32	prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
	33	namespace prefix "^%*"
	34	prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
	35	namespace prefix "^%*"
	36
11db3170	37	Finished checking --- 2 code warnings, as expected
885824d3	38
	39	prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type
	40	namespace prefix "^~*"
	41	prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
	42	namespace prefix "^~*"
	43
11db3170	44	Finished checking --- 2 code warnings, as expected
885824d3	45
	46	prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
	47	namespace prefix "^"
	48	prefixes.c:6:12: Variable FSint name is not a user-defined type (it is a file
	49	static), but matches the user-defined type namespace prefix "^"
	50	prefixes.c:7:12: Variable TYint name is not a user-defined type (it is a file
	51	static), but matches the user-defined type namespace prefix "^"
	52	prefixes.c:8:12: Variable V3int name is not a user-defined type (it is a file
	53	static), but matches the user-defined type namespace prefix "^"
	54	prefixes.c:10:12: Variable Xqmxt name is not a user-defined type (it is a file
	55	static), but matches the user-defined type namespace prefix "^"
	56	prefixes.c:11:12: Variable XqmXt name is not a user-defined type (it is a file
	57	static), but matches the user-defined type namespace prefix "^"
	58	prefixes.c:14:12: Variable Gint name is not a user-defined type (it is a
	59	external), but matches the user-defined type namespace prefix "^"
	60
11db3170	61	Finished checking --- 7 code warnings, as expected
885824d3	62
	63	prefixes.c:8:12: Variable V3int name is not consistent with file static
	64	namespace prefix "^^"
	65	prefixes.c:9:12: Variable sint name is not consistent with file static
	66	namespace prefix "^^"
	67	prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
	68	namespace prefix "^^"
	69	prefixes.c:11:12: Variable XqmXt name is not consistent with file static
	70	namespace prefix "^^"
	71
11db3170	72	Finished checking --- 4 code warnings, as expected
885824d3	73
	74	prefixes.c:6:12: Variable FSint name is not consistent with file static
	75	namespace prefix "^#"
	76	prefixes.c:7:12: Variable TYint name is not consistent with file static
	77	namespace prefix "^#"
	78	prefixes.c:9:12: Variable sint name is not consistent with file static
	79	namespace prefix "^#"
	80	prefixes.c:10:12: Variable Xqmxt name is not consistent with file static
	81	namespace prefix "^#"
	82	prefixes.c:11:12: Variable XqmXt name is not consistent with file static
	83	namespace prefix "^#"
	84
11db3170	85	Finished checking --- 5 code warnings, as expected
885824d3	86
	87	prefixes.c:6:12: Variable FSint name is not consistent with file static
	88	namespace prefix "^?&x"
	89	prefixes.c:7:12: Variable TYint name is not consistent with file static
	90	namespace prefix "^?&x"
	91	prefixes.c:8:12: Variable V3int name is not consistent with file static
	92	namespace prefix "^?&x"
	93	prefixes.c:9:12: Variable sint name is not consistent with file static
	94	namespace prefix "^?&x"
	95	prefixes.c:11:12: Variable XqmXt name is not consistent with file static
	96	namespace prefix "^?&x"
	97
11db3170	98	Finished checking --- 5 code warnings, as expected
885824d3	99
	100	prefixes.c:15:12: Variable aGb_Xint name is not consistent with global variable
	101	namespace prefix "G"
	102
11db3170	103	Finished checking --- 1 code warning, as expected
885824d3	104
	105	prefixes.c:14:12: Variable Gint name is not consistent with global variable
	106	namespace prefix "&G?_^"
	107
11db3170	108	Finished checking --- 1 code warning, as expected
885824d3	109
	110	prefixes.c:1:13: Datatype Tin_ty name is not consistent with external namespace
	111	prefix "G"
	112	prefixes.c:2:13: Datatype QINT name is not consistent with external namespace
	113	prefix "G"
	114	prefixes.c:3:13: Datatype tint name is not consistent with external namespace
	115	prefix "G"
	116	prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
	117	namespace prefix "G"
	118	prefixes.c:18:12: Function g name is not consistent with external namespace
	119	prefix "G"
	120
11db3170	121	Finished checking --- 5 code warnings, as expected
885824d3	122
	123	prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type
	124	namespace prefix "T"
	125	prefixes.c:3:13: Datatype tint name is not consistent with user-defined type
	126	namespace prefix "T"
	127	prefixes.c:15:12: Variable aGb_Xint name is not consistent with external
	128	namespace prefix "G"
	129	prefixes.c:18:12: Function g name is not consistent with external namespace
	130	prefix "G"
	131
11db3170	132	Finished checking --- 4 code warnings, as expected
885824d3	133
	134	prefixes.c:20: Expanded macro mf name is not a local variable (it is a
	135	unchecked macro), but matches the local variable namespace prefix "?*"
	136	prefixes.c:1:13: Datatype Tin_ty name is not a local variable (it is a
	137	external), but matches the local variable namespace prefix "?*"
	138	prefixes.c:2:13: Datatype QINT name is not a local variable (it is a external),
	139	but matches the local variable namespace prefix "?*"
	140	prefixes.c:3:13: Datatype tint name is not a local variable (it is a external),
	141	but matches the local variable namespace prefix "?*"
	142	prefixes.c:6:12: Variable FSint name is not a local variable (it is a file
	143	static), but matches the local variable namespace prefix "?*"
	144	prefixes.c:7:12: Variable TYint name is not a local variable (it is a file
	145	static), but matches the local variable namespace prefix "?*"
	146	prefixes.c:8:12: Variable V3int name is not a local variable (it is a file
	147	static), but matches the local variable namespace prefix "?*"
	148	prefixes.c:9:12: Variable sint name is not a local variable (it is a file
	149	static), but matches the local variable namespace prefix "?*"
	150	prefixes.c:10:12: Variable Xqmxt name is not a local variable (it is a file
	151	static), but matches the local variable namespace prefix "?*"
	152	prefixes.c:11:12: Variable XqmXt name is not a local variable (it is a file
	153	static), but matches the local variable namespace prefix "?*"
	154	prefixes.c:14:12: Variable Gint name is not a local variable (it is a
	155	external), but matches the local variable namespace prefix "?*"
	156	prefixes.c:15:12: Variable aGb_Xint name is not a local variable (it is a
	157	external), but matches the local variable namespace prefix "?*"
	158	prefixes.c:18:12: Function g name is not a local variable (it is a external),
	159	but matches the local variable namespace prefix "?*"
	160
11db3170	161	Finished checking --- 13 code warnings, as expected