[analyzer] Note last writes to a condition only in a nested stackframe
authorKristof Umann <dkszelethus@gmail.com>
Wed, 14 Aug 2019 09:39:38 +0000 (09:39 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Wed, 14 Aug 2019 09:39:38 +0000 (09:39 +0000)
commit967583bc087c035fdc4422d05be1030eecf2b241
tree9583b0f7284c7acdf8addeb21b6ca7186f6c0f65
parent0e5530abfc70ab1994fa2b120e9bc6fd1461cb33
[analyzer] Note last writes to a condition only in a nested stackframe

Exactly what it says on the tin! The comments in the code detail this a
little more too.

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

llvm-svn: 368817
clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
clang/test/Analysis/track-control-dependency-conditions.cpp