Question about context imbalance warning in sparse

From: Masahiro Yamada
Date: Mon Apr 08 2024 - 08:34:01 EST


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