Hi,
I'm playing with smatch and noticed that an inline assignment doesn't seem
to get parsed as such. There's a couple of examples, but this one in
sparse's own parse.c (line 1480) is probably the best:
struct ident *ident = NULL;
sparse doesn't seem to identify this as an assignment, only a declaration.
as a result, smatch gives this false positive:
parse.c +1487 undefined param add_expression 1
Sorry if I'm incorrectly diagnosing the problem; I'm just diving into the
code for the first time this evening :)
Thanks in advance for any help!
--
tangled strands of DNA explain the way that I behave.
http://www.clock.org/~matt
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
