Home
last modified time | relevance | path

Searched refs:conjureSymbolVal (Results 1 – 15 of 15) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp35 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count); in conjureOffsetSymbolOnLocation()
68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, in VisitBinaryOperator()
168 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy, in VisitBinaryOperator()
462 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
486 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
527 SVal result = svalBuilder.conjureSymbolVal( in VisitCast()
620 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty, in VisitDeclStmt()
838 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in VisitGuardedExpr()
1121 svalBuilder.conjureSymbolVal(nullptr, U, LCtx, in VisitIncrementDecrementOperator()
H A DSValBuilder.cpp158 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 DExprEngineCXX.cpp246 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
1025 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), in VisitCXXNewExpr()
1158 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), in VisitCXXCatchStmt()
H A DRegionStore.cpp1130 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); in VisitCluster()
1151 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1220 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1226 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1265 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx, in invalidateGlobalRegion()
H A DExprEngine.cpp439 InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(), in createTemporaryRegionIfNeeded()
448 InitValWithAdjustments = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()
1214 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()
2023 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
H A DExprEngineCallAndReturn.cpp823 R = svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h197 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
201 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
206 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSTLAlgorithmModeling.cpp114 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
H A DErrnoTesterChecker.cpp131 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange()
H A DCStringChecker.cpp1362 lastElement = C.getSValBuilder().conjureSymbolVal( in evalCopyCommon()
1513 SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, in evalMemcmp()
1617 result = C.getSValBuilder().conjureSymbolVal( in evalstrLengthCommon()
1641 result = C.getSValBuilder().conjureSymbolVal( in evalstrLengthCommon()
2109 Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, in evalStrcpyCommon()
2209 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), in evalStrcmpCommon()
2317 SVB.conjureSymbolVal(getTag(), Call.getOriginExpr(), in evalStrsep()
2323 Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, in evalStrsep()
2368 SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount()); in evalStdCopyCommon()
H A DSmartPtrModeling.cpp445 auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
855 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()
H A DStreamChecker.cpp191 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()) in makeRetVal()
H A DStdLibraryFunctionsChecker.cpp588 SVB.conjureSymbolVal(&Tag, Call.getOriginExpr(), in apply()
1478 SVal V = C.getSValBuilder().conjureSymbolVal( in evalCall()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp204 DefinedOrUnknownSVal RetVal = C.getSValBuilder().conjureSymbolVal( in postPreviousReturnInvalidatingCall()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp935 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()