Question about context imbalance warning in sparse

[Masahiro Yamada]

Hi Luc,


Sparse does not seem to consider the first parameter
of __context__().

Sparse does not warn anything about this code.


void foo(void)
{
        __context__(a, 1);
        __context__(b, -1);
}




In Linux, I think sparse should warn
the following code
(lock and unlock different locks)


void foo(void)
{
        write_lock(&my_lock1);
        write_unlock(&my_lock2);
}



-- 
Best Regards
Masahiro Yamada