Warum analysiert Shirt Curl/curlbuild.h nicht?

Question

Ich habe a geschrieben fornol.c Programm, das die Curl -Bibliothek verwendet und daher Folgendes enthält:

#include <curl/curl.h>

Ich möchte rennen splint Auf meinem Programm, aber dies ist der Fehler, den ich bekomme:

$ 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.

Die verdächtige Linie in curlbuild.h sieht aus wie das:

/* Data type definition of curl_socklen_t. */
typedef CURL_TYPEOF_CURL_SOCKLEN_T curl_socklen_t;

Wo CURL_TYPEOF_CURL_SOCKLEN_T ist gewesen #defineD sein socklen_t.

Mache ich hier etwas falsch? Welche Flaggen sollte ich an die Splint übergeben, damit es in meinem Programm funktioniert?

Answer 1

Ich glaube, ich habe die Lösung gefunden. Stellt sich heraus sys/socket.h ist nicht unter /usr/include Auf meiner Maschine (die ich kürzlich auf Ubuntu 11.10 aktualisiert habe).

Ich musste die folgende Flagge hinzufügen splint:

-I/usr/include/x86_64-linux-gnu

Und dann hat es funktioniert.