| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 34 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count); in conjureOffsetSymbolOnLocation()
67 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, in VisitBinaryOperator()
169 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy, in VisitBinaryOperator()
470 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
494 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
535 SVal result = svalBuilder.conjureSymbolVal( in VisitCast()
628 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty, in VisitDeclStmt()
846 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in VisitGuardedExpr()
1135 svalBuilder.conjureSymbolVal(nullptr, U, LCtx, in VisitIncrementDecrementOperator()
|
| H A D | SValBuilder.cpp | 158 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal() function in SValBuilder
173 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); in conjureSymbolVal()
176 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal() function in SValBuilder
195 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, in conjureSymbolVal() function in SValBuilder
|
| H A D | ExprEngineCXX.cpp | 233 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
965 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()
1098 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), in VisitCXXCatchStmt()
|
| H A D | RegionStore.cpp | 1131 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1152 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1224 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1230 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1269 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx, in invalidateGlobalRegion()
|
| H A D | ExprEngine.cpp | 427 InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(), in createTemporaryRegionIfNeeded()
436 InitValWithAdjustments = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()
1043 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()
1679 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
|
| H A D | ExprEngineCallAndReturn.cpp | 768 R = svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 189 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
193 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
198 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 114 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
|
| H A D | CStringChecker.cpp | 1259 lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalCopyCommon()
1408 SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalMemcmp()
1510 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalstrLengthCommon()
1534 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx, in evalstrLengthCommon()
1979 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrcpyCommon()
2075 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalStrcmpCommon()
2180 SVB.conjureSymbolVal(getTag(), in evalStrsep()
2189 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStrsep()
2229 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()
|
| H A D | ErrnoTesterChecker.cpp | 130 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange()
|
| H A D | SmartPtrModeling.cpp | 443 auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
854 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()
|
| H A D | StreamChecker.cpp | 189 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()) in makeRetVal()
|
| H A D | StdLibraryFunctionsChecker.cpp | 439 SVB.conjureSymbolVal(&Tag, Call.getOriginExpr(), in apply()
1055 SVal V = C.getSValBuilder().conjureSymbolVal( in evalCall()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 141 DefinedOrUnknownSVal RetVal = C.getSValBuilder().conjureSymbolVal( in postPreviousReturnInvalidatingCall()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()
|