On Tue, 21 Jan 2014, 林嘉(程二 福州) wrote:
> Thanks for remind.
> But to the "|" operator , I still don’t know how to use, for example, I wrote
You need the () at the beginning and end, like I wrote.
julia
>
>
> @disable comm_assoc@
> identifier fn, p;
> identifier I;
> type T,T1;
> expression C;
> @@
> -fn(...)
> -{
> -int p;
> -...
> -T I[C];
> |
> -T I[C];
> -...
> -int p;
> -<+...
> -if(p > C){
> -...
> -}
> -...+>
> -}
>
>
>
> It reports: init_defs_builtins: /usr/share/coccinelle/standard.h
> 126 127
> Fatal error: exception Failure("minus: parse error:
> = File "os.cocci", line 12, column 0, charpos = 126
> around = '|', whole content = |
> ")
>
> -----邮件原件-----
> 发件人: Julia Lawall [mailto:[email protected]]
> 发送时间: 2014年1月21日 14:32
> 收件人: 林嘉(程二 福州)
> 抄送: [email protected]
> 主题: Re: 答复: [Cocci] how to match this case?
>
> On Tue, 21 Jan 2014, 林嘉(程二 福州) wrote:
>
> > Sorry, I made a mistake , if the checkpoint is local variable, I
> > should write as
> >
> > -int vp;
> ...
> > -T I[C];
>
> Also, you don't know if the array is declared before or after vp. So you
> would need
>
> (
> - int vp;
> ...
> - T I[C];
> |
> - T I[C];
> ...
> - int vp;
> )
>
> julia
>
> > -<+...
> > -if(vp > C || ...){
> >
> > -----邮件原件-----
> > 发件人: Julia Lawall [mailto:[email protected]]
> > 发送时间: 2014年1月21日 11:35
> > 收件人: 林嘉(程二 福州)
> > 抄送: [email protected]
> > 主题: 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
> > > [email protected]
> > > https://systeme.lip6.fr/mailman/listinfo/cocci
> > >
> >
> _______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
