[clang] [LifetimeSafety] Implement multi-level origins (PR #168344)
Yitzhak Mandelbaum via cfe-commits
cfe-commits at lists.llvm.org
Thu Dec 4 18:50:43 PST 2025
ymand wrote:
> 4. **Multi-Level Flow Propagation**: The `flow` function propagates origins through all depths of the lists with a critical assertion:
> `assert(Dst->getDepth() == Src->getDepth() && "Lists must have the same length");` This ensures type safety in origin propagation during expression handling. (Rant with relief: This `assert` was quite hard to get right but it helped make the right changes).
rant acknowledged. :) Sounds like struggling to get an induction hypothesis correct :)
https://github.com/llvm/llvm-project/pull/168344
More information about the cfe-commits
mailing list