[PATCH] D45532: [StaticAnalyzer] Checker to find uninitialized fields after a constructor call

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 27 13:14:39 PDT 2018


george.karpenkov added a comment.

@sylvestre.ledru Have you found any actual bugs using this checker?
@Szelethus Interesting, it seems that the pointer itself is initialized, but not what it's pointing to.
I think we should just check the fields directly, and do not attempt to traverse the pointer hierarchy.


Repository:
  rC Clang

https://reviews.llvm.org/D45532





More information about the cfe-commits mailing list