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.cpp641 case MemRegion::SymbolicRegionKind: in setCStringLength()
758 case MemRegion::SymbolicRegionKind: in getCStringLength()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DMemRegion.h98 SymbolicRegionKind, enumerator
717 : SubRegion(sreg, SymbolicRegionKind), sym(s) {} in SymbolicRegion()
736 return R->getKind() == SymbolicRegionKind; in classof()
/external/clang/lib/StaticAnalyzer/Core/
DStore.cpp120 case MemRegion::SymbolicRegionKind: in castRegion()
DMemRegion.cpp338 ID.AddInteger((unsigned) MemRegion::SymbolicRegionKind); in ProfileRegion()
1221 case SymbolicRegionKind: in getAsOffset()