Re: Re: Re: Re: about using smatch in all debian C code

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