> This was reported before by smatch too, and Emmanuel just made a patch > to simply remove the NULL checks, because the pointers are statically > known to be not NULL. … To which messages would you like to refer here? Regards, Markus
> This was reported before by smatch too, and Emmanuel just made a patch > to simply remove the NULL checks, because the pointers are statically > known to be not NULL. … To which messages would you like to refer here? Regards, Markus