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

mm/page_alloc.c: false positive due to unavailablity of required annotation #141

Open himanshujha199640 opened 5 years ago

himanshujha199640 commented 5 years ago

spin_lock_irqsave is not annotated currently which is why we get the following warning:

/home/himanshu/clang-thread-safety-analysis/mm/page_alloc.c:3220:2: warning: releasing mutex 'zone->lock' that was not held [-Wthread-safety-analysis]
        spin_unlock(&zone->lock);
        ^