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.h309 enum Kind { ConcreteIntKind, SymbolValKind, enumerator
315 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {} in SymbolVal()
330 V.getSubKind() == SymbolValKind; in isKind()
334 return V.getSubKind() == SymbolValKind; in isKind()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp130 case nonloc::SymbolValKind: { in assumeAux()
DSVals.cpp270 case nonloc::SymbolValKind: { in dumpToStream()
DSimpleSValBuilder.cpp425 case nonloc::SymbolValKind: { in evalBinOpNN()