Re: smatch devel branch
Harshit Mogalapalli <[email protected]> Thu, 11 Jun 2026 12:29:08 +0530
| Newsgroups | org.kernel.vger.smatch |
|---|---|
| Message-ID | <[email protected]> |
Hi Dan, Using this thread for few questions. smatch_kernel_irq_context.c is removed in smatch-devel, but in the past we have reports like this: https://lore.kernel.org/all/[email protected]/ Maybe we should track it ? Thanks, Harshit