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

Aaron Puchert via cfe-commits cfe-commits at lists.llvm.org
Sat Apr 26 12:08:37 PDT 2025


================
@@ -168,6 +197,8 @@ class FactManager {
 public:
   FactID newFact(std::unique_ptr<FactEntry> Entry) {
     Facts.push_back(std::move(Entry));
+    assert(Facts.size() - 1 <= std::numeric_limits<unsigned short>::max() &&
----------------
aaronpuchert wrote:

```suggestion
    assert(Facts.size() - 1 <= std::numeric_limits<FactID>::max() &&
```

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


More information about the cfe-commits mailing list