[splint-discuss] Splint-3.1.2 bugs - Mudflap

[Richard A. O'Keefe]

On 31 Jul 2008, at 1:46 pm, John Carter wrote:

> For something dedicated to static analysis... I find it curious that
> splint is anything but "-Wall -W" warnings clean!

It is only intended to be splint-clean.
>
>
> Particularly alarming to me are the "Function uses uninitialized
> variable..." warnings.

Gcc very often cries wolf; have you checked to ensure whether these
are real problems, or whether they are simply a defect in Gcc?
I suspect the latter. {
> -  struct operation op;
> +  struct operation op = {0,0,0,0,0};

This adds extra runtime overhead, but clearly does not fix any
real bug, unlike the other kinds of changes provided.