[clang] [Lifetime Safety] Highlight lifetimebound calls in alias chain diagnostics (PR #206337)

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Mon Jun 29 02:29:19 PDT 2026


================
@@ -131,24 +131,37 @@ class ExpireFact : public Fact {
 };
 
 class OriginFlowFact : public Fact {
+public:
+  struct LifetimeBoundInfo {
----------------
Xazax-hun wrote:

I wonder if it is a good idea to double the size of `OriginFlowFact` like this. We have a lot of flows, only a fraction of them results from `lifetimebound` annotations. An alternative design could be having this information on the side, in a `DenseMap<OriginFlowFact*, LifetimeBoundInfo>` that could be propagated during fact generation and consulted later on during reporting. 

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


More information about the cfe-commits mailing list