[clang] [LifetimeSafety] Add ExpireOriginFact to fix false positives for pointers in loops (PR #182368)

Utkarsh Saxena via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 4 02:56:12 PST 2026


usx95 wrote:

IIUC, it would always have a LoanID. The OriginID would be optional depending on the expiring entity has an associated origin or not.

This would become simpler when we move from expiring loans to expiring paths (storages)

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


More information about the cfe-commits mailing list