[clang] Thread Safety Analysis: Support reentrant capabilities (PR #137133)

Marco Elver via cfe-commits cfe-commits at lists.llvm.org
Fri Apr 25 05:59:40 PDT 2025


================
@@ -163,15 +184,15 @@ using FactID = unsigned short;
 /// the analysis of a single routine.
 class FactManager {
 private:
-  std::vector<std::unique_ptr<const FactEntry>> Facts;
+  std::vector<std::unique_ptr<FactEntry>> Facts;
----------------
melver wrote:

Fixed.

I guess we have to do clone-mutate-replace of the FactEntries - a little less efficient, but given these structs are relatively small (+ vtables) shouldn't be too bad.

https://github.com/llvm/llvm-project/pull/137133


More information about the cfe-commits mailing list