]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f609462) | patch
Dataflow solver: Don't overrwite the initial value of a block with top unless new...
authorTed Kremenek <kremenek@apple.com>
Fri, 23 Jul 2010 18:15:17 +0000 (18:15 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 23 Jul 2010 18:15:17 +0000 (18:15 +0000)
commitcdd209dd9eb22a33cc9017f6605375fd17c9e809
tree669276f367dddfa26af448c22b6396f23c170b4etree | snapshot
parentf60946222721d9ba3c059563935c17b84703187acommit | diff
Dataflow solver: Don't overrwite the initial value of a block with top unless new values are available.  Patch by Simone Pellegrini!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@109243 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/FlowSensitive/DataflowSolver.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.