| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 35 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count);
68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
170 LHSVal = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, LTy,
292 SVal result = svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx,
478 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
503 svalBuilder.conjureSymbolVal(nullptr, CastE, LCtx, resultType,
619 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty,
838 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
1125 svalBuilder.conjureSymbolVal(nullptr, U, LCtx,
|
| H A D | SValBuilder.cpp | 135 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, function in class:SValBuilder
150 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
153 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, function in class:SValBuilder
172 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, function in class:SValBuilder
|
| H A D | ExprEngineCXX.cpp | 226 SVal V = SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC,
767 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),
864 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(),
|
| H A D | RegionStore.cpp | 1151 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1172 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1244 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1250 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
1289 SVal V = svalBuilder.conjureSymbolVal(/* symbolTag = */ (const void*) GS, Ex, LCtx,
|
| H A D | ExprEngine.cpp | 424 InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(),
433 InitValWithAdjustments = getSValBuilder().conjureSymbolVal(
874 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame,
1484 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
2506 SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
|
| H A D | ExprEngineCallAndReturn.cpp | 701 : svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy,
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 206 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
210 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
215 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1209 lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1337 svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1440 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1464 result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
1907 Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
2001 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
2105 SVB.conjureSymbolVal(getTag(),
2114 Result = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
2154 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
|
| H A D | StreamChecker.cpp | 146 svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount())
|
| H A D | StdLibraryFunctionsChecker.cpp | 389 SVal V = C.getSValBuilder().conjureSymbolVal(
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount());
|