/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())
|