diff options
| author | Kristof Umann <dkszelethus@gmail.com> | 2019-06-16 15:41:25 +0000 |
|---|---|---|
| committer | Kristof Umann <dkszelethus@gmail.com> | 2019-06-16 15:41:25 +0000 |
| commit | e20b388e2f923bfc98f63a13fea9fc19aeaec425 (patch) | |
| tree | 788cd98c6b99e16890e15db0a792b40fc68c22b1 /clang/lib/StaticAnalyzer/Core | |
| parent | c8d88ad1a916d7e877f28bce752e8f63b73b164a (diff) | |
| download | bcm5719-llvm-e20b388e2f923bfc98f63a13fea9fc19aeaec425.tar.gz bcm5719-llvm-e20b388e2f923bfc98f63a13fea9fc19aeaec425.zip | |
[analyzer] Push correct version of 'Track indices of arrays'
Messed up the commit, oops.
llvm-svn: 363512
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp b/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp index be6e2334586..c830bfa9802 100644 --- a/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp +++ b/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp @@ -1740,9 +1740,10 @@ bool bugreporter::trackExpressionValue(const ExplodedNode *InputNode, if (const Expr *Receiver = NilReceiverBRVisitor::getNilReceiver(Inner, LVNode)) trackExpressionValue(LVNode, Receiver, report, EnableNullFPSuppression); + // Track the index if this is an array subscript. if (const auto *Arr = dyn_cast<ArraySubscriptExpr>(Inner)) trackExpressionValue( - LVNode, Arr->getIdx(), report, EnableNullFPSuppression); + LVNode, Arr->getIdx(), report, /*EnableNullFPSuppression*/ false); // See if the expression we're interested refers to a variable. // If so, we can track both its contents and constraints on its value. |
