Searched refs:SymbolData (Results 1 – 15 of 15) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Symbols.def | 45 ABSTRACT_SYMBOL(SymbolData, SymExpr) 46 SYMBOL(SymbolConjured, SymbolData) 47 SYMBOL(SymbolDerived, SymbolData) 48 SYMBOL(SymbolExtent, SymbolData) 49 SYMBOL(SymbolMetadata, SymbolData) 50 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 | 42 class SymbolRegionValue : public SymbolData { 47 : SymbolData(SymbolRegionValueKind, sym), R(r) { in SymbolRegionValue() 76 class SymbolConjured : public SymbolData { 86 : SymbolData(SymbolConjuredKind, sym), S(s), T(t), Count(count), in SymbolConjured() 128 class SymbolDerived : public SymbolData { 134 : SymbolData(SymbolDerivedKind, sym), parentSymbol(parent), R(r) { in SymbolDerived() 168 class SymbolExtent : public SymbolData { 173 : SymbolData(SymbolExtentKind, sym), R(r) { in SymbolExtent() 202 class SymbolMetadata : public SymbolData { 213 : SymbolData(SymbolMetadataKind, sym), R(r), S(s), T(t), LCtx(LCtx), in SymbolMetadata()
|
| H A D | SMTConstraintManager.h | 109 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in getSymVal() 244 if (isa<SymbolData>(Sym)) in canReasonAbout()
|
| H A D | SMTConv.h | 411 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in getSymExpr()
|
| H A D | SVals.h | 360 return !isa<SymbolData>(getSymbol()); in isExpression()
|
| H A D | MemRegion.h | 773 assert(s && isa<SymbolData>(s)); in SymbolicRegion()
|
| /freebsd-12.1/contrib/llvm/lib/MC/ |
| H A D | MachObjectWriter.cpp | 316 for (auto *SymbolData : in findSymbolData() 318 for (MachSymbolData &Entry : *SymbolData) in findSymbolData() 605 for (auto *SymbolData : in computeSymbolTable() 607 for (MachSymbolData &Entry : *SymbolData) in computeSymbolTable() 1017 for (auto *SymbolData : in writeObject() 1019 for (MachSymbolData &Entry : *SymbolData) in writeObject()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 28 if (isa<SymbolData>(Sym)) { in assumeSym()
|
| H A D | SymbolManager.cpp | 109 void SymbolData::anchor() {} in anchor()
|
| H A D | ProgramState.cpp | 779 if (!isa<SymbolData>(*SI)) in isTainted()
|
| H A D | SimpleSValBuilder.cpp | 1254 SVal VisitSymbolData(const SymbolData *S) { in simplifySVal()
|
| H A D | RegionStore.cpp | 2535 if (const auto *SD = dyn_cast<SymbolData>(S)) { in populateWorklistFromSymbol()
|
| /freebsd-12.1/contrib/llvm/include/llvm/Object/ |
| H A D | ELFObjectFile.h | 846 DataRefImpl SymbolData; in getRelocationSymbol() local 847 SymbolData.d.a = sec->sh_link; in getRelocationSymbol() 848 SymbolData.d.b = symbolIdx; in getRelocationSymbol() 849 return symbol_iterator(SymbolRef(SymbolData, this)); in getRelocationSymbol()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorChecker.cpp | 779 if (isa<SymbolData>(*i)) in checkLiveSymbols() 787 if (isa<SymbolData>(*i)) in checkLiveSymbols()
|