diff options
| author | Utkarsh Saxena <usx@google.com> | 2025-07-22 00:02:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-22 00:02:12 +0200 |
| commit | 2860431e1f1bb4ecc4ebaf1006f766b37d975580 (patch) | |
| tree | 4fec400f682259050e9e14b7fa13fcd72946c7af /clang/lib/CodeGen/CodeGenModule.cpp | |
| parent | f0bbe73cf101b82a9b02b8466f562e3173d25523 (diff) | |
| download | llvm-2860431e1f1bb4ecc4ebaf1006f766b37d975580.zip llvm-2860431e1f1bb4ecc4ebaf1006f766b37d975580.tar.gz llvm-2860431e1f1bb4ecc4ebaf1006f766b37d975580.tar.bz2 | |
[LifetimeSafety] Add per-program-point lattice tracking (#149199)
Add per-program-point state tracking to the dataflow analysis framework.
- Added a `ProgramPoint` type representing a pair of a CFGBlock and a Fact within that block
- Added a `PerPointStates` map to store lattice states at each program point
- Modified the `transferBlock` method to store intermediate states after each fact is processed
- Added a `getLoans` method to the `LoanPropagationAnalysis` class that uses program points
This change enables more precise analysis by tracking program state at each individual program point rather than just at block boundaries. This is necessary for answering queries about the state of loans, origins, and other properties at specific points in the program, which is required for error reporting in the lifetime safety analysis.
Diffstat (limited to 'clang/lib/CodeGen/CodeGenModule.cpp')
0 files changed, 0 insertions, 0 deletions