Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DArrayBoundCheckerV2.cpp74 case MemRegion::SymbolicRegionKind: in computeExtentBegin()
DCStringChecker.cpp637 case MemRegion::SymbolicRegionKind: in setCStringLength()
741 case MemRegion::SymbolicRegionKind: in getCStringLength()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h87 SymbolicRegionKind, enumerator
645 : SubRegion(sreg, SymbolicRegionKind), sym(s) {} in SymbolicRegion()
664 return R->getKind() == SymbolicRegionKind; in classof()
/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp118 case MemRegion::SymbolicRegionKind: in castRegion()
DMemRegion.cpp332 ID.AddInteger((unsigned) MemRegion::SymbolicRegionKind); in ProfileRegion()
982 case SymbolicRegionKind: in getAsOffset()