On Tue, Oct 31, 2023 at 12:08:15PM +0300, Dan Carpenter wrote: > Also I see in vchiq_release() we dereference "state" before the NULL > check. This warning only triggers when the variable has definitely > been dereferenced before but if debugging is turned off then maybe the > variable wasn't dereferenced. I'm going to change that rule to complain > when a variable is possibly dereferenced and see how the output looks > like tonight. Yeah... This didn't work at all. 600+ false positives. There are potentially ways to make this work but it's not really simple. regards, dan carpenter