Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSVals.h468 enum Kind { GotoLabelKind, MemRegionKind, ConcreteIntKind }; enumerator
493 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} in MemRegionVal()
521 V.getSubKind() == MemRegionKind; in isKind()
525 return V.getSubKind() == MemRegionKind; in isKind()
/external/clang/lib/StaticAnalyzer/Core/
DSVals.cpp316 case loc::MemRegionKind: in dumpToStream()
DSimpleConstraintManager.cpp91 case loc::MemRegionKind: { in assumeAux()
DStore.cpp407 case loc::MemRegionKind: in getLValueFieldOrIvar()
DSimpleSValBuilder.cpp667 case loc::MemRegionKind: { in evalBinOpLL()