I figured it out. You need to: export CHECK="/home/user/smatch/smatch --file-output" Then you can't use ~/ in the --cc option. It has to be /home/user/smatch/cgcc. But then Smatch/Sparse still doesn't compile the code correctly. There are tons of compile errors. This is really a Sparse problem (Smatch uses Sparse as a parser). I suspect that fixing it will be difficult. regards, dan carpenter
