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

fs/lockd/svclock.c: nlmsvc_free_block(): cannot annotate due to aliasing #156

Open bulwahn opened 5 years ago

bulwahn commented 5 years ago 
fs/lockd/svclock.c:293:2: warning: releasing mutex 'file->f_mutex' that was not held [-Wthread-safety-analysis]
        mutex_unlock(&file->f_mutex);
        ^

file is a local variable, and hence, we cannot annotate this function.