Re: [RFC][PATCH 1/4] compiler-context-analysys: Add __cond_releases()

From: Bart Van Assche

Date: Wed Jan 21 2026 - 16:10:58 EST


On 1/21/26 11:02 AM, Peter Zijlstra wrote:
Right, this was an on-demand thing. Lets add it when it becomes needed.

Please take a look at vma_start_read() in mm/mmap_lock.c. I think that
it needs a __cond_shared_release() annotation. From the documentation
block above that function:

* IMPORTANT: RCU lock must be held upon entering the function, but upon error
* IT IS RELEASED. The caller must handle this correctly.

Thanks,

Bart.