Re: smatch devel branch

[Harshit Mogalapalli]

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/202603252044.cacz4ord-...@intel.com/

Maybe we should track it ?

Thanks,
Harshit