[PATCH v3 02/35] compiler-capability-analysis: Add infrastructure for Clang's capability analysis

Bart Van Assche bvanassche at acm.org
Thu Sep 18 16:03:17 UTC 2025


On 9/18/25 8:58 AM, Ian Rogers wrote:
> On Thu, Sep 18, 2025 at 7:05 AM Marco Elver <elver at google.com> wrote:
>> +config WARN_CAPABILITY_ANALYSIS
>> +       bool "Compiler capability-analysis warnings"
>> +       depends on CC_IS_CLANG && CLANG_VERSION >= 220000
>> +       # Branch profiling re-defines "if", which messes with the compiler's
>> +       # ability to analyze __cond_acquires(..), resulting in false positives.
>> +       depends on !TRACE_BRANCH_PROFILING
> 
> Err, wow! What and huh, and why? Crikes. I'm amazed you found such an
> option exists. I must be very naive to have never heard of it and now
> I wonder if it is needed and load bearing?

(+Steven)

This is an old option. I think this commit introduced it:

commit 52f232cb720a7babb752849cbc2cab2d24021209
Author: Steven Rostedt <rostedt at goodmis.org>
Date:   Wed Nov 12 00:14:40 2008 -0500

     tracing: likely/unlikely branch annotation tracer

Bart.



More information about the Linux-security-module-archive mailing list