| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 24 SymbolRef Sym, in assumeSym() argument
26 Sym = simplify(State, Sym); in assumeSym()
29 if (isa<SymbolData>(Sym)) in assumeSym()
30 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
33 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym()
49 if (const auto *SSE = dyn_cast<SymSymExpr>(Sym)) { in assumeSym()
98 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
102 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange() argument
105 Sym = simplify(State, Sym); in assumeSymInclusiveRange()
109 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
[all …]
|
| H A D | RangeConstraintManager.cpp | 918 SymbolRef Sym);
959 SymbolRef Sym);
1014 /* implicit */ EquivalenceClass(SymbolRef Sym) in EquivalenceClass() argument
1015 : ID(reinterpret_cast<uintptr_t>(Sym)) {} in EquivalenceClass()
1059 SymbolRef Sym) { in getConstraint() argument
1060 return getConstraint(State, EquivalenceClass::find(State, Sym)); in getConstraint()
1087 std::optional<bool> meansEquality(const SymSymExpr *Sym) { in meansEquality() argument
1088 switch (Sym->getOpcode()) { in meansEquality()
1218 RangeSet VisitSymExpr(SymbolRef Sym) { in VisitSymExpr() argument
1219 if (std::optional<RangeSet> RS = getRangeForNegatedSym(Sym)) in VisitSymExpr()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/WebAssembly/MCTargetDesc/ |
| H A D | WebAssemblyTargetStreamer.cpp | 59 void WebAssemblyTargetAsmStreamer::emitFunctionType(const MCSymbolWasm *Sym) { in emitFunctionType() argument
60 assert(Sym->isFunction()); in emitFunctionType()
61 OS << "\t.functype\t" << Sym->getName() << " "; in emitFunctionType()
62 OS << WebAssembly::signatureToString(Sym->getSignature()); in emitFunctionType()
66 void WebAssemblyTargetAsmStreamer::emitGlobalType(const MCSymbolWasm *Sym) { in emitGlobalType() argument
67 assert(Sym->isGlobal()); in emitGlobalType()
68 OS << "\t.globaltype\t" << Sym->getName() << ", " in emitGlobalType()
70 static_cast<wasm::ValType>(Sym->getGlobalType().Type)); in emitGlobalType()
71 if (!Sym->getGlobalType().Mutable) in emitGlobalType()
76 void WebAssemblyTargetAsmStreamer::emitTableType(const MCSymbolWasm *Sym) { in emitTableType() argument
[all …]
|
| H A D | WebAssemblyTargetStreamer.h | 36 virtual void emitFunctionType(const MCSymbolWasm *Sym) = 0;
40 virtual void emitGlobalType(const MCSymbolWasm *Sym) = 0;
42 virtual void emitTableType(const MCSymbolWasm *Sym) = 0;
44 virtual void emitTagType(const MCSymbolWasm *Sym) = 0;
46 virtual void emitImportModule(const MCSymbolWasm *Sym,
49 virtual void emitImportName(const MCSymbolWasm *Sym,
52 virtual void emitExportName(const MCSymbolWasm *Sym,
67 void emitFunctionType(const MCSymbolWasm *Sym) override;
69 void emitGlobalType(const MCSymbolWasm *Sym) override;
70 void emitTableType(const MCSymbolWasm *Sym) override;
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/ExecutionEngine/JITLink/ |
| H A D | JITLinkGeneric.cpp | 211 for (auto *Sym : G->external_symbols()) { in getExternalSymbolNames() local
212 assert(!Sym->getAddress() && in getExternalSymbolNames()
214 assert(Sym->hasName() && "Externals must be named"); in getExternalSymbolNames()
216 Sym->isWeaklyReferenced() ? SymbolLookupFlags::WeaklyReferencedSymbol in getExternalSymbolNames()
218 UnresolvedExternals[Sym->getName()] = LookupFlags; in getExternalSymbolNames()
224 for (auto *Sym : G->external_symbols()) { in applyLookupResult() local
225 assert(Sym->getOffset() == 0 && in applyLookupResult()
227 assert(!Sym->getAddress() && "Symbol already resolved"); in applyLookupResult()
228 assert(!Sym->isDefined() && "Symbol being resolved is already defined"); in applyLookupResult()
229 auto ResultI = Result.find(Sym->getName()); in applyLookupResult()
[all …]
|
| H A D | JITLink.cpp | 122 raw_ostream &operator<<(raw_ostream &OS, const Symbol &Sym) { in operator <<() argument
123 OS << Sym.getAddress() << " (" << (Sym.isDefined() ? "block" : "addressable") in operator <<()
124 << " + " << formatv("{0:x8}", Sym.getOffset()) in operator <<()
125 << "): size: " << formatv("{0:x8}", Sym.getSize()) in operator <<()
126 << ", linkage: " << formatv("{0:6}", getLinkageName(Sym.getLinkage())) in operator <<()
127 << ", scope: " << formatv("{0:8}", getScopeName(Sym.getScope())) << ", " in operator <<()
128 << (Sym.isLive() ? "live" : "dead") << " - " in operator <<()
129 << (Sym.hasName() ? *Sym.getName() : "<anonymous symbol>"); in operator <<()
165 for (auto *Sym : Symbols) in ~Section() local
166 Sym->~Symbol(); in ~Section()
[all …]
|
| H A D | ELFLinkGraphBuilder.h | 98 void setGraphSymbol(ELFSymbolIndex SymIndex, Symbol &Sym) { in setGraphSymbol() argument
100 GraphSymbols[SymIndex] = &Sym; in setGraphSymbol()
108 getSymbolLinkageAndScope(const typename ELFT::Sym &Sym, StringRef Name);
111 virtual TargetFlagsType makeTargetFlags(const typename ELFT::Sym &Sym) { in makeTargetFlags() argument
116 virtual orc::ExecutorAddrDiff getRawOffset(const typename ELFT::Sym &Sym, in getRawOffset() argument
118 return Sym.getValue(); in getRawOffset()
227 const typename ELFT::Sym &Sym, StringRef Name) { in getSymbolLinkageAndScope() argument
231 switch (Sym.getBinding()) { in getSymbolLinkageAndScope()
245 Twine(static_cast<int>(Sym.getBinding())) + " for " + Name, in getSymbolLinkageAndScope()
249 switch (Sym.getVisibility()) { in getSymbolLinkageAndScope()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/ExecutionEngine/Orc/ |
| H A D | LinkGraphLayer.cpp | 49 auto AddSymbol = [&](Symbol *Sym) { in getInterface() argument
51 if (Sym->getScope() == Scope::Local) in getInterface()
53 assert(Sym->hasName() && "Anonymous non-local symbol?"); in getInterface()
55 LGI.SymbolFlags[Sym->getName()] = getJITSymbolFlagsForSymbol(*Sym); in getInterface()
58 for (auto *Sym : G.defined_symbols()) in getInterface() local
59 AddSymbol(Sym); in getInterface()
60 for (auto *Sym : G.absolute_symbols()) in getInterface() local
61 AddSymbol(Sym); in getInterface()
75 JITSymbolFlags LinkGraphLayer::getJITSymbolFlagsForSymbol(Symbol &Sym) { in getJITSymbolFlagsForSymbol() argument
78 if (Sym.getLinkage() == Linkage::Weak) in getJITSymbolFlagsForSymbol()
[all …]
|
| H A D | LinkGraphLinkingLayer.cpp | 24 ExecutorAddr getJITSymbolPtrForSymbol(Symbol &Sym, const Triple &TT) { in getJITSymbolPtrForSymbol() argument
30 if (hasTargetFlags(Sym, aarch32::ThumbSymbol)) { in getJITSymbolPtrForSymbol()
32 assert(Sym.isCallable() && "Only callable symbols can have thumb flag"); in getJITSymbolPtrForSymbol()
33 assert((Sym.getAddress().getValue() & 0x01) == 0 && "LSB is clear"); in getJITSymbolPtrForSymbol()
34 return Sym.getAddress() + 0x01; in getJITSymbolPtrForSymbol()
36 return Sym.getAddress(); in getJITSymbolPtrForSymbol()
38 return Sym.getAddress(); in getJITSymbolPtrForSymbol()
132 for (auto *Sym : G.defined_symbols()) in notifyResolved() local
133 if (Sym->getScope() < Scope::SideEffectsOnly) { in notifyResolved()
134 auto Ptr = getJITSymbolPtrForSymbol(*Sym, G.getTargetTriple()); in notifyResolved()
[all …]
|
| H A D | ObjectFileInterface.cpp | 44 for (auto &Sym : Obj.symbols()) { in getMachOObjectFileSymbolInfo() local
45 Expected<uint32_t> SymFlagsOrErr = Sym.getFlags(); in getMachOObjectFileSymbolInfo()
59 if (auto SymType = Sym.getType()) { in getMachOObjectFileSymbolInfo()
65 auto Name = Sym.getName(); in getMachOObjectFileSymbolInfo()
68 auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym); in getMachOObjectFileSymbolInfo()
101 for (auto &Sym : Obj.symbols()) { in getELFObjectFileSymbolInfo() local
102 Expected<uint32_t> SymFlagsOrErr = Sym.getFlags(); in getELFObjectFileSymbolInfo()
116 if (auto SymType = Sym.getType()) { in getELFObjectFileSymbolInfo()
122 auto Name = Sym.getName(); in getELFObjectFileSymbolInfo()
126 auto SymFlags = JITSymbolFlags::fromObjectSymbol(Sym); in getELFObjectFileSymbolInfo()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/ |
| H A D | MachineModuleInfoImpls.h | 49 StubValueTy &getGVStubEntry(MCSymbol *Sym) { in getGVStubEntry() argument
50 assert(Sym && "Key cannot be null"); in getGVStubEntry()
51 return GVStubs[Sym]; in getGVStubEntry()
54 StubValueTy &getThreadLocalGVStubEntry(MCSymbol *Sym) { in getThreadLocalGVStubEntry() argument
55 assert(Sym && "Key cannot be null"); in getThreadLocalGVStubEntry()
56 return ThreadLocalGVStubs[Sym]; in getThreadLocalGVStubEntry()
59 const MCExpr *&getAuthPtrStubEntry(MCSymbol *Sym) { in getAuthPtrStubEntry() argument
60 assert(Sym && "Key cannot be null"); in getAuthPtrStubEntry()
61 return AuthPtrStubs[Sym]; in getAuthPtrStubEntry()
95 StubValueTy &getGVStubEntry(MCSymbol *Sym) { in getGVStubEntry() argument
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/ObjCopy/COFF/ |
| H A D | COFFWriter.cpp | 32 const Symbol *Sym = Obj.findSymbol(R.Target); in finalizeRelocTargets() local
33 if (Sym == nullptr) in finalizeRelocTargets()
37 R.Reloc.SymbolTableIndex = Sym->RawIndex; in finalizeRelocTargets()
44 for (Symbol &Sym : Obj.getMutableSymbols()) { in finalizeSymbolContents()
45 if (Sym.TargetSectionId <= 0) { in finalizeSymbolContents()
48 Sym.Sym.SectionNumber = static_cast<uint32_t>(Sym.TargetSectionId); in finalizeSymbolContents()
50 const Section *Sec = Obj.findSection(Sym.TargetSectionId); in finalizeSymbolContents()
54 Sym.Name.str().c_str()); in finalizeSymbolContents()
55 Sym.Sym.SectionNumber = Sec->Index; in finalizeSymbolContents()
57 if (Sym.Sym.NumberOfAuxSymbols == 1 && in finalizeSymbolContents()
[all …]
|
| H A D | COFFReader.cpp | 94 Symbol &Sym = Symbols.back(); in readSymbols() local
97 copySymbol(Sym.Sym, in readSymbols()
100 copySymbol(Sym.Sym, in readSymbols()
105 Sym.Name = *NameOrErr; in readSymbols()
117 Sym.AuxFile = StringRef(reinterpret_cast<const char *>(AuxData.data()), in readSymbols()
122 Sym.AuxData.push_back(AuxData.slice(I * SymSize, sizeof(AuxSymbol))); in readSymbols()
127 Sym.TargetSectionId = SymRef.getSectionNumber(); in readSymbols()
130 Sym.TargetSectionId = Sections[SymRef.getSectionNumber() - 1].UniqueId; in readSymbols()
143 Sym.AssociativeComdatTargetSectionId = Sections[Index - 1].UniqueId; in readSymbols()
148 Sym.WeakTargetSymbolId = WE->TagIndex; in readSymbols()
[all …]
|
| H A D | COFFObject.cpp | 22 NextSymbolOriginalIndex += 1 + S.Sym.NumberOfAuxSymbols; in addSymbols()
30 for (Symbol &Sym : Symbols) in updateSymbols()
31 SymbolMap[Sym.UniqueId] = &Sym; in updateSymbols()
41 llvm::erase_if(Symbols, [ToRemove, &Errs](const Symbol &Sym) { in removeSymbols() argument
42 Expected<bool> ShouldRemove = ToRemove(Sym); in removeSymbols()
55 for (Symbol &Sym : Symbols) in markSymbols()
56 Sym.Referenced = false; in markSymbols()
106 Symbols, [&RemovedSections, &AssociatedSections](const Symbol &Sym) { in removeSections() argument
111 if (RemovedSections.contains(Sym.AssociativeComdatTargetSectionId)) in removeSections()
112 AssociatedSections.insert(Sym.TargetSectionId); in removeSections()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/DebugInfo/CodeView/ |
| H A D | SymbolRecordHelpers.cpp | 23 uint32_t llvm::codeview::getScopeEndOffset(const CVSymbol &Sym) { in getScopeEndOffset() argument
24 assert(symbolOpensScope(Sym.kind())); in getScopeEndOffset()
25 switch (Sym.kind()) { in getScopeEndOffset()
32 ProcSym Proc = createRecord<ProcSym>(Sym); in getScopeEndOffset()
36 BlockSym Block = createRecord<BlockSym>(Sym); in getScopeEndOffset()
40 Thunk32Sym Thunk = createRecord<Thunk32Sym>(Sym); in getScopeEndOffset()
44 InlineSiteSym Site = createRecord<InlineSiteSym>(Sym); in getScopeEndOffset()
54 llvm::codeview::getScopeParentOffset(const llvm::codeview::CVSymbol &Sym) { in getScopeParentOffset() argument
55 assert(symbolOpensScope(Sym.kind())); in getScopeParentOffset()
56 switch (Sym.kind()) { in getScopeParentOffset()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Object/ |
| H A D | SymbolSize.cpp | 39 static unsigned getSymbolSectionID(const ObjectFile &O, SymbolRef Sym) { in getSymbolSectionID() argument
41 return M->getSymbolSectionID(Sym); in getSymbolSectionID()
43 return M->getSymbolSectionId(Sym); in getSymbolSectionID()
45 return M->getSymbolSectionID(Sym); in getSymbolSectionID()
46 return cast<COFFObjectFile>(O).getSymbolSectionID(Sym); in getSymbolSectionID()
57 for (ELFSymbolRef Sym : Syms) in computeSymbolSizes() local
58 Ret.push_back({Sym, Sym.getSize()}); in computeSymbolSizes()
63 for (XCOFFSymbolRef Sym : E->symbols()) in computeSymbolSizes() local
64 Ret.push_back({Sym, Sym.getSize()}); in computeSymbolSizes()
69 for (SymbolRef Sym : E->symbols()) { in computeSymbolSizes() local
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/WebAssembly/Utils/ |
| H A D | WebAssemblyUtilities.cpp | |
| /freebsd/contrib/llvm-project/llvm/include/llvm/ExecutionEngine/JITLink/ |
| H A D | JITLink.h | 458 auto *Sym = Allocator.Allocate<Symbol>(); in constructExternal() local
459 new (Sym) in constructExternal()
461 Sym->setWeaklyReferenced(WeaklyReferenced); in constructExternal()
462 return *Sym; in constructExternal()
472 auto *Sym = Allocator.Allocate<Symbol>(); in constructAbsolute() local
473 new (Sym) Symbol(Base, 0, std::move(Name), Size, L, S, IsLive, false); in constructAbsolute()
474 return *Sym; in constructAbsolute()
483 auto *Sym = Allocator.Allocate<Symbol>(); in constructAnonDef() local
484 new (Sym) Symbol(Base, Offset, nullptr, Size, Linkage::Strong, Scope::Local, in constructAnonDef()
486 return *Sym; in constructAnonDef()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/WebAssembly/ |
| H A D | WebAssemblyUtilities.cpp | 107 MCSymbolWasm *Sym = cast_or_null<MCSymbolWasm>(Ctx.lookupSymbol(Name)); in getOrCreateFunctionTableSymbol() local
108 if (Sym) { in getOrCreateFunctionTableSymbol()
109 if (!Sym->isFunctionTable()) in getOrCreateFunctionTableSymbol()
113 Sym = cast<MCSymbolWasm>(Ctx.getOrCreateSymbol(Name)); in getOrCreateFunctionTableSymbol()
114 Sym->setFunctionTable(is64); in getOrCreateFunctionTableSymbol()
116 Sym->setUndefined(); in getOrCreateFunctionTableSymbol()
120 Sym->setOmitFromLinkingSection(); in getOrCreateFunctionTableSymbol()
121 return Sym; in getOrCreateFunctionTableSymbol()
127 MCSymbolWasm *Sym = cast_or_null<MCSymbolWasm>(Ctx.lookupSymbol(Name)); in getOrCreateFuncrefCallTableSymbol() local
128 if (Sym) { in getOrCreateFuncrefCallTableSymbol()
[all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/DebugInfo/PDB/Native/ |
| H A D | NativePublicSymbol.cpp | 19 const codeview::PublicSym32 &Sym) in NativePublicSymbol() argument
20 : NativeRawSymbol(Session, PDB_SymType::PublicSymbol, Id), Sym(Sym) {} in NativePublicSymbol()
33 uint32_t NativePublicSymbol::getAddressOffset() const { return Sym.Offset; } in getAddressOffset()
35 uint32_t NativePublicSymbol::getAddressSection() const { return Sym.Segment; } in getAddressSection()
38 return std::string(Sym.Name); in getName()
42 return Session.getRVAFromSectOffset(Sym.Segment, Sym.Offset); in getRelativeVirtualAddress()
46 return Session.getVAFromSectOffset(Sym.Segment, Sym.Offset); in getVirtualAddress()
|
| H A D | NativeFunctionSymbol.cpp | 27 const codeview::ProcSym &Sym, in NativeFunctionSymbol() argument
29 : NativeRawSymbol(Session, PDB_SymType::Function, Id), Sym(Sym), in NativeFunctionSymbol()
45 return Sym.CodeOffset; in getAddressOffset()
48 uint32_t NativeFunctionSymbol::getAddressSection() const { return Sym.Segment; } in getAddressSection()
50 return std::string(Sym.Name); in getName()
53 uint64_t NativeFunctionSymbol::getLength() const { return Sym.CodeSize; } in getLength()
56 return Session.getRVAFromSectOffset(Sym.Segment, Sym.CodeOffset); in getRelativeVirtualAddress()
60 return Session.getVAFromSectOffset(Sym.Segment, Sym.CodeOffset); in getVirtualAddress()
114 auto End = Syms.at(Sym.End); in findInlineFramesByVA()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 48 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
56 SMTConv::getExpr(Solver, Ctx, Sym, &RetTy, &hasComparison); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
62 State, Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
65 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
68 ProgramStateRef assumeSymInclusiveRange(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
74 State, Sym, SMTConv::getRangeExpr(Solver, Ctx, Sym, From, To, InRange)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
77 ProgramStateRef assumeSymUnsupported(ProgramStateRef State, SymbolRef Sym, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
87 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
92 llvm::SMTExprRef VarExp = SMTConv::getExpr(Solver, Ctx, Sym, &RetTy); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
100 ConditionTruthVal isSat = checkModel(State, Sym, Exp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 54 SymbolRef Sym = V.getAsSymbol(); in addTaint() local
55 if (Sym) in addTaint()
56 return addTaint(State, Sym, Kind); in addTaint()
71 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint() local
72 return addPartialTaint(State, Sym, LCV->getRegion(), Kind); in addTaint()
87 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint() argument
91 while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) in addTaint()
92 Sym = SC->getOperand(); in addTaint()
94 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind); in addTaint()
100 SymbolRef Sym = V.getAsSymbol(); in removeTaint() local
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 172 SymbolRef &Sym, std::optional<CallEventRef<>> CE) { in findArgIdxOfSymbol() argument
179 if (CurrSt->getSVal(MR, TR->getValueType()).getAsSymbol() == Sym) in findArgIdxOfSymbol()
212 const RefVal &CurrV, SymbolRef &Sym, in generateDiagnosticsForCallLike() argument
254 auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE); in generateDiagnosticsForCallLike()
264 os << "a Core Foundation object of type '" << Sym->getType() << "' with a "; in generateDiagnosticsForCallLike()
266 os << "an OSObject of type '" << findAllocatedObjectName(S, Sym->getType()) in generateDiagnosticsForCallLike()
269 os << "an object of type '" << Sym->getType() << "' with a "; in generateDiagnosticsForCallLike()
272 QualType T = Sym->getType(); in generateDiagnosticsForCallLike()
314 SymbolRef Sym; member in clang::ento::retaincountchecker::RefCountReportVisitor
317 RefCountReportVisitor(SymbolRef sym) : Sym(sym) {} in RefCountReportVisitor()
[all …]
|
| H A D | RetainCountChecker.cpp | 28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) { in getRefBinding() argument
29 return State->get<RefBindings>(Sym); in getRefBinding()
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym, in setRefBinding() argument
38 assert(Sym != nullptr); in setRefBinding()
39 return State->set<RefBindings>(Sym, Val); in setRefBinding()
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding() argument
43 return State->remove<RefBindings>(Sym); in removeRefBinding()
209 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol(); in checkPostStmt() local
210 if (!Sym) in checkPostStmt()
212 const RefVal* T = getRefBinding(state, Sym); in checkPostStmt()
[all …]
|