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.h460 enum Kind { GotoLabelKind, MemRegionKind, ConcreteIntKind }; enumerator
485 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} in MemRegionVal()
513 V.getSubKind() == MemRegionKind; in isKind()
517 return V.getSubKind() == MemRegionKind; in isKind()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp81 case loc::MemRegionKind: { in assumeAux()
DSVals.cpp309 case loc::MemRegionKind: in dumpToStream()
DStore.cpp384 case loc::MemRegionKind: in getLValueFieldOrIvar()
DSimpleSValBuilder.cpp642 case loc::MemRegionKind: { in evalBinOpLL()