[PATCH] D51531: [analyzer][UninitializedObjectChecker] Uninit regions are only reported once
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sun Oct 21 15:37:20 PDT 2018
NoQ added a comment.
`MemRegion`s have lifetime of `ExprEngine`, i.e. a single analysis of top-level function. You'll need to clean them up in `checkEndAnalysis()`.
https://reviews.llvm.org/D51531
More information about the cfe-commits
mailing list