2024-04-08 12:35:19

by Masahiro Yamada

Subject: Question about context imbalance warning in sparse

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