Home
last modified time | relevance | path

Searched refs:ConcreteIntKind (Results 1 – 5 of 5) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h309 enum Kind { ConcreteIntKind, SymbolValKind, enumerator
341 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt()
360 V.getSubKind() == ConcreteIntKind; in isKind()
364 return V.getSubKind() == ConcreteIntKind; in isKind()
468 enum Kind { GotoLabelKind, MemRegionKind, ConcreteIntKind }; enumerator
531 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt()
546 V.getSubKind() == ConcreteIntKind; in isKind()
550 return V.getSubKind() == ConcreteIntKind; in isKind()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp163 case nonloc::ConcreteIntKind: in evalMinus()
172 case nonloc::ConcreteIntKind: in evalComplement()
319 case nonloc::ConcreteIntKind: { in evalBinOpNN()
337 case nonloc::ConcreteIntKind: { in evalBinOpNN()
618 case loc::ConcreteIntKind: { in evalBinOpLL()
DSVals.cpp260 case nonloc::ConcreteIntKind: { in dumpToStream()
310 case loc::ConcreteIntKind: in dumpToStream()
DSimpleConstraintManager.cpp110 case loc::ConcreteIntKind: { in assumeAux()
212 case nonloc::ConcreteIntKind: { in assumeAux()
DStore.cpp415 case loc::ConcreteIntKind: in getLValueFieldOrIvar()