I have a fix for this. I just look for if there is a synchonization
macro/function in the previous few lines. I will push it today.
The other common thing which I don't have a fix for is:
void some_function(int x)
{
y = x ? foo : bar;
if (x) {
If all the callers pass a true "x" value and we use it for a select it
creates false positives. It's not supposed to do that....
regards,
dan carpenter
--
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
