5

有没有人有稀疏的经验？我似乎找不到任何文档，因此我不清楚它产生的警告和错误。我尝试检查邮件列表和手册页，但两者都没有。

例如，我在我的一个文件中使用了 INT_MAX。即使我#include limits.h，这也会产生错误（未定义的标识符）。

是否有任何地方解释了错误和警告？

4

2 回答 2

6

据说，稀疏并不是要成为皮棉。Sparse 旨在生成任意代码的解析树，以便对其进行进一步分析。

在您的示例中，您要么想要定义 GNU_SOURCE（我相信它会打开 __GNUC__），它会在 limits.h 中公开您需要的位

我会避免自己定义 __GNUC__，因为它激活的几件事可能会以未定义的方式运行，而没有定义 GNU_SOURCE 打开的所有其他开关。

我的意思不是要帮助您逐个错误地消除错误，而是要重申 sparse 主要用作库，而不是作为独立的静态分析工具。

从我的 README 副本（不确定我是否有当前版本）：

This means that a user of the library will literally just need to do

  struct string_list *filelist = NULL;
  char *file;

  action(sparse_initialize(argc, argv, filelist));

  FOR_EACH_PTR_NOTAG(filelist, file) {
    action(sparse(file));
  } END_FOR_EACH_PTR_NOTAG(file);

and he is now done - having a full C parse of the file he opened.  The
library doesn't need any more setup, and once done does not impose any
more requirements.  The user is free to do whatever he wants with the
parse tree that got built up, and needs not worry about the library ever
again.  There is no extra state, there are no parser callbacks, there is
only the parse tree that is described by the header files. The action
function takes a pointer to a symbol_list and does whatever it likes with it.

The library also contains (as an example user) a few clients that do the
preprocessing, parsing and type evaluation and just print out the
results.  These clients were done to verify and debug the library, and
also as trivial examples of what you can do with the parse tree once it
is formed, so that users can see how the tree is organized.

包含的客户端比任何东西都更像是“功能测试套件和示例”。它是一个非常有用的工具，但如果你想使用它，你可以考虑另一个使用角度。我喜欢它，因为它不使用 *lex / bison ，这使得它更容易破解。

于 2009-11-30T08:27:35.360 回答
2

如果您查看limits.h，您会看到INT_MAX 在此#if 中定义

/* If we are not using GNU CC we have to define all the symbols ourself.
 Otherwise use gcc's definitions (see below).  */
#if !defined __GNUC__ || __GNUC__ < 2

所以要让它工作，你应该__GNUC__在包含limits.h之前取消定义

于 2009-11-30T08:24:05.930 回答