[Cocci] 答复: how to match this case?

[linjia@ruijie.com.cn (林嘉(程二 福州))]

Like this?  @disable comm_assoc@

After I added, the warning dissapper, but nothing matched output,  it seems skip the statement I intended....?

init_defs_builtins: /usr/share/coccinelle/standard.h
HANDLING: single2.c

-----????-----
???: Julia Lawall [mailto:julia.lawall at lip6.fr] 
????: 2014?1?21? 11:35
???: ??(?? ??)
??: cocci at systeme.lip6.fr
??: Re: [Cocci] how to match this case?



On Tue, 21 Jan 2014, ??(?? ??) wrote:

> Following is a code with bug
> 
> -----------------------------------
> void set_timeout_value(int iParam)
> {
> 	 int i;
> 	 byte b[100];
> 	 i = Geti();
> 	 if (i > 100 || i < 0){
> 	 	  return ;
> 	 	}	 	
> 	 b[i] = iParam;	/*  range of I is 0-100?so may overrun array* /
> 
> }
> -----------------------------------
> Now I write a patch to find it, like this
> 
> @@
> identifier fn, vp;
> identifier I;
> type T;
> expression C;
> @@
> -fn(...,int vp,...)
> -{
> -T I[C];
> -<+...
> -if(vp > C || ...){
> -...
> -}
> -...+>
> -}
> 
> 
> But it doesn?t work, give me a log:
> rule starting on line 1: position variables or mixed modifs interfere 
> with comm_assoc isobool (bool (int vp > int C) || ...)

I will look into it, but you could try putting disable comm_assoc in between the initial @@, if you just want to see if your rule is working a little bit.

julia


> 
> can anyone tell why, thanks
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>