On Fri, 2017-04-21 at 16:07 +0200, Julia Lawall wrote:
>
> Just add ..., here (note the comma at the end).
I thought I tried that, but maybe not. It doesn't work - at least in my
version - though:
HANDLING: net/wireless/nl80211.c
previous modification:
<<< static int wrap_fn(struct sk_buff *skb, struct genl_info *info)
<<< {
<<< return fn(skb, info);
<<< }
<<<
CONTEXT
According to environment 2:
rule starting on line 1.wrap_fn -> id _wrap_nl80211_wiphy_netns
rule starting on line 1.fn -> id nl80211_wiphy_netns
current modification:
<<< static int wrap_fn(struct sk_buff *skb, struct genl_info *info)
<<< {
<<< return fn(skb, info);
<<< }
<<<
CONTEXT
According to environment 2:
rule starting on line 1.wrap_fn -> id _wrap_nl80211_vendor_cmd
rule starting on line 1.fn -> id nl80211_vendor_cmd
Fatal error: exception Failure("rule starting on line 1: already tagged
fake token\n")
Sounds like it doesn't like to add multiple things here, let me think
about how to work around that.
johannes
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
