diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRStateTrait.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRStateTrait.h b/include/clang/Analysis/PathSensitive/GRStateTrait.h index d2d5c624f0..ce43cda31e 100644 --- a/include/clang/Analysis/PathSensitive/GRStateTrait.h +++ b/include/clang/Analysis/PathSensitive/GRStateTrait.h @@ -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); |