| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 171 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
175 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
181 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SValBuilder.cpp | 109 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag,
114 return conjureSymbolVal(symbolTag, expr, LCtx, T, count);
117 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag,
134 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt,
|
| ExprEngineC.cpp | 50 RightV = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, Count);
72 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
77 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
152 LHSVal = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, LTy,
359 svalBuilder.conjureSymbolVal(0, CastE, LCtx, resultType,
388 SVal result = svalBuilder.conjureSymbolVal(0, CastE, LCtx,
498 InitVal = svalBuilder.conjureSymbolVal(0, InitEx, LC, Ty,
[all...] |
| ExprEngineCXX.cpp | 281 DefinedOrUnknownSVal symVal = svalBuilder.conjureSymbolVal(0, CNE, LCtx,
367 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
|
| RegionStore.cpp | [all...] |
| ExprEngineCallAndReturn.cpp | 565 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
[all...] |
| ExprEngine.cpp | 738 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CStringChecker.cpp | [all...] |
| StreamChecker.cpp | 213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount())
|
| RetainCountChecker.cpp | [all...] |
