reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

  210   DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,

References

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

 2072         SVB.conjureSymbolVal(getTag(),

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

  936           SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount());

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

 1471         SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,

tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp

  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,

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp

  226         SVal V = SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC,
  767       symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(),

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp

  664                       : svalBuilder.conjureSymbolVal(nullptr, E, LCtx, ResultTy,

tools/clang/lib/StaticAnalyzer/Core/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,

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  150   return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);