Hi there,
I was very interested to read about smatch on LWN and as I work in HPC I was curious to trial it on Slurm, the batch scheduler that a lot of sites (including everywhere I've worked since 2010) use. It took a little bit to figure out how to make it work well with it so I thought I'd try and give back by putting in two fairly trivial changes to help others out.
Thanks for smatch!
All the best,
Chris