| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 50 RightV = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, Count); in VisitBinaryOperator()
73 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(), in VisitBinaryOperator()
79 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(), in VisitBinaryOperator()
154 LHSVal = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, LTy, in VisitBinaryOperator()
363 svalBuilder.conjureSymbolVal(0, CastE, LCtx, resultType, in VisitCast()
391 SVal result = svalBuilder.conjureSymbolVal(0, CastE, LCtx, in VisitCast()
489 InitVal = svalBuilder.conjureSymbolVal(0, InitEx, LC, Ty, in VisitDeclStmt()
681 V = svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount()); in VisitGuardedExpr()
922 svalBuilder.conjureSymbolVal(0, Ex, LCtx, currBldrCtx->blockCount()); in VisitIncrementDecrementOperator()
|
| D | SValBuilder.cpp | 109 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal() function in SValBuilder
121 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); in conjureSymbolVal()
124 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal() function in SValBuilder
141 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, in conjureSymbolVal() function in SValBuilder
|
| D | ExprEngineCXX.cpp | 363 symVal = svalBuilder.conjureSymbolVal(0, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()
454 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), in VisitCXXCatchStmt()
|
| D | RegionStore.cpp | 1054 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1075 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1084 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1090 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1106 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx, in invalidateGlobalRegion()
|
| D | ExprEngine.cpp | 227 V = getSValBuilder().conjureSymbolVal(Result, LC, TR->getValueType(), in createTemporaryRegionIfNeeded()
489 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()
851 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType, in Visit()
1715 SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy, in VisitCommonDeclRefExpr()
|
| D | ExprEngineCallAndReturn.cpp | 568 SVal R = SVB.conjureSymbolVal(0, E, LCtx, ResultTy, Count); in bindReturnValue()
|
| /freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SValBuilder.h | 172 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
176 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
182 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
|
| /freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 974 SVal result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, in evalCopyCommon()
1116 SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalMemcmp()
1226 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalstrLengthCommon()
1249 result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalstrLengthCommon()
1632 Result = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
1789 SVal resultVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalStrcmpCommon()
1841 SVB.conjureSymbolVal(getTag(), CE, LCtx, CharPtrTy, in evalStrsep()
1846 Result = SVB.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalStrsep()
|
| D | StreamChecker.cpp | 213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()) in OpenFileAux()
|
| D | RetainCountChecker.cpp | 3138 RetVal = SVB.conjureSymbolVal(0, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
|