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/inode.c: can't annotate find_inode #99

Open himanshujha199640 opened 5 years ago

himanshujha199640 commented 5 years ago

https://elixir.bootlin.com/linux/v5.2-rc2/source/fs/inode.c#L810 Similar to: https://github.com/ClangBuiltLinux/thread-safety-analysis/issues/28#issuecomment-496215839

/home/himanshu/clang-thread-safety-analysis/fs/inode.c:810:30: warning: expecting mutex 'inode->i_lock' to be held at start of each loop [-Wthread-safety-analysis]
        hlist_for_each_entry(inode, head, i_hash) {
                                    ^
/home/himanshu/clang-thread-safety-analysis/fs/inode.c:815:3: note: mutex acquired here
                spin_lock(&inode->i_lock);
                ^