我编写了一个fornol.c
使用 curl 库的程序,因此包括以下内容:
#include <curl/curl.h>
我想splint
在我的程序上运行,但这是我得到的错误:
$ splint fornol.c
Splint 3.1.2 --- 03 May 2009
/usr/include/curl/curlbuild.h:165:33: Parse Error:
Suspect missing struct or union keyword: socklen_t :
int. (For help on parse errors, see splint -help parseerrors.)
*** Cannot continue.
中的可疑行curlbuild.h
如下所示:
/* Data type definition of curl_socklen_t. */
typedef CURL_TYPEOF_CURL_SOCKLEN_T curl_socklen_t;
去哪儿CURL_TYPEOF_CURL_SOCKLEN_T
了。#define
socklen_t
我在这里做错了吗?我应该将哪些标志传递给夹板以使其在我的程序上运行?