-gmake[3]: Entering directory `/tmp/LCLintDev/test'
-Cannot find standard library: ansi.lcd
- Check LARCH_PATH environment variable.
+Finished checking --- no warnings
-Finished LCLint checking --- no code errors found
-
-Cannot find standard library: ansi.lcd
- Check LARCH_PATH environment variable.
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
-prefixes.c:20:50: Unrecognized identifier in macro definition: FALSE
-Finished LCLint checking --- 5 code errors found, expected 4
-gmake[3]: *** [prefixes] Error 1
-gmake[3]: Leaving directory `/tmp/LCLintDev/test'
+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
andersk / splint.git / blobdiff