| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | 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/ |
| H A D | 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,
393 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
421 SVal result = svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx,
522 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
712 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
963 svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
|
| H A D | SValBuilder.cpp | 112 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, function in class:SValBuilder
127 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
130 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, function in class:SValBuilder
150 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, function in class:SValBuilder
|
| H A D | ExprEngineCXX.cpp | 457 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
548 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
|
| H A D | RegionStore.cpp | 1057 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1078 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1157 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1196 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx,
|
| H A D | ExprEngine.cpp | 239 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(),
509 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
992 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
1934 SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
|
| H A D | ExprEngineCallAndReturn.cpp | 569 SVal R = SVB.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1068 SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1210 SVal CmpV = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
1321 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1345 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1730 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1887 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
1940 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy,
1945 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
|
| H A D | StreamChecker.cpp | 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
|