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.cpp189 case nonloc::ConcreteIntKind: in evalMinus()
198 case nonloc::ConcreteIntKind: in evalComplement()
345 case nonloc::ConcreteIntKind: { in evalBinOpNN()
363 case nonloc::ConcreteIntKind: { in evalBinOpNN()
643 case loc::ConcreteIntKind: { in evalBinOpLL()
DSVals.cpp260 case nonloc::ConcreteIntKind: { in dumpToStream()
310 case loc::ConcreteIntKind: in dumpToStream()
DSimpleConstraintManager.cpp181 case nonloc::ConcreteIntKind: { in assumeAux()
220 case nonloc::ConcreteIntKind: { in assumeWithinInclusiveRange()
DStore.cpp404 case loc::ConcreteIntKind: in getLValueFieldOrIvar()