diff options
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/PathSensitive/GRStateTrait.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/GRStateTrait.h | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/GRStateTrait.h b/include/clang/StaticAnalyzer/Core/PathSensitive/GRStateTrait.h index 07cdbf523427..de7b8684066f 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/GRStateTrait.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/GRStateTrait.h @@ -124,6 +124,10 @@ namespace ento {        return F.add(K, L);      } +    static bool Contains(data_type L, key_type K) { +      return L.contains(K); +    } +      static inline data_type MakeData(void* const* p) {        return p ? data_type((const llvm::ImmutableListImpl<T>*) *p)                 : data_type(0); | 
