Julia, On Fri, Aug 14 2020 at 21:00, Julia Lawall wrote: > On Fri, 14 Aug 2020, Thomas Gleixner wrote: >> That's clearly a false positive. Is there anything what can be done to >> help that cocci script here? > > I have a better version that needs to get pushed. > > But normally these pass through me. Did you get it directly from kbuild?
Yes, because I touched the affected lines last :)
Thanks,
tglx
