On Sat, 30 Oct 2010, Eric Noulard wrote:
> 2010/10/30 Julia Lawall <[email protected]>:
> >
> > Thanks for the information and the examples. I will look into it.
>
> You are welcome.
> May be you will tell me if it works for cocci.
>
> > We have no need for *s in the regular expression (I guess we would if I
> > took
> > into account regular expression constraints on identifier metavariables,
> > but currently I don't). But we do generate complicated nestings of and
> > and or. This indeed is another problem with glimpse. It only allows
> > maybe 16 terms in the regular expression, which one can easily exceed if
> > writing a semantic patch that eg considers all locking functions.
>
> I'm curious to see such kind of regex with nesting/or/and.
If you run spatch -parse_cocci {file}.cocci -use_glimpse, you can see what
it searches for using either grep or glimpse. You don't need to have
glimpse installed in this case. For glimpse, ; is and.
julia_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
