Lines Matching refs:sparse
7 :Original: Documentation/dev-tools/sparse.rst
23 于sparse的概述,请参见https://lwn.net/Articles/689907/;本文档包含
24 一些针对内核的sparse信息。
25 关于sparse的更多信息,主要是关于它的内部结构,可以在它的官方网页上找到:
26 https://sparse.docs.kernel.org。
28 使用 sparse 工具做类型检查
41 是因为 sparse 会抱怨改变位方式的类型转换,但是这里我们确实需要强制进行转
61 不用担心 sparse 会抱怨。这是因为"bitwise"(恰如其名)是用来确保不同位方
65 使用sparse进行锁检查
68 下面的宏对于 gcc 来说是未定义的,在 sparse 运行时定义,以使用sparse的“上下文”
69 跟踪功能,应用于锁定。 这些注释告诉 sparse 什么时候有锁,以及注释的函数的进入和
80 上面的三个注释是针对sparse否则会报告上下文不平衡的情况。
82 获取 sparse 工具
87 https://www.kernel.org/pub/software/devel/sparse/dist/
89 或者,你也可以使用 git 克隆最新的 sparse 开发版本:
91 git://git.kernel.org/pub/scm/devel/sparse/sparse.git
100 使用 sparse 工具
103 用"make C=1"命令来编译内核,会对所有重新编译的 C 文件使用 sparse 工具。
104 或者使用"make C=2"命令,无论文件是否被重新编译都会对其使用 sparse 工具。
107 make 的可选变量 CHECKFLAGS 可以用来向 sparse 工具传递参数。编译系统会自
108 动向 sparse 工具传递 -Wbitwise 参数。
110 注意sparse定义了__CHECKER__预处理器符号。