diff options
author | Kristof Umann <dkszelethus@gmail.com> | 2018-06-18 11:50:17 +0000 |
---|---|---|
committer | Kristof Umann <dkszelethus@gmail.com> | 2018-06-18 11:50:17 +0000 |
commit | ad1ec7afd4cd801d10ae54047bf7cc300c12a246 (patch) | |
tree | 25c6f4d8839c5e9508dda4944a3b0b7f8e0f1cf2 /parallel-libs | |
parent | b9d18552ea381f85a6c85dc19f78d7c920fbbdbb (diff) |
[analyzer] Checker for uninitialized C++ objects
This checker analyzes C++ constructor calls, and reports uninitialized fields.
Due to the nature of this problem (uninitialized fields after an object
construction), this checker doesn't search for bugs, but rather is a tool to
enforce a specific programming model where every field needs to be initialized.
This checker lands in alpha for now, and a number of followup patches will be
made to reduce false negatives and to make it easier for the user to understand
what rules the checker relies on, eg. whether a derived class' constructor is
responsible for initializing inherited data members or whether it should be
handled in the base class' constructor.
Differential Revision: https://reviews.llvm.org/D45532
Diffstat (limited to 'parallel-libs')
0 files changed, 0 insertions, 0 deletions