/home/himanshu/clang-thread-safety-analysis/fs/dcache.c:1073:10: warning: expecting mutex 'dentry->d_lockref...lock' to be held at start of each loop [-Wthread-safety-analysis]
while (!list_empty(list)) {
^
/home/himanshu/clang-thread-safety-analysis/fs/dcache.c:1077:3: note: mutex acquired here
spin_lock(&dentry->d_lock);
^
/home/himanshu/clang-thread-safety-analysis/fs/dcache.c:1088:4: warning: expecting mutex 'dentry->d_lockref...lock' to be held at start of each loop [-Wthread-safety-analysis]
continue;
^
/home/himanshu/clang-thread-safety-analysis/fs/dcache.c:1077:3: note: mutex acquired here
spin_lock(&dentry->d_lock);
^
Similar to: https://github.com/ClangBuiltLinux/thread-safety-analysis/issues/28#issuecomment-496215839