[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