[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