c - 夹板在包含 complex.h 的代码上失败

Question

我正在尝试在包含标准 C 库中的 complex.h 的 C 源代码上运行 splint 以支持复数运算。

不幸的是，splint 失败并出现以下错误。

Splint 3.1.2 --- 03 May 2009

/usr/include/bits/cmathcalls.h:54:31: Parse Error: Non-function declaration: _Complex : extern double. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue.

问题的谷歌搜索只导致 this message在 split-discuss 邮件列表中(仍未回复)。

有什么想法吗？

更新

这是一个非常简单的失败源示例:

#include <complex.h>

int main() {
  complex x = 2 + 8i;
  x = x + 1;
}

尝试重新定义不受支持的 _Complex C99 关键字会导致复数的虚部出现错误(我想这并不奇怪)。

lsc@deepthought:~$ splint-D_Complex=double temp.c  
Splint 3.1.2 --- 03 May 2009

 temp.c:4:20: Parse Error. (For help on
 parse errors, see splint -help
                parseerrors.)
*** Cannot continue.

Answer 1

我不是夹板使用者，所以请对以下内容持保留态度...

_Complex 关键字是在 C99 中添加的，夹板常见问题解答对 C99 有这样的说法(http://www.splint.org/faq.html#quest15):

However, Splint doesn't yet support all C99 extensions so there are some legitimate C programs that will need to be modified.

我猜 _Complex 包含在该警告中。

您可以使用常见问题解答 (http://www.splint.org/faq.html#quest14) 中描述的技术解决 splint 明显缺乏对 _Complex 的支持，但如果这让您走得很远，我会感到惊讶使用 _Complex 帮助夹板处理 C99 代码:

If you just want to ignore a keyword, you can add -Dnonstandardkeyword= to make the preprocessor eliminate the keyword, where nonstandardkeyword is the name of the keyword.