| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 194 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
198 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
202 DefinedOrUnknownSVal conjureSymbolVal(ConstCFGElementRef elem,
205 DefinedOrUnknownSVal conjureSymbolVal(const CallEvent &call, QualType type,
208 DefinedOrUnknownSVal conjureSymbolVal(const CallEvent &call,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 154 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal() function in SValBuilder
171 return conjureSymbolVal(SymbolTag, elem, LCtx, T, Count); in conjureSymbolVal()
174 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal() function in SValBuilder
193 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(ConstCFGElementRef elem, in conjureSymbolVal() function in SValBuilder
197 return conjureSymbolVal(/*symbolTag=*/nullptr, elem, LCtx, type, visitCount); in conjureSymbolVal()
200 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const CallEvent &call, in conjureSymbolVal() function in SValBuilder
203 return conjureSymbolVal(symbolTag, call.getCFGElementRef(), in conjureSymbolVal()
208 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const CallEvent &call, in conjureSymbolVal() function in SValBuilder
212 return conjureSymbolVal(symbolTag, call.getCFGElementRef(), in conjureSymbolVal()
|
| H A D | ExprEngineC.cpp | 36 return svalBuilder.conjureSymbolVal(Elem, LCtx, Ty, Count); in conjureOffsetSymbolOnLocation()
69 RightV = svalBuilder.conjureSymbolVal(nullptr, getCFGElementRef(), LCtx, in VisitBinaryOperator()
171 LHSVal = svalBuilder.conjureSymbolVal(/*symbolTag=*/nullptr, in VisitBinaryOperator()
498 DefinedOrUnknownSVal NewSym = svalBuilder.conjureSymbolVal( in VisitCast()
522 val = svalBuilder.conjureSymbolVal( in VisitCast()
567 SVal result = svalBuilder.conjureSymbolVal( in VisitCast()
660 InitVal = svalBuilder.conjureSymbolVal( in VisitDeclStmt()
879 V = svalBuilder.conjureSymbolVal(nullptr, getCFGElementRef(), LCtx, in VisitGuardedExpr()
1162 DefinedOrUnknownSVal SymVal = svalBuilder.conjureSymbolVal( in VisitIncrementDecrementOperator()
|
| H A D | ExprEngineCXX.cpp | 256 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, getCFGElementRef(), in computeObjectUnderConstruction()
996 symVal = svalBuilder.conjureSymbolVal( in VisitCXXNewExpr()
1130 SVal V = svalBuilder.conjureSymbolVal(getCFGElementRef(), LCtx, VD->getType(), in VisitCXXCatchStmt()
|
| H A D | RegionStore.cpp | 1298 svalBuilder.conjureSymbolVal(baseR, Elem, LCtx, Ctx.IntTy, Count); in VisitCluster()
1320 svalBuilder.conjureSymbolVal(baseR, Elem, LCtx, Ctx.IntTy, Count); in VisitCluster()
1387 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal( in VisitCluster()
1394 svalBuilder.conjureSymbolVal(baseR, Elem, LCtx, T, Count); in VisitCluster()
1429 SVal V = svalBuilder.conjureSymbolVal( in invalidateGlobalRegion()
|
| H A D | ExprEngine.cpp | 440 InitVal = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()
449 InitValWithAdjustments = getSValBuilder().conjureSymbolVal( in createTemporaryRegionIfNeeded()
1216 SVB.conjureSymbolVal(getCFGElementRef(), stackFrame, in ProcessInitializer()
2050 SVal result = svalBuilder.conjureSymbolVal( in Visit()
|
| H A D | ExprEngineCallAndReturn.cpp | 823 R = svalBuilder.conjureSymbolVal(Elem, LCtx, ResultTy, Count); in bindReturnValue()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 133 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal(Call, C.blockCount()); in evalSetErrnoIfErrorRange()
|
| H A D | STLAlgorithmModeling.cpp | 138 SVal RetVal = SVB.conjureSymbolVal(nullptr, Elem, LCtx, C.blockCount()); in Find()
|
| H A D | CStringChecker.cpp | 1516 lastElement = C.getSValBuilder().conjureSymbolVal(Call, C.blockCount()); in evalCopyCommon()
1666 SVal CmpV = Builder.conjureSymbolVal(Call, C.blockCount()); in evalMemcmp()
1769 result = C.getSValBuilder().conjureSymbolVal(Call, C.blockCount()); in evalstrLengthCommon()
1792 result = C.getSValBuilder().conjureSymbolVal(Call, C.blockCount()); in evalstrLengthCommon()
2301 Result = svalBuilder.conjureSymbolVal(Call, C.blockCount()); in evalStrcpyCommon()
2400 SVal resultVal = svalBuilder.conjureSymbolVal(Call, C.blockCount()); in evalStrcmpCommon()
2506 SVB.conjureSymbolVal(Call, C.blockCount(), getTag()), in evalStrsep()
2511 Result = SVB.conjureSymbolVal(Call, C.blockCount()); in evalStrsep()
2554 SVal ResultVal = SVB.conjureSymbolVal(Call, C.blockCount()); in evalStdCopyCommon()
|
| H A D | SmartPtrModeling.cpp | 442 auto Val = C.getSValBuilder().conjureSymbolVal(Elem, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
854 InnerPointerVal = C.getSValBuilder().conjureSymbolVal( in handleBoolConversion()
|
| H A D | StdLibraryFunctionsChecker.cpp | 587 NonLoc ErrnoSVal = SVB.conjureSymbolVal(Call, C.getASTContext().IntTy, in apply()
1482 SVal V = C.getSValBuilder().conjureSymbolVal(Call, C.blockCount()); in evalCall()
|
| H A D | StreamChecker.cpp | 229 .conjureSymbolVal(/*symbolTag=*/nullptr, Elem, C.getLocationContext(), in makeRetVal()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 210 C.getSValBuilder().conjureSymbolVal(Call, C.blockCount()); in postPreviousReturnInvalidatingCall()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 933 RetVal = SVB.conjureSymbolVal(Call, C.blockCount()); in evalCall()
|