[cocci] A false positive for `free/devm_free.cocci`
Ricardo Ribalda <[email protected]> Fri, 10 Jul 2026 13:28:13 +0200
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <CANiDSCui8KgH9NZYH=Ovsc-a5iNJZSYPK0Vd-+r2m8ycVpprBQ@mail.gmail.com> |
Hi This cycle, media-ci has triggered a false positive for devm_free. The header already mentions that the check is prone to false positives... but I hope that having a false positive could help you to improve the check in the future. https://patchwork.linuxtv.org/project/linux-media/patch/[email protected]/ Thanks -- Ricardo Ribalda