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

Umann Kristóf via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat Apr 28 02:34:01 PDT 2018


Szelethus updated this revision to Diff 144439.
Szelethus marked an inline comment as done.
Szelethus added a comment.

Renamed the checker to `cplusplus.uninitialized.UninitializedObject`.

I've read your comments regarding the category this should be in thoroughly, and should the clang-tidy category naming not be an issue, `cplusplus.bugprone` would've probably been the best option. However, since it is a concern, I did find many checkers in the core in the `uninitialized` subcategory, so I thought I'll place it in `cplusplus.uninitialized` for now. This could be a little too specific though, as I don't think many other checkers could be implemented that would reside in there.

What do you guys think?


https://reviews.llvm.org/D45532

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/UninitializedObjectChecker.cpp
  test/Analysis/Inputs/system-header-simulator-ctor-uninitialized-member.h
  test/Analysis/cxx-uninitialized-object-inheritance.cpp
  test/Analysis/cxx-uninitialized-object.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D45532.144439.patch
Type: text/x-patch
Size: 70276 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180428/5a6443dd/attachment-0001.bin>


More information about the cfe-commits mailing list