WhiteSpaces in .splintrc Präprozessordirektive -D

Question

Ich möchte splint auf einigen meiner Quellen innerhalb einer debian stabilen Umgebung laufen lassen.
Ich muss die Präprozessordirektive geben -DUINT16_T='unsigned short' und wie ich das sehr oft brauche. Ich möchte es in meine .splintrc Datei einfügen.
Wenn es von der Befehlszeile wie splint -DUINT16_T='unsigned short' mysource.c ausgeführt wird, funktioniert es gut. Wenn das Verschieben Sie diese Zeile in meine .splintrc Datei

-DUINT16_T='unsigned short' 
-I/usr/local/include/ 

die splint Anruf Ergebnisse in

Cannot list files in .splintrc files: 
           short' (probable missing + or -) 
    A flag is not recognized or used in an incorrect way (Use -badflag to inhibit 
    warning) 

Hat eine Lösung anyone? (Kein Alias, bitte).

Für furher Diskussion ich eine MNWE (minimal nicht funktionierendes Beispiel) hello.c bieten werde, die helfen könnten:

#include <stdio.h> 

int main (void) 
{ 
    UINT16_T returnvalue=0; 
    printf ("Hello, world!\n"); 
    return returnvalue; 
} 

Der Befehl gcc -DUINT16_T='unsigned short' hello.c läuft gut - und macht auch splint -DUINT16_T='unsigned short' hello.c die natürlich

Return value type unsigned short int does not match declared type 
       int: returnvalue 

behauptet

Aber noch einmal, wie kann ich diese DEFINE in meine .splintrc aufnehmen?

Answer 1

--Neue answer--

Was Sie fordern ist einfach nicht in Schiene umgesetzt.

Wenn Sie auf der Schiene aussehen 3.1.2 rcfiles_loadFile Funktion in rcfiles.c Linie 124

124   while ((c = *s) != '\0') 
125    { /* remember to handle spaces and quotes in -D and -U ... */ 
126    if (escaped) 
127     { 
128     escaped = FALSE; 
129     } 
130    else if (quoted) 
131     { 
132     if (c == '\\') 
133      { 
134      escaped = TRUE; 
135      } 
136     else if (c == '\"') 
137      { 
138      quoted = FALSE; 
139      } 
140     else 
141      { 
142      ; 
143      } 
144     } 
145    else if (c == '\"') 
146     { 
147     quoted = TRUE; 
148     } 
149    else 
150     { 
151     if (c == ' ' || c == '\t' || c == '\n') 
152     { 
153      /*@innerbreak@*/ break; 
154     } 
155    } 
156 
157    s++; 
158    incColumn(); 
159    } 

Sie sehen, dass der Kommentar in Zeile 125 ist ein ERLEDIGEN für das, was ihr bittet.

änderte ich die Linie 151 bis

151     if (c == '\t' || c == '\n') 

Compile, laufen und dann minimal Arbeitsbeispiel nicht (ohne Anführungszeichen in .splintrc) ohne Probleme den Test passiert.

Diese Modifikation ist jedoch etwas rauh, da einige Schieneneinheitstests dann fehlschlagen.

Answer 2

Verwenden Sie doppelte Anführungszeichen, keine einfachen Anführungszeichen.

-DUINT16_T="unsigned short"