On May 31, 2016, at 5:34 AM, Dan Carpenter wrote:
> On Mon, May 30, 2016 at 04:35:36PM -0400, Oleg Drokin wrote:
>> BTW, speaking of the output, I wonder why is the embedded sparse output is so different from
>> a stock sparse with smatch?
>> I tried to also look at the stdout/err output of everything for the script parsing/warning
>> of the patches in the review system and besides all warnings converted to errors,
>> a bunch of warnings are totally missing and using standard sparse options cannot enable them.
>
> It's not really running Sparse at all. Just the minimum to parse it
> into an list of statements and expressions. In theory, it only prints
> the error messages that have to do with parsing code and it doesn't do
> any actual checking.
Ah! I see.
I do see type assignemnt warnngs, soem "not an lvalue" stuff, integer truncation concerns.
>> I am just trying to avoid having a double run of make and resorted to replacing a call to smatch
>> with a script that calls smatch and then sparse separately, but would be even better if
>> a single call to smatch would give me both outputs ;)
> I tried a quick hack to make it call Sparse after calling Smatch but it
> didn't work. :/
Oh well, then I will keep calling it from a script along with smatch I guess.
I did not realize there was no full run anyway.
Thanks.
Bye,
Oleg--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
