Commit 4e1c7544 authored Sep 11, 2021 by Linus Torvalds

linux

Pull coccinelle updates from Julia Lawall:
 "These changes update some existing semantic patches with
  respect to some recent changes in the kernel.

  Specifically, the change to kvmalloc.cocci searches for
  kfree_sensitive rather than kzfree, and the change to
  use_after_iter.cocci adds list_entry_is_head as a valid
  use of a list iterator index variable after the end of
  the loop"

* 'for-5.15' of git://git.kernel.org/pub/scm/linux/kernel/git/jlawall/linux:
  scripts: coccinelle: allow list_entry_is_head() to use pos
  coccinelle: api: rename kzfree to kfree_sensitive

parents c605c396 e71ec0bc

scripts/coccinelle/api/kvmalloc.cocci

+1 −1

Original line number	Diff line number	Diff line
		@@ -79,7 +79,7 @@ position p : script:python() { relevant(p) };
		} else {
		... when != krealloc(E, ...)
		when any
		* \(kfree\\|kzfree\)(E)
		* \(kfree\\|kfree_sensitive\)(E)
		...
		}

scripts/coccinelle/iterators/use_after_iter.cocci

+2 −0

Original line number	Diff line number	Diff line
		@@ -123,6 +123,8 @@ hlist_for_each_entry_safe(c,...) S
		\|
		list_remove_head(x,c,...)
		\|
		list_entry_is_head(c,...)
		\|
		sizeof(<+...c...+>)
		\|
		&c->member