]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1cb18c) | patch
[analyzer] Don't make ConditionBRVisitor events prunable when the condition is an...
authorKristof Umann <dkszelethus@gmail.com>
Wed, 21 Aug 2019 21:59:22 +0000 (21:59 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Wed, 21 Aug 2019 21:59:22 +0000 (21:59 +0000)
commit00d62d777089f5b1d122e9dd1e1c1c3f6bfa3917
tree55edcaa661aad1413bcb76920c0c0fe7fad047c6tree | snapshot
parentd1cb18cc31e9ba4926dd020af716b287bd0b63a7commit | diff
[analyzer] Don't make ConditionBRVisitor events prunable when the condition is an interesting field

Exactly what it says on the tin! Note that we're talking about interestingness
in general, hence this isn't a control-dependency-tracking specific patch.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@369589 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h diff | blob | history
lib/StaticAnalyzer/Core/BugReporterVisitors.cpp diff | blob | history
test/Analysis/track-control-dependency-conditions.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.