Searched refs:SymbolData (Results 1 – 14 of 14) sorted by relevance
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | Symbols.def | 46 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 D | SymExpr.h | 117 class SymbolData : public SymExpr { 123 SymbolData(Kind k, SymbolID sym) : SymExpr(k), Sym(sym) { in SymbolData() function 128 ~SymbolData() override = default;
|
H A D | SymbolManager.h | 41 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 D | SMTConstraintManager.h | 116 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE() 270 if (isa<SymbolData>(Sym)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
H A D | SMTConv.h | 323 fromData(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const SymbolData *Sym) { in fromData() 426 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in getSymExpr()
|
H A D | SVals.h | 318 return !isa<SymbolData>(getSymbol()); in isExpression()
|
H A D | MemRegion.h | 779 assert(s && isa<SymbolData>(s)); in SymbolicRegion()
|
/openbsd/gnu/llvm/llvm/lib/MC/ |
H A D | MachObjectWriter.cpp | 318 for (auto *SymbolData : in findSymbolData() 320 for (MachSymbolData &Entry : *SymbolData) in findSymbolData() 622 for (auto *SymbolData : in computeSymbolTable() 624 for (MachSymbolData &Entry : *SymbolData) in computeSymbolTable() 1085 for (auto *SymbolData : in writeObject() 1087 for (MachSymbolData &Entry : *SymbolData) in writeObject()
|
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
H A D | RangedConstraintManager.cpp | 29 if (isa<SymbolData>(Sym)) in assumeSym()
|
H A D | SymbolManager.cpp | 105 void SymbolData::anchor() {} in anchor()
|
H A D | SimpleSValBuilder.cpp | 1256 SVal VisitSymbolData(const SymbolData *S) { in simplifySValOnce()
|
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
H A D | Taint.cpp | 189 if (!isa<SymbolData>(*SI)) in isTainted()
|
H A D | IteratorModeling.cpp | 309 if (isa<SymbolData>(*i)) in checkLiveSymbols() 317 if (isa<SymbolData>(*i)) in checkLiveSymbols()
|
/openbsd/gnu/llvm/llvm/include/llvm/Object/ |
H A D | ELFObjectFile.h | 1028 DataRefImpl SymbolData; in getRelocationSymbol() local 1029 SymbolData.d.a = sec->sh_link; in getRelocationSymbol() 1030 SymbolData.d.b = symbolIdx; in getRelocationSymbol() 1031 return symbol_iterator(SymbolRef(SymbolData, this)); in getRelocationSymbol()
|