]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62741b0) | 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)
commit650a4360cda95361d615c6a0160f445ba6c9579a
treea87652c74ccca2250fff0042403049583c540acctree | snapshot
parent62741b0ffdf6874c069ac9f040705e8def785751commit | 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

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