search

ClangBuiltLinux / thread-safety-analysis

A research project into applying Clang's Thread Safety Analysis to the Linux Kernel
Other
6 stars 0 forks source link

kernel/acct.c: slow_acct_process: cannot annotate due to aliasing/lexical scoping #149

Open bulwahn opened 5 years ago

bulwahn commented 5 years ago 
kernel/acct.c:580:4: warning: releasing mutex 'acct->lock' that was not held [-Wthread-safety-analysis]
                        mutex_unlock(&acct->lock);
                        ^

acct is a local variable. Further, it would require a more complex specification, it unlocks all parent locks as well.