[compiler-rt] [scudo] Add missing thread-safety analysis annotations. (PR #68072)
Clement Courbet via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 3 23:38:20 PDT 2023
legrosbuffle wrote:
> One quick question, why do we need to annotate `REQUIRES` capability here if we already mark it as `ASSERT_CAPABILITY`?
>
> https://clang.llvm.org/docs/ThreadSafetyAnalysis.html#assert-capability-and-assert-shared-capability
My understanding is that `ASSERT_CAPABILITY` is a purely dynamic check, and does not imply `REQUIRES`. Adding @aaronpuchert for confirmation.
https://github.com/llvm/llvm-project/pull/68072
More information about the llvm-commits
mailing list