Re: [PATCH v3 00/35] Compiler-Based Capability- and Locking-Analysis
Marco Elver <[email protected]>
| Newsgroups | org.kernel.vger.linux-sparse,dev.linux.lists.llvm,org.kernel.vger.linux-crypto,org.kernel.vger.linux-doc,org.kernel.vger.linux-kbuild,org.kernel.vger.linux-kernel,org.kernel.vger.linux-security-module,org.kernel.vger.rcu,org.kvack.linux-mm |
|---|---|
| Message-ID | <CANpmjNNoKiFEW2VfGM7rdak7O8__U3S+Esub9yM=9Tq=02d_ag@mail.gmail.com> |
On Fri, 19 Sept 2025 at 11:10, Marco Elver <[email protected]> wrote: [..] > I went with "context guard" to refer to the objects themselves, as that > doesn't look too odd. It does match the concept of "guard" in > <linux/cleanup.h>. > > See second attempt below. [..] I finally got around baking this into a renamed series, that now calls it "Context Analysis" - here's a preview: https://git.kernel.org/pub/scm/linux/kernel/git/melver/linux.git/log/?h=ctx-analysis/dev As for when we should give this v4 another try: I'm 50/50 on sending this now vs. waiting for final Clang 22 to be released (~March 2026). Preferences?