[PATCH] D51866: [analyzer][UninitializedObjectChecker][WIP] New flag to ignore guarded uninitialized fields
Umann Kristóf via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 17 13:59:59 PDT 2018
Szelethus added a comment.
I played around with it, and this seemed a bit cleaner. Since I would only match against the definition of the record (and the definition of its methods), the matcher would need to look like this: `stmt(hasDescendant(blahBlah(...)))`, and I'd only be able to retrieve (with my limited knowledge) the entire method definition, not the actual `FieldDecl` in the case of a match.
I didn'd do a whole lot of AST based analysis, so feel free to correct me on this one ^-^
Repository:
rC Clang
https://reviews.llvm.org/D51866
More information about the cfe-commits
mailing list