diff options
| author | Utkarsh Saxena <usx@google.com> | 2025-07-23 12:14:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-23 12:14:29 +0200 |
| commit | ffdada166689172e54bd664ff3e43c824c22c69b (patch) | |
| tree | a788416964ade3f7aea51ec8b6cd6ce7b6317dd2 /llvm/unittests/Support/CSKYAttributeParserTest.cpp | |
| parent | 2726b7fb1c0768bf404a712e5940b64db9fed5e1 (diff) | |
| download | llvm-ffdada166689172e54bd664ff3e43c824c22c69b.zip llvm-ffdada166689172e54bd664ff3e43c824c22c69b.tar.gz llvm-ffdada166689172e54bd664ff3e43c824c22c69b.tar.bz2 | |
[LifetimeSafety] Add loan expiry analysis (#148712)
This PR adds the `ExpiredLoansAnalysis` class to track which loans have expired. The analysis uses a dataflow lattice (`ExpiredLattice`) to maintain the set of expired loans at each program point.
This is a very light weight dataflow analysis and is expected to reach fixed point in ~2 iterations.
In principle, this does not need a dataflow analysis but is used for convenience in favour of lean code.
Diffstat (limited to 'llvm/unittests/Support/CSKYAttributeParserTest.cpp')
0 files changed, 0 insertions, 0 deletions