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.h264 enum Kind { ConcreteIntKind, SymbolValKind, SymExprValKind, enumerator
293 explicit ConcreteInt(const llvm::APSInt& V) : NonLoc(ConcreteIntKind, &V) {} in ConcreteInt()
310 V->getSubKind() == ConcreteIntKind; in classof()
314 return V->getSubKind() == ConcreteIntKind; in classof()
404 enum Kind { GotoLabelKind, MemRegionKind, ConcreteIntKind, ObjCPropRefKind }; enumerator
462 explicit ConcreteInt(const llvm::APSInt& V) : Loc(ConcreteIntKind, &V) {} in ConcreteInt()
475 V->getSubKind() == ConcreteIntKind; in classof()
479 return V->getSubKind() == ConcreteIntKind; in classof()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp160 case nonloc::ConcreteIntKind: in evalMinus()
169 case nonloc::ConcreteIntKind: in evalComplement()
315 case nonloc::ConcreteIntKind: { in evalBinOpNN()
334 case nonloc::ConcreteIntKind: { in evalBinOpNN()
610 case loc::ConcreteIntKind: { in evalBinOpLL()
DSimpleConstraintManager.cpp106 case loc::ConcreteIntKind: { in assumeAux()
200 case nonloc::ConcreteIntKind: { in assumeAux()
DSVals.cpp253 case nonloc::ConcreteIntKind: { in dumpToStream()
303 case loc::ConcreteIntKind: in dumpToStream()
DStore.cpp254 case loc::ConcreteIntKind: in getLValueFieldOrIvar()