| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 174 DefinedOrUnknownSVal getConjuredSymbolVal(const void *symbolTag,
178 DefinedOrUnknownSVal getConjuredSymbolVal(const void *symbolTag,
184 DefinedOrUnknownSVal getConjuredSymbolVal(const Stmt *stmt,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SValBuilder.cpp | 110 SValBuilder::getConjuredSymbolVal(const void *symbolTag,
115 return getConjuredSymbolVal(symbolTag, expr, LCtx, T, count);
119 SValBuilder::getConjuredSymbolVal(const void *symbolTag,
137 SValBuilder::getConjuredSymbolVal(const Stmt *stmt,
|
| ExprEngineCXX.cpp | 180 svalBuilder.getConjuredSymbolVal(NULL, CNE, LCtx, CNE->getType(), blockCount);
277 SVal V = svalBuilder.getConjuredSymbolVal(CS, LCtx, VD->getType(),
|
| ExprEngineC.cpp | 49 RightV = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx, Count);
134 LHSVal = svalBuilder.getConjuredSymbolVal(NULL, B->getRHS(), LCtx,
319 DefinedOrUnknownSVal NewSym = svalBuilder.getConjuredSymbolVal(NULL,
346 SVal result = svalBuilder.getConjuredSymbolVal(NULL, CastE, LCtx,
425 InitVal = svalBuilder.getConjuredSymbolVal(NULL, InitEx, LC, Ty,
773 svalBuilder.getConjuredSymbolVal(NULL, Ex, LCtx,
|
| ExprEngineObjC.cpp | 259 ReturnValue = SVB.getConjuredSymbolVal(NULL, CurrentE, LCtx, ResultTy, Count);
|
| ExprEngineCallAndReturn.cpp | 445 SVal RetVal = SVB.getConjuredSymbolVal(0, CE, LCtx, ResultTy, Count);
|
| RegionStore.cpp | 698 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
714 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
722 svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx,
738 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx,
754 svalBuilder.getConjuredSymbolVal(/* SymbolTag = */ (void*) GS, Ex, LCtx,
[all...] |
| ExprEngine.cpp | 651 svalBuilder.getConjuredSymbolVal(0, Ex, LCtx, resultType,
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CStringChecker.cpp | [all...] |
| StreamChecker.cpp | 226 cast<DefinedSVal>(svalBuilder.getConjuredSymbolVal(0, CE, LCtx, Count));
|
| RetainCountChecker.cpp | [all...] |
