commit 574d78e78ea95b9d4311ff97f9737363f8f32ecd
author George Karpenkov <ekarpenkov@apple.com> Wed Aug 29 22:48:50 2018 +0000
committer George Karpenkov <ekarpenkov@apple.com> Wed Aug 29 22:48:50 2018 +0000
tree c5a436c24a63a0e5f58394954103d1a09da806d0
parent 87bc568eca2748dcbaec8886d0b3e947c1075d06

[analyzer] Improve tracing for uninitialized struct fields

rdar://13729267

Differential Revision: https://reviews.llvm.org/D51323

llvm-svn: 340986

clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
index e540f8a..1f9bdeb 100644
--- a/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
@@ -304,6 +304,8 @@
         auto R = llvm::make_unique<BugReport>(*BT, os.str(), N);
         R->addRange(ArgRange);
 
+        if (ArgEx)
+          bugreporter::trackNullOrUndefValue(N, ArgEx, *R);
         // FIXME: enhance track back for uninitialized value for arbitrary
         // memregions
         C.emitReport(std::move(R));