Hello, looking at the documentation at https://clang.llvm.org/docs/ThreadSafetyAnalysis.html it seems that the TSA does not support recursive/re-entrant locks. Is that the case? Thanks! Jonathan