Home
last modified time | relevance | path

Searched refs:SymbolValKind (Results 1 – 4 of 4) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h301 enum Kind { ConcreteIntKind, SymbolValKind, enumerator
307 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {} in SymbolVal()
322 V.getSubKind() == SymbolValKind; in isKind()
326 return V.getSubKind() == SymbolValKind; in isKind()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp173 case nonloc::SymbolValKind: { in assumeAux()
DSVals.cpp263 case nonloc::SymbolValKind: { in dumpToStream()
DSimpleSValBuilder.cpp426 case nonloc::SymbolValKind: { in evalBinOpNN()