Voglio eseguire splint
su alcune delle mie origini in un ambiente debian stabile.
Ho bisogno di dare la direttiva preprocessore -DUINT16_T='unsigned short'
e come ho bisogno che molto spesso. Mi piacerebbe inserirlo nel mio file .splintrc
.
Quando si esegue da riga di comando come splint -DUINT16_T='unsigned short' mysource.c
, funziona correttamente. Se lo spostamento di questa linea nella mia .splintrc
file diWhiteSpace nella direttiva preprocessore .splintrc -D
-DUINT16_T='unsigned short'
-I/usr/local/include/
i risultati splint
chiamata 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)
Qualcuno ha una soluzione? (No alias, per favore).
Per la discussione Fuhrer offro un ECNO (minimo esempio non funzionante) hello.c
, che potrebbe aiutare:
#include <stdio.h>
int main (void)
{
UINT16_T returnvalue=0;
printf ("Hello, world!\n");
return returnvalue;
}
Il comando gcc -DUINT16_T='unsigned short' hello.c
corre bene - e lo fa anche splint -DUINT16_T='unsigned short' hello.c
che ovviamente pretende
Return value type unsigned short int does not match declared type
int: returnvalue
Ma ancora, come posso includere questo DEFINI nel mio .splintrc
?
Ho bisogno la stessa cosa, tranne che per la bandiera: "-Dbit = unsigned char" – Jodes