Home
last modified time | relevance | path

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

/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDExprEngineC.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()
463 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
487 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType, in VisitCast()
529 SVal result = svalBuilder.conjureSymbolVal( in VisitCast()
622 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty, in VisitDeclStmt()
840 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in VisitGuardedExpr()
1123 svalBuilder.conjureSymbolVal(nullptr, U, LCtx, in VisitIncrementDecrementOperator()
HDSValBuilder.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
HDExprEngineCXX.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()
HDRegionStore.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()
HDExprEngine.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()
2029 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx, in Visit()
HDExprEngineCallAndReturn.cpp823 R = svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count); in bindReturnValue()
/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSValBuilder.h201 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
205 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
210 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDSTLAlgorithmModeling.cpp135 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
HDErrnoTesterChecker.cpp133 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange()
HDCStringChecker.cpp1510 lastElement = C.getSValBuilder().conjureSymbolVal( in evalCopyCommon()
1661 SVal CmpV = Builder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, in evalMemcmp()
1765 result = C.getSValBuilder().conjureSymbolVal( in evalstrLengthCommon()
1789 result = C.getSValBuilder().conjureSymbolVal( in evalstrLengthCommon()
2257 Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, in evalStrcpyCommon()
2357 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), in evalStrcmpCommon()
2465 SVB.conjureSymbolVal(getTag(), Call.getOriginExpr(), in evalStrsep()
2471 Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, in evalStrsep()
2516 SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount()); in evalStdCopyCommon()
HDSmartPtrModeling.cpp445 auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
855 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()
HDStdLibraryFunctionsChecker.cpp588 SVB.conjureSymbolVal(&Tag, Call.getOriginExpr(), in apply()
1478 SVal V = C.getSValBuilder().conjureSymbolVal( in evalCall()
HDStreamChecker.cpp232 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()) in makeRetVal()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
HDInvalidPtrChecker.cpp209 DefinedOrUnknownSVal RetVal = C.getSValBuilder().conjureSymbolVal( in postPreviousReturnInvalidatingCall()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
HDRetainCountChecker.cpp935 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()