NOTE(ALIGNMENT(fname,n )) 其中,n=1、2、4、8、16、32、64、128
|
指示 lint 将其后面的函数结果设置为以 n 字节对齐。例如,将 malloc() 定义为实际返回字(甚至双字)对齐的指针时返回一个 char* 或 void*。
禁止以下消息:
|
NOTE(ARGSUSED(n))
/*ARGSUSEDn*/
|
该指令的作用类似于下一个函数的 -v 选项。
禁止针对其后的函数定义中除前 n 个参数之外的各个参数发出以下消息。缺省值为 0。对于 NOTE 格式,必须指定 n。
|
NOTE(ARGUNUSED
(par_name[,par_name...] ))
|
指示 lint 不检查提到的参数的用法(此选项仅适用于下一个函数)。
禁止对 NOTE 或指令中列出的各个参数发出以下消息。
|
NOTE(CONSTCOND)
/*CONSTCOND*/
|
禁止发出关于条件表达式的常量操作数的警告消息。禁止对该指令之后的构造发出以下消息。亦作 NOTE(CONSTANTCONDITION) 或
/* CONSTANTCONDITION */。
constant in conditional context
constant operands to op: "!"
logical expression always false: op "&&"
logical expression always true: op "||"
|
NOTE(EMPTY) /*EMPTY*/
|
禁止由于 if 语句而引起 null 语句时发出警告信息。该指令应放在测试表达式之后和分号之前。当空 if 语句后跟有效 else 语句时,提供该指令以支持空 if 语句。它禁止针对空 else 结论发出消息。
禁止在 if 的控制表达式与分号之间插入时发出以下消息。
|
NOTE(FALLTHRU)
/*FALLTHRU*/
|
禁止在 case 或 default 带标签语句失败时发出警告消息。该指令应放在标签之前并紧挨着标签。
禁止对该指令之后的 case 语句发出以下消息。亦作 NOTE(FALLTHROUGH) 或 /* FALLTHROUGH */。
|
NOTE(LINTED (msg))
/*LINTED [msg]*/
|
禁止所有文件内警告(处理未使用的变量或函数时发出的警告除外)。该指令应放在紧挨着发生 lint 警告的位置之前的行上。-k 选项改变 lint 处理该指令的方式。 lint 会输出注释中包含的附加消息(如果有),而非禁止消息。该指令可与 -s 选项一起用于 post-lint 过滤。
未调用 -k 时,禁止对该指令之后的代码行发出关于文件内问题的各个警告,但以下警告除外:
-
argument unused in function
-
declarations unused in block
-
set but not used in function
-
static unused
-
variable not used in function
忽略 msg。
|
NOTE(LINTLIBRARY)
/*LINTLIBRARY*/
|
调用 -o 时,仅将该指令之后的 .c 文件中的定义写入库 .ln 文件。该指令禁止发出关于此文件中存在未使用的函数和函数参数的警告消息。
|
NOTE(NOTREACHED)
/*NOTREACHED*/
|
在适当的点,停止关于无法执行到的代码的注释。此注释通常放在诸如 exit(2) 的函数调用之后。
禁止在函数末尾该指令之后存在右花括号时发出以下消息。
-
statement not reached
对于该指令之后的无法执行到的语句;
-
fallthrough on case statement
对于该指令之后无法从前面的 case 执行到的 case;
-
function falls off bottom without returning value
|
NOTE(PRINTFLIKE(n))
NOTE(PRINTFLIKE(fun_name,n) )
/*PRINTFLIKEn*/
|
将其后函数定义中的第 n 个参数视为 [fs]printf() 格式字符串,并在其余参数与转换定义之间不匹配时发出以下消息。缺省情况下,如果标准 C 库提供的 [fs]printf() 函数调用中存在错误,lint 会发出这些警告。
对于 NOTE 格式,必须指定 n。
-
malformed format strings
对于该参数中的无效转换定义,以及函数参数类型与格式不一致;
-
too few arguments for format
-
too many arguments for format
|
NOTE(PROTOLIB(n))
/*PROTOLIBn*/
|
当 n 为 1,并且使用了 NOTE(LINTLIBRARY) 或 /* LINTLIBRARY */ 时,仅将该指令之后的 .c 文件中的函数原型声明写入库 .ln 文件。缺省值为 0,它取消该进程。
对于 NOTE 格式,必须指定 n。
|
NOTE(SCANFLIKE(n))
NOTE(SCANLIKE(fun_name,n ))
/*SCANFLIKEn*/
|
与 NOTE(PRINTFLIKE(n)) 或 /* PRINTFLIKEn */ 相同,只是函数定义的第 n 个参数会被视为 [fs]scanf() 格式字符串。缺省情况下,如果标准 C 库提供的 [fs]scanf() 函数调用中存在错误,lint 会发出警告。
对于 NOTE 格式,必须指定 n。
|
NOTE(VARARGS(n))
NOTE(VARARGS(fun_name,n ))
/*VARARGSn*/
|
禁止对以下函数声明中可变数量的参数执行常规检查。检查前 n 个参数的数据类型;缺少 n 时,会将其视为 0。建议在新代码或更新的代码中,在定义中使用省略号 (...) 作为终结符。
对于其定义在该指令之后的函数,禁止在调用带有 n 个或更多参数的函数时发出以下消息。对于 NOTE 格式,必须指定 n。
|