} * constraintExprData;
/*@constant null constraintExprData constraintExprData_undefined; @*/
-# define constraintExprData_undefined ((constraintExprData)NULL)
+# define constraintExprData_undefined ((constraintExprData) NULL)
extern /*@falsenull@*/ bool constraintExprData_isDefined ( /*@temp@*/ /*@observer@*/ /*@reldef@*/constraintExprData p_e) /*@*/ ;
extern /*@unused@*/ /*@truenull@*/ bool constraintExprData_isUndefined (/*2oberserver@*/ constraintExprData p_e) /*@*/ ;
/*@constant observer char *LCL_PARSE_VERSION;@*/
# define LCL_PARSE_VERSION "LCLint 3.0b-alpha"
/*@constant observer char *LCL_COMPILE;@*/
-# define LCL_COMPILE "Compiled using gcc -DSTDC_HEADERS=1 -g -Wall on Linux fowler 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x"
+# define LCL_COMPILE "Compiled using gcc -Wall -g on Linux paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by evans"
/*@constant observer char *LCL_PARSE_VERSION;@*/
# define LCL_PARSE_VERSION "LCLint 3.0b-alpha"
/*@constant observer char *LCL_COMPILE;@*/
-# define LCL_COMPILE "Compiled using gcc -DSTDC_HEADERS=1 -g -Wall on Linux fowler 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x"
+# define LCL_COMPILE "Compiled using gcc -Wall -g on Linux paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by evans"
extern void lclRedeclarationError (ltoken p_id);
# endif
-extern void flagWarning (/*@observer@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
extern void llerror_flagWarning (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
extern /*@exits@*/ void llbugaux (cstring p_file, int p_line, /*@only@*/ cstring p_s)
extern /*@exits@*/ void llexit (int p_status);
extern void showHerald (void);
-/*@-redecl@*/
+/*@-redecl@*/ /*@-incondefs@*/
extern int yyparse (void);
-extern void yyrestart (FILE *);
+extern void yyrestart (/*@dependent@*/ FILE *);
# ifndef NOLCL
extern int ylparse (void);
extern int lslparse (void);
# endif
-/*@=redecl@*/
-
-/*@-incondefs@*/ /*@-redecl@*/
extern /*@open@*/ /*@dependent@*/ FILE *yyin;
/*@=incondefs@*/ /*@=redecl@*/
/*@constant observer char *SYSTEM_LIBDIR;@*/
# define SYSTEM_LIBDIR "/usr/include"
/*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH ".:/af9/drl7x/re3/LCLintDev/lib"
+# define DEFAULT_LARCHPATH "/usr/local/lclint-2.5m/lib"
/*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/af9/drl7x/re3/LCLintDev/imports"
+# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint-2.5m/imports"
/*@constant observer char *SYSTEM_LIBDIR;@*/
# define SYSTEM_LIBDIR "/usr/include"
/*@constant observer char *DEFAULT_LARCHPATH;@*/
-# define DEFAULT_LARCHPATH ".:/af9/drl7x/re3/LCLintDev/lib"
+# define DEFAULT_LARCHPATH "/usr/local/lclint-2.5m/lib"
/*@constant observer char *DEFAULT_LCLIMPORTDIR;@*/
-# define DEFAULT_LCLIMPORTDIR "/af9/drl7x/re3/LCLintDev/imports"
+# define DEFAULT_LCLIMPORTDIR "/usr/local/lclint-2.5m/imports"
if (val <= 0)
{
- cstring warn = message ("Value for %s must be a positive "
- "number (given %d)",
- flagcode_unparse (flag), val);
-
- flagWarning (warn);
- cstring_free (warn);
+ llerror_flagWarning (message ("Value for %s must be a positive "
+ "number (given %d)",
+ flagcode_unparse (flag), val));
return;
}
if (flag == FLG_LINELEN && val < MINLINELEN)
{
- cstring warn = message ("Value for %s must be at least %d (given %d)",
- flagcode_unparse (flag),
- MINLINELEN, val);
- flagWarning (warn);
- cstring_free (warn);
+ llerror_flagWarning (message ("Value for %s must be at least %d (given %d)",
+ flagcode_unparse (flag),
+ MINLINELEN, val));
val = MINLINELEN;
}
break;
if (val < 0)
{
- cstring warn = message ("Value for %s must be a non-negative "
- "number (given %d)",
- flagcode_unparse (flag), val);
-
- flagWarning (warn);
- cstring_free (warn);
+ llerror_flagWarning (message ("Value for %s must be a non-negative "
+ "number (given %d)",
+ flagcode_unparse (flag), val));
return;
}
if (cstring_getChar (tval, n) != '\"')
{
- cstring msg = message ("Setting -systemdirs to string with unmatching quotes: %s", val);
- flagWarning (msg);
- cstring_free (msg);
+ llerror_flagWarning (message ("Setting -systemdirs to string with unmatching quotes: %s", val));
}
else
{
if (cstring_length (val) >= 1
&& cstring_firstChar (val) == '"')
{
- cstring s = message
- ("setting %s to string beginning with \". You probably "
- "don't meant to have the \"'s.",
- flagcode_unparse (flag));
-
- flagWarning (s);
- cstring_free (s);
+ llerror_flagWarning (message
+ ("setting %s to string beginning with \". You probably "
+ "don't meant to have the \"'s.",
+ flagcode_unparse (flag)));
}
if (flag == FLG_BOOLTYPE)
{
if (gc.flags[FLG_EXPORTHEADER])
{
- flagWarning (cstring_makeLiteralTemp
- ("setting +neverinclude after +exportheader. "
- "Turning off exportheader, since headers are not checked "
- "when +neverinclude is used."));
+ llerror_flagWarning (cstring_makeLiteral
+ ("setting +neverinclude after +exportheader. "
+ "Turning off exportheader, since headers are not checked "
+ "when +neverinclude is used."));
gc.flags[FLG_EXPORTHEADER] = FALSE;
}
{
if (gc.flags[FLG_NEVERINCLUDE])
{
- flagWarning (cstring_makeLiteralTemp
- ("setting +exportheader after +neverinclude. "
- "Not setting exportheader, since headers are not checked "
- "when +neverinclude is used."));
+ llerror_flagWarning (cstring_makeLiteral
+ ("setting +exportheader after +neverinclude. "
+ "Not setting exportheader, since headers are not checked "
+ "when +neverinclude is used."));
gc.flags[FLG_EXPORTHEADER] = FALSE;
return;
}
&& !flagcode_isIdemFlag (f)
&& !flagcode_hasArgument (f))
{
- cstring warn = message ("setting %s%s redundant with current value",
- cstring_makeLiteralTemp (b ? "+" : "-"),
- flagcode_unparse (f));
- flagWarning (warn);
- cstring_free (warn);
+ llerror_flagWarning (message ("setting %s%s redundant with current value",
+ cstring_makeLiteralTemp (b ? "+" : "-"),
+ flagcode_unparse (f)));
}
}
{
if (!context_getFlag (FLG_WARNUSE))
{
- cstring warn = message ("flag +%s is canceled by -warnuse",
- flagcode_unparse (f));
- flagWarning (warn);
- cstring_free (warn);
+ llerror_flagWarning (message ("flag +%s is canceled by -warnuse",
+ flagcode_unparse (f)));
}
}
if (gc.library != FLG_ANSILIB
&& gc.library != f)
{
- cstring warn = message ("selecting library %s after library %s was "
- "selected (only one library may be used)",
- flagcode_unparse (f),
- flagcode_unparse (gc.library));
- flagWarning (warn);
- cstring_free (warn);
+ llerror_flagWarning (message ("selecting library %s after library %s was "
+ "selected (only one library may be used)",
+ flagcode_unparse (f),
+ flagcode_unparse (gc.library)));
}
if (f == FLG_UNIXLIB)
{
if (context_getFlag (FLG_WARNUNIXLIB))
{
- flagWarning (cstring_makeLiteralTemp
- ("selecting unix library. Unix library is "
- "ad hoc addition to POSIX library. Recommend "
- "use +posixlib to select POSIX library instead. "
- "Use -warnunixlib to suppress this message."));
+ llerror_flagWarning (cstring_makeLiteral
+ ("selecting unix library. Unix library is "
+ "ad hoc addition to POSIX library. Recommend "
+ "use +posixlib to select POSIX library instead. "
+ "Use -warnunixlib to suppress this message."));
}
}
gc.library = f;
}
-
+
+ if (flagcode_isNameChecksFlag (f) && b && !context_maybeSet (FLG_NAMECHECKS))
+ {
+ llerror_flagWarning (message
+ ("setting +%s will not produce warnings with -namechecks. Must set +namechecks also.",
+ flagcode_unparse (f)));
+ }
+
gc.setGlobally[f] = TRUE;
context_setFlag (f, b);
}
if (cstring_equalLit (s, "accessunspec"))
{
- flagWarning
- (cstring_makeLiteralTemp
+ llerror_flagWarning
+ (cstring_makeLiteral
("accessunspec flag is not supported by LCLint version 2.0 or "
"later. It has been replaced by accessmodule, accessfile and "
"accessfunction to provide more precise control of accessibility "
if (cstring_equalLit (s, "staticmods"))
{
- flagWarning
- (cstring_makeLiteralTemp
+ llerror_flagWarning
+ (cstring_makeLiteral
("staticmods flag is obsolete. You probably "
"want impcheckmodstatics. For more information, "
"see lclint -help impcheckmodstatics"));
if (cstring_equalLit (s, "bool"))
{
- flagWarning
- (cstring_makeLiteralTemp ("bool flag is obsolete. It never really "
- "made sense in the first place."));
+ llerror_flagWarning
+ (cstring_makeLiteral ("bool flag is obsolete. It never really "
+ "made sense in the first place."));
return SKIP_FLAG;
}
if (cstring_equalLit (s, "ansi"))
{
- flagWarning
- (cstring_makeLiteralTemp ("ansi flag is obsolete. You probably "
- "want noparams and/or oldstyle."));
+ llerror_flagWarning
+ (cstring_makeLiteral ("ansi flag is obsolete. You probably "
+ "want noparams and/or oldstyle."));
return SKIP_FLAG;
}
if (cstring_equalLit (s, "stdio"))
{
- flagWarning
- (cstring_makeLiteralTemp
+ llerror_flagWarning
+ (cstring_makeLiteral
("stdio flag is obsolete. You may "
"want strictlib or one of the gloabls "
"checking flags. For more information, "
3 f2 ()!
3 f0 (995|0@5@7&#,)!
3 f1 (995|0@5@7&#,)!
-3 f0 (1145|0@5@19@3@0#,)!
-3 f1 (1145|0@5@19@3@0#,)!
+3 f0 (1145|0@5@2&#,)!
+3 f1 (1145|0@5@2&#,)!
3 f0 (1145|0@5@7&#,5|$#,1145|0@5@2&#,)!
3 f1 (1145|0@5@7&#,5|$#,1145|0@5@2&#,)!
3 f0 (1145|0@5@2&#,)!
3 f5 ()!
3 f0 (5|^#,)!
3 f1 (5|^#,)!
-3 f1 (211|^#,)!
+3 f1 (211|0@0@18&#,)!
3 f0 (5|^#,)!
3 f1 (5|^#,)!
3 f1 (8901|^#,)!
3 f1 ()!
3 f0 ()!
3 f5 ()!
-3 f0 (211|^#,)!
-3 f1 (211|^#,)!
+3 f0 (211|0@0@18&#,)!
+3 f1 (211|0@0@18&#,)!
3 f0 ()!
3 f5 ()!
3 f0 ()!
3 f1 (1145|0@5@2&#,)!
3 f0 (1145|0@5@2&#,)!
3 f1 (1145|0@5@2&#,)!
-3 f0 (1145|0@5@19@3@0#,)!
-3 f1 (1145|0@5@19@3@0#,)!
+3 f0 (1145|0@5@2&#,)!
+3 f1 (1145|0@5@2&#,)!
3 f0 (1145|0@5@2&#,)!
3 f1 (1145|0@5@2&#,)!
3 f0 (1145|0@5@2&#,)!
^3329 13808$$$@0#lclplainerror
^3330 13800$$$@0#lclHadError
^3331 13814$$$@0#lclRedeclarationError
-^3332 13731$@0@g2534@0@0@1@g2534$@0#flagWarning
+^3332 13731$@0@g2534@0@0@1@g2534$@0#llerror_flagWarning
^3333 13790@6@0@6@0@0@1@g2534@6@0,g2533@6@5@1@tg2534$@0#llbugaux
^3334 13844$@0@g2534@0@0@1@tg2534$@0#llquietbugaux
^3335 2390$@1@g2534@6@0,g2533@6@5,s1@1@g2534,s1$@0#cleanupMessages
f2 = FLG_NAMECHECKS;
}
- if (cstring_isDefined (desc))
+ if (f1 == f2)
{
- llgenhint (message ("%s (Setting either %h%s or %h%s will suppress message)", desc,
- c,
- flagcode_unparse (f1),
- c,
- flagcode_unparse (f2)));
+ if (cstring_isDefined (desc))
+ {
+ llgenhint (message ("%s (Setting %h%s will suppress message)", desc,
+ c,
+ flagcode_unparse (f1)));
+ }
+ else
+ {
+ llgenhint (message ("(Setting %h%s will suppress message)",
+ c, flagcode_unparse (f1)));
+ }
}
else
{
- llgenhint (message ("(Setting either %h%s or %h%s will suppress message)", c,
- flagcode_unparse (f1),
- c, flagcode_unparse (f2)));
+ if (cstring_isDefined (desc))
+ {
+ llgenhint (message ("%s (Setting either %h%s or %h%s will suppress message)", desc,
+ c,
+ flagcode_unparse (f1),
+ c,
+ flagcode_unparse (f2)));
+ }
+ else
+ {
+ llgenhint (message ("(Setting either %h%s or %h%s will suppress message)", c,
+ flagcode_unparse (f1),
+ c, flagcode_unparse (f2)));
+ }
}
}
}
if (!matchPrefix (name, context_getString (flag)))
{
+ llassert (flag != FLG_NAMECHECKS);
+
if (optgenerror2
(flag, FLG_NAMECHECKS,
message ("%s %s name is not consistent with %s "
}
else
{
- if (mustConform
- && optgenerror
- (FLG_INCONDEFS,
- message ("%s %q inconsistently %rdeclared %s %s, %s as %s",
- uentry_ekindName (unew),
- uentry_getName (unew),
- uentry_isDeclared (old),
- fcnErrName (unew),
- metaStateInfo_unparseValue (msinfo,
- stateValue_getValue (newval)),
- uentry_specOrDefName (old),
- metaStateInfo_unparseValue (msinfo,
- stateValue_getValue (oldval))),
- uentry_whereDeclared (unew)))
+ if (!stateValue_isError (newval))
{
- uentry_showWhereSpecified (old);
+ if (mustConform
+ && optgenerror
+ (FLG_INCONDEFS,
+ message ("%s %q inconsistently %rdeclared %s %s, %s as %s",
+ uentry_ekindName (unew),
+ uentry_getName (unew),
+ uentry_isDeclared (old),
+ fcnErrName (unew),
+ metaStateInfo_unparseValue (msinfo,
+ stateValue_getValue (newval)),
+ uentry_specOrDefName (old),
+ metaStateInfo_unparseValue (msinfo,
+ stateValue_getValue (oldval))),
+ uentry_whereDeclared (unew)))
+ {
+ uentry_showWhereSpecified (old);
+ }
}
}
czechnames.c:5:5: Variable michelob_light name violates Czech naming
convention. Czech prefix michelob is not the name of a type.
- Variable name is not consistent with Czech naming convention. (-czechvars
- will suppress message)
+ Variable name is not consistent with Czech naming convention. (Setting either
+ -czechvars or -namechecks will suppress message)
czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
convention. Accessible types: pivo
Function or iterator name is not consistent with Czech naming convention.
- (-czechfcns will suppress message)
+ (Setting either -czechfcns or -namechecks will suppress message)
Finished LCLint checking --- 2 code errors found, as expected
czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
convention. Accessible types: pivo
Function or iterator name is not consistent with Czech naming convention.
- (-czechfcns will suppress message)
+ (Setting either -czechfcns or -namechecks will suppress message)
Finished LCLint checking --- 1 code error found, as expected
Use +accessczech to allow access to type <t> in functions named <t>_<name>.
czechnames.c:5:5: Variable michelob_light name violates Czech naming
convention. Czech prefix michelob is not the name of a type.
+ Variable name is not consistent with Czech naming convention. (Setting either
+ -czechvars or -namechecks will suppress message)
czechnames.c:8:17: Constant pivo_devenast name violates Czech naming
convention. Czech prefix pivo names an abstract type that is not
accessible.
czechnames.c:5:5: Variable michelob_light name violates Czech naming
convention. Czech prefix michelob is not the name of a type.
- Variable name is not consistent with Czech naming convention. (-czechvars
- will suppress message)
+ Variable name is not consistent with Czech naming convention. (Setting either
+ -czechvars or -namechecks will suppress message)
czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
convention. Accessible types: pivo
Function or iterator name is not consistent with Czech naming convention.
- (-czechfcns will suppress message)
+ (Setting either -czechfcns or -namechecks will suppress message)
Finished LCLint checking --- 2 code errors found, as expected
czechnames.c:26:5: Function budweiser name is not consistent with Czech naming
convention. Accessible types: pivo
Function or iterator name is not consistent with Czech naming convention.
- (-czechfcns will suppress message)
+ (Setting either -czechfcns or -namechecks will suppress message)
Finished LCLint checking --- 1 code error found, as expected
Use +accessczech to allow access to type <t> in functions named <t>_<name>.
czechnames.c:5:5: Variable michelob_light name violates Czech naming
convention. Czech prefix michelob is not the name of a type.
+ Variable name is not consistent with Czech naming convention. (Setting either
+ -czechvars or -namechecks will suppress message)
czechnames.c:8:17: Constant pivo_devenast name violates Czech naming
convention. Czech prefix pivo names an abstract type that is not
accessible.
czechnames.c:26:5: Function budweiser name is not consistent with Czechoslovak
naming convention.
- Function name is not consistent with Czechoslovak naming convention.
- (-czechoslovakfcns will suppress message)
+ Function name is not consistent with Czechoslovak naming convention. (Setting
+ either -czechoslovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 1 code error found, as expected
slovaknames.c:32:5: Function budweiser name is not consistent with Czechoslovak
naming convention.
- Function name is not consistent with Czechoslovak naming convention.
- (-czechoslovakfcns will suppress message)
+ Function name is not consistent with Czechoslovak naming convention. (Setting
+ either -czechoslovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 1 code error found, as expected
slovaknames.c:5:5: Variable michelobLight name violates Slovak naming
convention. Slovak prefix michelob is not the name of a type.
- Variable name is not consistent with Slovak naming convention. (-slovakvars
- will suppress message)
+ Variable name is not consistent with Slovak naming convention. (Setting
+ either -slovakvars or -namechecks will suppress message)
slovaknames.c:32:5: Function budweiser name is not consistent with Czechoslovak
naming convention.
- Function name is not consistent with Czechoslovak naming convention.
- (-czechoslovakfcns will suppress message)
+ Function name is not consistent with Czechoslovak naming convention. (Setting
+ either -czechoslovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 2 code errors found, as expected
czechnames.c:26:5: Function budweiser name is not consistent with Czechoslovak
naming convention.
- Function name is not consistent with Czechoslovak naming convention.
- (-czechoslovakfcns will suppress message)
+ Function name is not consistent with Czechoslovak naming convention. (Setting
+ either -czechoslovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 1 code error found, as expected
slovaknames.c:32:5: Function budweiser name is not consistent with Czechoslovak
naming convention.
- Function name is not consistent with Czechoslovak naming convention.
- (-czechoslovakfcns will suppress message)
+ Function name is not consistent with Czechoslovak naming convention. (Setting
+ either -czechoslovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 1 code error found, as expected
slovaknames.c:5:5: Variable michelobLight name violates Slovak naming
convention. Slovak prefix michelob is not the name of a type.
- Variable name is not consistent with Slovak naming convention. (-slovakvars
- will suppress message)
+ Variable name is not consistent with Slovak naming convention. (Setting
+ either -slovakvars or -namechecks will suppress message)
slovaknames.c:32:5: Function budweiser name is not consistent with Czechoslovak
naming convention.
- Function name is not consistent with Czechoslovak naming convention.
- (-czechoslovakfcns will suppress message)
+ Function name is not consistent with Czechoslovak naming convention. (Setting
+ either -czechoslovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 2 code errors found, as expected
slovaknames.c:5:5: Variable michelobLight name violates Slovak naming
convention. Slovak prefix michelob is not the name of a type.
- Variable name is not consistent with Slovak naming convention. (-slovakvars
- will suppress message)
+ Variable name is not consistent with Slovak naming convention. (Setting
+ either -slovakvars or -namechecks will suppress message)
slovaknames.c:19:5: Function samAdams name violates Slovak naming convention.
Slovak prefix sam is not the name of a type.
Function or iterator name is not consistent with Slovak naming convention.
- (-slovakfcns will suppress message)
+ (Setting either -slovakfcns or -namechecks will suppress message)
slovaknames.c:32:5: Function budweiser name is not consistent with Slovak
naming convention. Accessible types: pivo
+ Function or iterator name is not consistent with Slovak naming convention.
+ (Setting either -slovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 3 code errors found, as expected
slovaknames.c:19:5: Function samAdams name violates Slovak naming convention.
Slovak prefix sam is not the name of a type.
Function or iterator name is not consistent with Slovak naming convention.
- (-slovakfcns will suppress message)
+ (Setting either -slovakfcns or -namechecks will suppress message)
slovaknames.c:32:5: Function budweiser name is not consistent with Slovak
naming convention. Accessible types: pivo
+ Function or iterator name is not consistent with Slovak naming convention.
+ (Setting either -slovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 2 code errors found, as expected
Use +accessslovak to allow access to type <t> in functions named <t>_<name>.
slovaknames.c:5:5: Variable michelobLight name violates Slovak naming
convention. Slovak prefix michelob is not the name of a type.
+ Variable name is not consistent with Slovak naming convention. (Setting
+ either -slovakvars or -namechecks will suppress message)
slovaknames.c:8:17: Constant pivoDevenast name violates Slovak naming
convention. Slovak prefix pivo names an abstract type that is not
accessible.
slovaknames.c:5:5: Variable michelobLight name violates Slovak naming
convention. Slovak prefix michelob is not the name of a type.
- Variable name is not consistent with Slovak naming convention. (-slovakvars
- will suppress message)
+ Variable name is not consistent with Slovak naming convention. (Setting
+ either -slovakvars or -namechecks will suppress message)
slovaknames.c:19:5: Function samAdams name violates Slovak naming convention.
Slovak prefix sam is not the name of a type.
Function or iterator name is not consistent with Slovak naming convention.
- (-slovakfcns will suppress message)
+ (Setting either -slovakfcns or -namechecks will suppress message)
slovaknames.c:32:5: Function budweiser name is not consistent with Slovak
naming convention. Accessible types: pivo
+ Function or iterator name is not consistent with Slovak naming convention.
+ (Setting either -slovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 3 code errors found, as expected
slovaknames.c:19:5: Function samAdams name violates Slovak naming convention.
Slovak prefix sam is not the name of a type.
Function or iterator name is not consistent with Slovak naming convention.
- (-slovakfcns will suppress message)
+ (Setting either -slovakfcns or -namechecks will suppress message)
slovaknames.c:32:5: Function budweiser name is not consistent with Slovak
naming convention. Accessible types: pivo
+ Function or iterator name is not consistent with Slovak naming convention.
+ (Setting either -slovakfcns or -namechecks will suppress message)
Finished LCLint checking --- 2 code errors found, as expected
Use +accessslovak to allow access to type <t> in functions named <t>_<name>.
slovaknames.c:5:5: Variable michelobLight name violates Slovak naming
convention. Slovak prefix michelob is not the name of a type.
+ Variable name is not consistent with Slovak naming convention. (Setting
+ either -slovakvars or -namechecks will suppress message)
slovaknames.c:8:17: Constant pivoDevenast name violates Slovak naming
convention. Slovak prefix pivo names an abstract type that is not
accessible.