On Fri, 9 Mar 2007, Michael Stefaniuc wrote: [...]
Ok, as there are no false positives i have improved the script a little; documented it on my Smatch page and added it to my daily Smatch run.
Thanks a lot for the Smatch script. It has proven pretty useful already.