We're storing these quite frequently: FactEntry inherits from
CapabilityExpr, and the FactManager has a vector of such entries.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Paths
| Differential D124127
Thread safety analysis: Pack CapabilityExpr using PointerIntPair (NFC) ClosedPublic Authored by aaronpuchert on Apr 20 2022, 2:24 PM.
Details Summary We're storing these quite frequently: FactEntry inherits from
Diff Detail
Event Timelineaaronpuchert added a child revision: D124131: Thread safety analysis: Store capability kind in CapabilityExpr.Apr 20 2022, 2:45 PM This revision is now accepted and ready to land.Apr 22 2022, 5:24 AM Closed by commit rGdd1790cd05ae: Thread safety analysis: Pack CapabilityExpr using PointerIntPair (NFC) (authored by aaronpuchert). · Explain WhyApr 29 2022, 1:32 PM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 426154 clang/include/clang/Analysis/Analyses/ThreadSafetyCommon.h
|