| /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(0, B->getRHS(), LCtx, Count);
73 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
79 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
154 LHSVal = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, LTy,
362 svalBuilder.conjureSymbolVal(0, CastE, LCtx, resultType,
390 SVal result = svalBuilder.conjureSymbolVal(0, CastE, LCtx,
487 InitVal = svalBuilder.conjureSymbolVal(0, InitEx, LC, Ty,
679 V = svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount());
[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 | 355 symVal = svalBuilder.conjureSymbolVal(0, CNE, LCtx, CNE->getType(),
443 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
|
| RegionStore.cpp | [all...] |
| ExprEngine.cpp | 227 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(),
488 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
809 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType,
[all...] |
| ExprEngineCallAndReturn.cpp | 568 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CStringChecker.cpp | [all...] |
| StreamChecker.cpp | 213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount())
|
