| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 172 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
176 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
182 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | 50 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
74 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
80 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
161 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
371 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
399 SVal result = svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx,
497 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
689 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
[all...] |
| SValBuilder.cpp | 109 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag,
121 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
124 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag,
141 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt,
|
| ExprEngineCXX.cpp | 401 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
492 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
|
| RegionStore.cpp | [all...] |
| ExprEngine.cpp | 229 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(),
495 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
[all...] |
| ExprEngineCallAndReturn.cpp | 568 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CStringChecker.cpp | [all...] |
| StreamChecker.cpp | 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|
