[PATCH] D51531: [analyzer][UninitializedObjectChecker] Uninit regions are only reported once

Umann Kristóf via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 2 15:23:55 PDT 2018


Szelethus added a comment.

Oh, and the reason why I think it would add a lot of complication: since only `ExprEngine` is avaible in the `checkEndAnalysis` callback, which, from what I can see, doesn't have a handly `isDead` method, so I'm not even sure how I'd implement it.


https://reviews.llvm.org/D51531





More information about the cfe-commits mailing list