if (i == 3)
if (c == 3)
{
x = 4;
}
else
c = 5;
When +if-block is on, splint 3.1.1.2 gives, correctly, warning about the missing braces around c = 5, but it should also warn that braces are missing around the if statement on the if branch.
The warning-free version of the above piece is this:
if (i == 3)
{
if (c == 3)
{
x = 4;
}
}
else
{
c = 5;
}
br
pkzc at freemail dot hu