On Fri, Sep 19, 2025 at 10:20:37AM -0700, Bart Van Assche wrote: > locking annotations to kernel code. I ended up annotating multiple XFS > functions with NO_THREAD_SAFETY_ANALYSIS. Maybe the locking patterns in > XFS are too complex for compile-time analysis?
If our locking patterns are too complex for analysis, either the code or the analysis has problems that need addressing. Potentially both.
