Coccinelle semantic patch changes

The changes are as follows:

* Update the semantic patches in the kernel that contain a URL for
  Coccinelle with a URL that is currently valid (from myself).

* Add a semantic patch checking for unnecessary NULL tests on dev_{put,
  hold} functions (from Ziyang Xuan, followed bt a modification from

* Drop a semantic patch that replaces 0/1 by booleans, as this change was
  considered to be not worthwhile by some maintainers (from Steve Rostedt).

* Extend an existing semantic patch with more checks for useless tests on
  variables addresses (from Jérémy Lefaure).

Signed-off-by: Julia Lawall <>
update Coccinelle URL

Signed-off-by: Julia Lawall <>
43 files changed