Just noticed that Linux kenel sparse tool is not maintained well anymore. It has two repositories actually:
but unfortunately both are not seem to be supported anymore. In order to make my small program work with cgcc I had to apply few patches fixing GCC incompatibilities, but reviewing sparse code further I see lots of other issues; there are lots of fixing patches hanging in the internet, too. It's pity but this nice tool seem to be dead.
Update: sparse cannot even handle arrays of boolean, what a shame...
No comments:
Post a Comment