Re: [PATCH] coccinelle: deref_null: improve performance

2018-05-22 Thread Masahiro Yamada
2018-05-21 15:58 GMT+09:00 Julia Lawall : > Move rules looking for some special cases of safe dereferences before > the collection of NULL-tested values. The special cases are fairly > rare, but somewhat costly to find, because isomorphisms create many > variants of the

[PATCH] coccinelle: deref_null: improve performance

2018-05-21 Thread Julia Lawall
Move rules looking for some special cases of safe dereferences before the collection of NULL-tested values. The special cases are fairly rare, but somewhat costly to find, because isomorphisms create many variants of the rules. There is thus no need to search for them over and over for each NULL