llvm-project
[analyzer] Implement LifetimeModeling checker and refactor UseAfterLifetimeEnd
#205951
Merged
Merged
[analyzer] Implement LifetimeModeling checker and refactor UseAfterLifetimeEnd #205951
Xazax-hun
merged
22 commits into
llvm:main
from
benedekaibas:lifetime-modeling
[analyzer] Implement LifetimeAnnotations checker.
ed9afadd
Merge remote-tracking branch 'upstream/main' into lifetime-bound
d6ae82f8
Changed checker naming and resolved comments.
ea22d128
Removed dead codes.
3d042173
Corrected HelpText in the DebugUseAfterLifetimeEnd checker.
8b106907
Implemented the Modeling checker.
7dddf8fd
Add isDeallocated API to the modeling checker.
3d75b5e7
Cleaned up the Modeling checker.
a4c62a54
Resolved updated upstream conflict.
db46aeef
Merge branch 'main' into lifetime-modeling
eadd2536
Cleaned up modeling checker.
5e1feee2
Added Checkers.td with the correct declaration of the checkers.
21f7fc32
benedekaibas
changed the title
Fix pointer/reference declarator style.
8f00a122
Clean up modeling and reporting checker to separate functionalities.
954f485a
Moved debug checker to the modeling checker and resolved nits.
3441d06d
Commit Checkers.td to the branch.
19f830a3
[analyzer] Corrected names and removed const on return type.
d83c44c5
[analyzer] Improved HelpText and applied nit changes for the checkers.
3a162799
[analyzer] Implement is_and_nonnull and getPredecessor().
a222956c
isuckatcs
approved these changes
on 2026-07-08
[analyzer] Added FIXME comment and removed namespace.
a4e190d4
[analyzer] Fixed incorrect null check.
33f51347
Xazax-hun
commented
on 2026-07-09
[analyzer] Added state transition.
3cbe0c7e
Xazax-hun
approved these changes
on 2026-07-09
isuckatcs
approved these changes
on 2026-07-12
Login to write a write a comment.
Login via GitHub