Searched refs:SymbolData (Results 1 – 13 of 13) sorted by relevance
/freebsd/contrib/llvm-project/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 | SymbolManager.h | 42 class SymbolRegionValue : public SymbolData { 47 : SymbolData(SymbolRegionValueKind, sym), R(r) { in SymbolRegionValue() 79 class SymbolConjured : public SymbolData { 89 : SymbolData(SymbolConjuredKind, sym), S(s), T(t), Count(count), in SymbolConjured() 135 class SymbolDerived : public SymbolData { 141 : SymbolData(SymbolDerivedKind, sym), parentSymbol(parent), R(r) { in SymbolDerived() 179 class SymbolExtent : public SymbolData { 184 : SymbolData(SymbolExtentKind, sym), R(r) { in SymbolExtent() 216 class SymbolMetadata : public SymbolData { 227 : SymbolData(SymbolMetadataKind, sym), R(r), S(s), T(t), LCtx(LCtx), in SymbolMetadata()
|
H A D | SymExpr.h | 119 class SymbolData : public SymExpr { 125 SymbolData(Kind k, SymbolID sym) : SymExpr(k), Sym(sym) { in SymbolData() function 130 ~SymbolData() override = default;
|
H A D | SMTConstraintManager.h | 119 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE() 273 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 | 290 return !isa<SymbolData>(getSymbol()); in isExpression()
|
H A D | MemRegion.h | 789 assert(isa_and_nonnull<SymbolData>(s)); in SymbolicRegion()
|
/freebsd/contrib/llvm-project/llvm/lib/MC/ |
H A D | MachObjectWriter.cpp | 362 for (auto *SymbolData : in findSymbolData() 364 for (MachSymbolData &Entry : *SymbolData) in findSymbolData() 656 for (auto *SymbolData : in computeSymbolTable() 658 for (MachSymbolData &Entry : *SymbolData) in computeSymbolTable() 1100 for (auto *SymbolData : in writeObject() 1102 for (MachSymbolData &Entry : *SymbolData) in writeObject()
|
/freebsd/contrib/llvm-project/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()
|
/freebsd/contrib/llvm-project/llvm/include/llvm/Object/ |
H A D | ELFObjectFile.h | 1115 DataRefImpl SymbolData; in getRelocationSymbol() local 1116 SymbolData.d.a = sec->sh_link; in getRelocationSymbol() 1117 SymbolData.d.b = symbolIdx; in getRelocationSymbol() 1118 return symbol_iterator(SymbolRef(SymbolData, this)); in getRelocationSymbol()
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | IteratorModeling.cpp | 309 if (isa<SymbolData>(Sym)) in checkLiveSymbols() 316 if (isa<SymbolData>(Sym)) in checkLiveSymbols()
|
H A D | Taint.cpp | 268 if (!isa<SymbolData>(SubSym)) in getTaintedSymbolsImpl()
|