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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp74 case MemRegion::SymbolicRegionKind:
H A DCStringChecker.cpp633 case MemRegion::SymbolicRegionKind:
750 case MemRegion::SymbolicRegionKind:
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h98 SymbolicRegionKind, enumerator in enum:clang::ento::MemRegion::Kind
717 : SubRegion(sreg, SymbolicRegionKind), sym(s) {}
736 return R->getKind() == SymbolicRegionKind;
/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp131 case MemRegion::SymbolicRegionKind:
H A DMemRegion.cpp338 ID.AddInteger((unsigned) MemRegion::SymbolicRegionKind);
1216 case SymbolicRegionKind:

Completed in 1910 milliseconds