diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRStateTrait.h | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRStateTrait.h b/include/clang/Analysis/PathSensitive/GRStateTrait.h index 9409aafaa5..83ea2ca1e0 100644 --- a/include/clang/Analysis/PathSensitive/GRStateTrait.h +++ b/include/clang/Analysis/PathSensitive/GRStateTrait.h @@ -20,11 +20,15 @@ namespace llvm { class BumpPtrAllocator; template <typename K, typename D, typename I> class ImmutableMap; + template <typename T> class ImmutableList; + template <typename T> class ImmutableListImpl; } namespace clang { template <typename T> struct GRStatePartialTrait; + // Partial-specialization for ImmutableMap. + template <typename Key, typename Data, typename Info> struct GRStatePartialTrait< llvm::ImmutableMap<Key,Data,Info> > { typedef llvm::ImmutableMap<Key,Data,Info> data_type; @@ -62,6 +66,34 @@ namespace clang { delete (typename data_type::Factory*) Ctx; } }; + + // Partial-specialization for ImmutableList. + + template <typename T> + struct GRStatePartialTrait< llvm::ImmutableList<T> > { + typedef llvm::ImmutableList<T> data_type; + typedef typename data_type::Factory& context_type; + + static inline data_type MakeData(void* const* p) { + return p ? data_type((const llvm::ImmutableListImpl<T>*) *p) : data_type(0); + } + + static inline void* MakeVoidPtr(data_type D) { + return D.getInternalPointer(); + } + + static inline context_type MakeContext(void* p) { + return *((typename data_type::Factory*) p); + } + + static void* CreateContext(llvm::BumpPtrAllocator& Alloc) { + return new typename data_type::Factory(Alloc); + } + + static void DeleteContext(void* Ctx) { + delete (typename data_type::Factory*) Ctx; + } + }; } // end clang namespace #endif |