Re: [PATCH v2 02/26] block: Annotate the block device functions

Bart Van Assche
2026-03-27T18:28:07Z

On 3/27/26 11:17 AM, Marco Elver wrote:
> No that's not supported (yet). There are various design options, each
> with their own pros/cons: the one question is if attributes should
> behave more like type qualifiers in this case (enforces functions to
> match), or just be a best-effort thing (functions may not match
> function pointer).

It would be great if lock context annotations would be integrated in the
function pointer type because today these annotations are lost if one
function pointer is assigned to a function pointer variable.

Maybe there is something that I'm overlooking?

Thanks,

Bart.