Messages in this thread | | | From | Masahiro Yamada <> | Date | Mon, 8 Apr 2024 21:33:18 +0900 | 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
| |