[cocci] Bug dans la parseur de coccinelle ?

[picca <picca@debian.org>]

Bonjour,

J'ai un fichiers qui ne parse pas,  je fini avec cette erreur

bad: 	sprintf(datetime,"Date: %.2s-%.2s-%.2s time: %.2s:%.2s:%.2s",
bad: 		&INLINE[25],&INLINE[23],&INLINE[21],&INLINE[35],&INLINE[37],
bad: 		&INLINE[39]);
bad: 	if (NULL != fgets(INLINE,INLLEN,infile)) {;}
bad: 	if (NULL != fgets(INLINE,INLLEN,infile)) {;}
bad: 	sscanf(INLINE,"%8s%f %f %f 
%f",dummy_name,&HMIL,&KMIL,&LMIL,&BETAIN);
bad: 	/*
bad: 	 * First two characters must be spaces and beta shouldn't be zero 
for
bad: 	 * for correct beta read from header
bad: 	 */
BAD:!!!!! 	if((strstr(INLINE, "  ") != INLINE+9) || (BETAIN == 0.))
bad: 	{
bad: 		BETAIN = 0.;
bad: 		has_read_beta = false;
bad: 	}
bad: 	else
bad: 	{
bad: 		has_read_beta = true;
bad: 	}
bad:
bad: 	sprintf(DATATITLE,"%.40s",&INLINE[9]);


INLINE et une variable global de type

char INLINE[fix size] defini dans "ana.h".

J'aimerais savoir comment regler ce probleme de parsing ?

Merci

Frederic.