Home
last modified time | relevance | path

Searched refs:SymbolData (Results 1 – 14 of 14) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbols.def46 ABSTRACT_SYMBOL(SymbolData, SymExpr)
47 SYMBOL(SymbolConjured, SymbolData)
48 SYMBOL(SymbolDerived, SymbolData)
49 SYMBOL(SymbolExtent, SymbolData)
50 SYMBOL(SymbolMetadata, SymbolData)
51 SYMBOL(SymbolRegionValue, SymbolData)
H A DSymExpr.h117 class SymbolData : public SymExpr {
123 SymbolData(Kind k, SymbolID sym) : SymExpr(k), Sym(sym) { in SymbolData() function
128 ~SymbolData() override = default;
H A DSymbolManager.h41 class SymbolRegionValue : public SymbolData {
46 : SymbolData(SymbolRegionValueKind, sym), R(r) { in SymbolRegionValue()
78 class SymbolConjured : public SymbolData {
88 : SymbolData(SymbolConjuredKind, sym), S(s), T(t), Count(count), in SymbolConjured()
134 class SymbolDerived : public SymbolData {
140 : SymbolData(SymbolDerivedKind, sym), parentSymbol(parent), R(r) { in SymbolDerived()
178 class SymbolExtent : public SymbolData {
183 : SymbolData(SymbolExtentKind, sym), R(r) { in SymbolExtent()
215 class SymbolMetadata : public SymbolData {
226 : SymbolData(SymbolMetadataKind, sym), R(r), S(s), T(t), LCtx(LCtx), in SymbolMetadata()
H A DSMTConstraintManager.h115 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
269 if (isa<SymbolData>(Sym)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSMTConv.h323 fromData(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const SymbolData *Sym) { in fromData()
426 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in getSymExpr()
H A DSVals.h319 return !isa<SymbolData>(getSymbol()); in isExpression()
H A DMemRegion.h779 assert(s && isa<SymbolData>(s)); in SymbolicRegion()
/llvm-project-15.0.7/llvm/lib/MC/
H A DMachObjectWriter.cpp319 for (auto *SymbolData : in findSymbolData()
321 for (MachSymbolData &Entry : *SymbolData) in findSymbolData()
623 for (auto *SymbolData : in computeSymbolTable()
625 for (MachSymbolData &Entry : *SymbolData) in computeSymbolTable()
1084 for (auto *SymbolData : in writeObject()
1086 for (MachSymbolData &Entry : *SymbolData) in writeObject()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp29 if (isa<SymbolData>(Sym)) in assumeSym()
H A DSymbolManager.cpp105 void SymbolData::anchor() {} in anchor()
H A DSimpleSValBuilder.cpp1253 SVal VisitSymbolData(const SymbolData *S) { in simplifySValOnce()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp188 if (!isa<SymbolData>(*SI)) in isTainted()
H A DIteratorModeling.cpp309 if (isa<SymbolData>(*i)) in checkLiveSymbols()
317 if (isa<SymbolData>(*i)) in checkLiveSymbols()
/llvm-project-15.0.7/llvm/include/llvm/Object/
H A DELFObjectFile.h1025 DataRefImpl SymbolData; in getRelocationSymbol() local
1026 SymbolData.d.a = sec->sh_link; in getRelocationSymbol()
1027 SymbolData.d.b = symbolIdx; in getRelocationSymbol()
1028 return symbol_iterator(SymbolRef(SymbolData, this)); in getRelocationSymbol()