On Fri, Oct 12, 2018 at 06:38:57PM +0200, Julia Lawall wrote: > > I wrote something like this as below but it failed to compile, Julia any > > suggestions on how to express this? > > > > @pte_alloc_func_proto depends on patch exists@ > > type T1, T2, T3, T4; > > identifier fn =~ > > "^(__pte_alloc|pte_alloc_one|pte_alloc|__pte_alloc_kernel|pte_alloc_one_kernel)$"; > > @@ > > > > ( > > - T3 fn(T1, T2); > > + T3 fn(T1); > > | > > - T3 fn(T1, T2, T4); > > + T3 fn(T1, T2); > > ) > > What goes wrong? It seems fine to me. Weird it seems working now. I could swear 5 minutes ago it wasn't and I did give a unique rule name. Don't know what I missed. Anyway, thank you for all the quick responses and the help! - Joel
