| /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 | SymExpr.h | 138 class SymbolData : public SymExpr {
142 SymbolData(Kind k, SymbolID sym) : SymExpr(k, sym) { assert(classof(this)); } in SymbolData() function
145 ~SymbolData() override = default;
|
| H A D | SymbolManager.h | 44 class SymbolRegionValue : public SymbolData {
49 : SymbolData(ClassKind, sym), R(r) { in SymbolRegionValue()
82 class SymbolConjured : public SymbolData {
93 : SymbolData(ClassKind, sym), Elem(elem), T(t), Count(count), LCtx(lctx), in SymbolConjured()
138 class SymbolDerived : public SymbolData {
144 : SymbolData(ClassKind, sym), parentSymbol(parent), R(r) { in SymbolDerived()
183 class SymbolExtent : public SymbolData {
188 : SymbolData(ClassKind, sym), R(r) { in SymbolExtent()
221 class SymbolMetadata : public SymbolData {
234 : SymbolData(ClassKind, sym), R(r), S(s), T(t), LCtx(LCtx), Count(count), in SymbolMetadata()
|
| H A D | SMTConstraintManager.h | 120 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
276 if (isa<SymbolData>(Sym)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | SMTConv.h | 325 fromData(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const SymbolData *Sym) { in fromData()
428 if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) { in getSymExpr()
|
| H A D | SVals.h | 293 return !isa<SymbolData>(getSymbol()); in isExpression()
|
| H A D | MemRegion.h | 817 assert(isa_and_nonnull<SymbolData>(s)); in SymbolicRegion()
|
| /freebsd/contrib/llvm-project/llvm/lib/MC/ |
| H A D | MachObjectWriter.cpp | 366 for (auto *SymbolData : in findSymbolData()
368 for (MachSymbolData &Entry : *SymbolData) in findSymbolData()
659 for (auto *SymbolData : in computeSymbolTable()
661 for (MachSymbolData &Entry : *SymbolData) in computeSymbolTable()
1105 for (auto *SymbolData : in writeObject()
1107 for (MachSymbolData &Entry : *SymbolData) in writeObject()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 6675 …EEE7destroyEv", "llvm::ImutAVLTree<llvm::ImutKeyValueInfo<clang::ento::SymbolData const*, (anonymo…
6676 …SymbolData const*, (anonymous namespace)::RefState>>*, llvm::DenseMapInfo<unsigned int>, llvm::Den…
6677 …mputeDigestEv", "llvm::ImutAVLTree<llvm::ImutKeyValueInfo<clang::ento::SymbolData const*, (anonymo…
6678 …SymbolData const*, (anonymous namespace)::RefState>>*, std::allocator<llvm::ImutAVLTree<llvm::Imut…
6679 … "llvm::ImutAVLTreeInOrderIterator<llvm::ImutKeyValueInfo<clang::ento::SymbolData const*, (anonymo…
6680 …:ImmutableMap<clang::ento::SymbolData const*, (anonymous namespace)::RefState, llvm::ImutKeyValueI…
6681 …:ImmutableMap<clang::ento::SymbolData const*, (anonymous namespace)::RefState, llvm::ImutKeyValueI…
6682 …g::ento::SymbolData const*, (anonymous namespace)::RefState>>::getCanonicalTree(llvm::ImutAVLTree<…
6683 …SymbolData const*, (anonymous namespace)::RefState>>::add_internal(std::pair<clang::ento::SymbolDa…
6684 …ng::ento::SymbolData const*, (anonymous namespace)::RefState>>::markImmutable(llvm::ImutAVLTree<ll…
[all …]
|
| /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 | 144 void SymbolData::anchor() {} in anchor()
|
| H A D | SimpleSValBuilder.cpp | 1315 SVal VisitSymbolData(const SymbolData *S) { in simplifySValOnce()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Object/ |
| H A D | ELFObjectFile.h | 1120 DataRefImpl SymbolData; in getRelocationSymbol() local
1121 SymbolData.d.a = sec->sh_link; in getRelocationSymbol()
1122 SymbolData.d.b = symbolIdx; in getRelocationSymbol()
1123 return symbol_iterator(SymbolRef(SymbolData, this)); in getRelocationSymbol()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 276 if (!isa<SymbolData>(SubSym)) in getTaintedSymbolsImpl()
|
| H A D | IteratorModeling.cpp | 310 if (isa<SymbolData>(Sym)) in checkLiveSymbols()
317 if (isa<SymbolData>(Sym)) in checkLiveSymbols()
|