[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