]> granicus.if.org Git - clang/commit
Added class "StateVariant", a template class which serves to wrap states that
authorTed Kremenek <kremenek@apple.com>
Fri, 21 Dec 2007 00:04:19 +0000 (00:04 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 21 Dec 2007 00:04:19 +0000 (00:04 +0000)
commiteaac0b0d727a7fd5df08bd548ffdcfd354b91480
tree97d35df95cea83f11fc851cea926de7ea522e842
parent2a11a5f13aec18eb8c076bc2c3249afc932c921a
Added class "StateVariant", a template class which serves to wrap states that
are generated by transfer functions used by the path-sensitive dataflow solver.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45273 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/StateVariant.h [new file with mode: 0644]