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.cpp636 case MemRegion::SymbolicRegionKind:
740 case MemRegion::SymbolicRegionKind:
/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp130 case MemRegion::SymbolicRegionKind:
H A DMemRegion.cpp332 ID.AddInteger((unsigned) MemRegion::SymbolicRegionKind);
1082 case SymbolicRegionKind:
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h100 SymbolicRegionKind, enumerator in enum:clang::ento::MemRegion::Kind
689 : SubRegion(sreg, SymbolicRegionKind), sym(s) {}
708 return R->getKind() == SymbolicRegionKind;

Completed in 95 milliseconds