On Thu, Dec 11, 2025 at 02:54:06PM +0100, Marco Elver wrote: > Wrappers will need their own annotations; for this kind of static > analysis (built-in warning diagnostic), inferring things like > __cond_acquires(true, lock) is far too complex (requires > intra-procedural control-flow analysis), and would likely be > incomplete too. > > It might also be reasonable to argue that the explicit annotation is > good for documentation. > > Aside: There's other static analysis tooling, like clang-analyzer that > can afford to do more complex flow-sensitive intra-procedural > analysis. But that has its own limitations, requires separate > invocation, and is pretty slow in comparison.
I was sorta hoping that (perhaps only for __always_inline) the thing would indeed do an early inline pass on the AST such that these cases would not in fact require inter-procedural analysis.
