commit | eaac0b0d727a7fd5df08bd548ffdcfd354b91480 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Fri Dec 21 00:04:19 2007 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Fri Dec 21 00:04:19 2007 +0000 |
tree | 97d35df95cea83f11fc851cea926de7ea522e842 | |
parent | 2a11a5f13aec18eb8c076bc2c3249afc932c921a [diff] |
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