projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03eacbd) | patch
[analyzer][NFC] Prove that we only track the evaluated part of the condition
authorKristof Umann <dkszelethus@gmail.com>
Wed, 14 Aug 2019 13:51:52 +0000 (13:51 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Wed, 14 Aug 2019 13:51:52 +0000 (13:51 +0000)
commit571c52af58d91662f2a7f2c7570bab63dee71a53
tree26ba77b88bcb43bd0c95e7ccd041888d5b0b8371tree | snapshot
parent03eacbd489d087142d395b31060f805bc9762cb6commit | diff
[analyzer][NFC] Prove that we only track the evaluated part of the condition

...because we're working with a BugReporterVisitor, and the non-evaluated part
of the condition isn't in the bugpath.

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

llvm-svn: 368853
clang/test/Analysis/track-control-dependency-conditions.cpp diff | blob | history
Domain: System / Toolchain;