From: Julia Lawall <julia.law...@inria.fr> Date: Sun, 26 Jul 2020 12:58:29 +0200
> list_for_each_entry is able to handle an empty list. > The only effect of avoiding the loop is not initializing the > index variable. > Drop list_empty tests in cases where these variables are not > used. > > Note that list_for_each_entry is defined in terms of list_first_entry, > which indicates that it should not be used on an empty list. But in > list_for_each_entry, the element obtained by list_first_entry is not > really accessed, only the address of its list_head field is compared > to the address of the list head, so the list_first_entry is safe. > > The semantic patch that makes this change is as follows (with another > variant for the no brace case): (http://coccinelle.lip6.fr/) ... > Signed-off-by: Julia Lawall <julia.law...@inria.fr> Saeed, please pick this up. Thank you.
