]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d880f52) | patch
Enhance -Wuninitialized to better reason about || and &&, tracking dual dataflow...
authorTed Kremenek <kremenek@apple.com>
Tue, 1 Feb 2011 17:43:18 +0000 (17:43 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 1 Feb 2011 17:43:18 +0000 (17:43 +0000)
commit9fcbceed43e5610fdff43defe533934733453ae2
tree7cb229b6eb6fcbe4932142a3aaeca0335c9d0c1dtree | snapshot
parentd880f52be3e4a8ccad92ac31932eeae5e0870a93commit | diff
Enhance -Wuninitialized to better reason about || and &&, tracking dual dataflow facts and properly merging them.

Fixes PR 9076.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124666 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/UninitializedValuesV2.cpp diff | blob | history
test/Sema/uninit-variables.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.