On Thu, 5 Jul 2018, Dan Carpenter wrote: > Neither Smatch nor Coccinelle do a good job tracking when you're in > atomic context. I've wanted to add this to Smatch but even then it > would be to warn that "We're holding a spinlock so we can't sleep". > It's trickier to say for sure when you're not holding a lock... Jia-Ju Bai is working on this. The tool is available on github. It's still being improved, though, so perhaps it's not yet ready for eg 0-day inclusion. He can give more details. julia
- [PATCH] checkpatch: Add warnings for use of mdelay... Prakruthi Deepak Heragu
- Re: [PATCH] checkpatch: Add warnings for use ... Joe Perches
- Re: [PATCH] checkpatch: Add warnings for ... Dan Carpenter
- Re: [PATCH] checkpatch: Add warnings ... Julia Lawall
- Re: [PATCH] checkpatch: Add warni... Jia-Ju Bai

