Searched refs:symbolTag (Results 1 – 3 of 3) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 154 const void *symbolTag = nullptr) {
155 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
161 const void *symbolTag = nullptr) {
162 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
177 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
181 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
202 const void *symbolTag, const MemRegion *region,
|
| D | SymbolManager.h | 82 QualType t, unsigned count, const void *symbolTag) in SymbolConjured() argument
84 LCtx(lctx), SymbolTag(symbolTag) {} in SymbolConjured()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 130 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal() argument
141 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
182 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal() argument
189 SymMgr.getMetadataSymbol(region, expr, type, count, symbolTag); in getMetadataSymbolVal()
|