6.1. 解析和文法错误

解析和文法错误发生在SystemTap解析脚本和编译成C代码时。举个例子，把无效的值赋给变量或数组时，会报类型错误。

parse error: expected foo, saw bar

脚本存在语法或排版错误。SystemTap会探测到脚本中存在的不正确结构，并指出有问题的探针。 举个例子，下面的SystemTap脚本是有问题的，里面的探针缺了处理程序：

probe vfs.read
probe vfs.write

尝试运行这个脚本，它会报告以下的错误信息，声称第2行第1列不应该是probe关键字。

parse error: expected one of '. , ( ? ! { = +='
    saw: keyword at perror.stp:2:1
1 parse error(s).

parse error: embedded code in unprivileged script

脚本中嵌入了不安全的C代码。SystemTap允许你通过%{...%}代码块嵌入C代码，以便于定义适合的tapset。然而，这样做是不安全的，一旦你真的在脚本里这么做了，SystemTap用这个错误来警告你。

如果你确信你的做法是安全的，并且拥有stapdev权限（或root权限），可以带上-g选项，以“guru”模式运行脚本来消除这个报错。（stap -g script）

semantic error: type mismatch for identifier 'foo' ... string vs. long

脚本中的函数foo使用了错误的类型（比如%s或%d）。在下面的例子中，格式标志符应该是%s而不是%d，因为execname()函数返回一个字符串：

probe syscall.open
{
  printf ("%d(%d) open\n", execname(), pid())
}

semantic error: unresolved type for identifier 'foo'

你使用了一个变量（identifier），但是没办法推导出它的类型（数值或字符串）。举个例子，如果你在一个printf语句中使用了从未赋过值的变量，就会遇到这样的错误。

semantic error: Expecting symbol or array index expression

SystemTap不能完成某个赋值操作，因为这个操作的接收者不合理。下面的示例代码就会发生这个错误：

probe begin { printf("x") = 1 }

while searching for arity N function, semantic error: unresolved function call

脚本中的函数调用或数组索引表达式使用了不合理的参数个数。在SystemTap，arity可以指数组的索引个数，也可以指函数的参数个数。

semantic error: array locals not supported, missing global declaration?

在脚本中使用了一个数组，却没有把它定义成全局变量（SystemTap脚本中，全局变量可以定义在使用的位置之后）。如果一个数组使用的索引个数不一致，也会报告相似的错误。（SystemTap中数组可以使用一组值作为索引，而不仅仅是一个下标）

semantic error: variable 'foo' modified during 'foreach' iteration

用foreach迭代数组foo的同时修改了该数组（赋新的值或使用了delete）。如果在foreach迭代的过程中对数组foo调用了函数，也会显示这个错误。

semantic error: probe point mismatch at position N, while resolving probe point foo

SystemTap无法找到事件或SystemTap函数foo的定义。通常意味着SystemTap在tapset库中找不到匹配foo的项。N表示错误的行号和列号。

semantic error: no match for probe point, while resolving probe point foo

SystemTap因为一些原因不能解析事件或处理函数foo。比如说脚本包含事件kernel.function("something")，而something并不存在。在某些时候，这个错误也意味着脚本中包含不存在的内核文件名或源代码行号。

semantic error: unresolved target-symbol expression

脚本中的一个处理程序用到了某个目标变量（target variable)，但这个目标变量无法解析。这个错误意味着该目标变量在处理程序的上下文里不存在。也许是编译器把代码优化掉了。

semantic error: libdwfl failure

在处理调试信息的时候遇到一个问题。在大多数情况下，这个错误的产生源于安装的kernel-debuginfo包没有完全匹配要探测的内核。也许是安装的kernel-debuginfo包中存在某些完整性或正确性问题。

semantic error: cannot find foo debuginfo

SystemTap找不到适合的kernel-debuginfo包。