On 19 August 2012 13:49, Julia Lawall <[email protected]> wrote: > From: Julia Lawall <[email protected]> > > The result of one call to a function is tested, and then at the second call > to the same function, the previous result, and not the current result, is > tested again. > > Also changed &bssid to bssid, at the suggestion of Stanislav Yakovlev. > > The semantic match that finds the first problem is as follows: > > (http://coccinelle.lip6.fr/) > > // <smpl> > @@ > expression ret; > identifier f; > statement S1,S2; > @@ > > *ret = f(...); > if (\(ret != 0\|ret < 0\|ret == NULL\)) S1 > ... when any > *f(...); > if (\(ret != 0\|ret < 0\|ret == NULL\)) S2 > // </smpl> > > Signed-off-by: Julia Lawall <[email protected]> > > --- > v2: changed &bssid to bssid >
Thank you, Julia. Stanislav. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
