Searched refs:VisitCount (Results 1 – 2 of 2) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 418 unsigned VisitCount,
423 unsigned VisitCount,
425 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag);
438 QualType T, unsigned VisitCount,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 171 unsigned VisitCount) { in getConjuredHeapSymbolVal() argument
178 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
|