Implement 'Add' method for GRStatePartialTrait<ImmutableList<T>>.

llvm-svn: 65424
This commit is contained in:
Ted Kremenek 2009-02-25 02:54:00 +00:00
parent 410dc00184
commit 47bd78ef73
1 changed files with 5 additions and 0 deletions

View File

@ -115,8 +115,13 @@ namespace clang {
template <typename T>
struct GRStatePartialTrait< llvm::ImmutableList<T> > {
typedef llvm::ImmutableList<T> data_type;
typedef T key_type;
typedef typename data_type::Factory& context_type;
static data_type Add(data_type L, key_type K, context_type F) {
return F.Add(K, L);
}
static inline data_type MakeData(void* const* p) {
return p ? data_type((const llvm::ImmutableListImpl<T>*) *p)
: data_type(0);