Home
last modified time | relevance | path

Searched refs:SymbolRef (Results 1 – 25 of 238) sorted by relevance

12345678910

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.h36 const SymbolRef Offset;
38 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of) in IteratorPosition()
44 SymbolRef getOffset() const { return Offset; } in getOffset()
54 IteratorPosition setTo(SymbolRef NewOf) const { in setTo()
78 const SymbolRef Begin, End;
80 ContainerData(SymbolRef B, SymbolRef E) : Begin(B), End(E) {} in ContainerData()
83 static ContainerData fromBegin(SymbolRef B) { in fromBegin()
87 static ContainerData fromEnd(SymbolRef E) { in fromEnd()
91 SymbolRef getBegin() const { return Begin; } in getBegin()
92 SymbolRef getEnd() const { return End; } in getEnd()
[all …]
H A DFuchsiaHandleChecker.cpp116 SymbolRef ErrorSym;
257 bool VisitSymbol(SymbolRef S) override { in VisitSymbol()
267 SmallVector<SymbolRef, 1024> Symbols;
273 static SmallVector<SymbolRef, 1024>
295 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
343 for (SymbolRef Handle : Handles) { in checkPreCall()
373 SymbolRef ResultSymbol = nullptr; in checkPostCall()
419 for (SymbolRef Handle : Handles) { in checkPostCall()
505 SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
574 llvm::DenseSet<SymbolRef> UnEscaped; in checkPointerEscape()
[all …]
H A DTrustNonnullChecker.cpp37 REGISTER_MAP_WITH_PROGRAMSTATE(NonNullImplicationMap, SymbolRef, SymbolRef)
41 REGISTER_MAP_WITH_PROGRAMSTATE(NullImplicationMap, SymbolRef, SymbolRef)
68 const SymbolRef CondS = Cond.getAsSymbol(); in evalAssume()
73 const SymbolRef Antecedent = *B; in evalAssume()
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
117 SymbolRef RetS = Msg.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
149 for (const std::pair<SymbolRef, SymbolRef> &P : State->get<MapName>()) in dropDeadFromGDM()
213 ProgramStateRef addImplication(SymbolRef Antecedent, in addImplication()
219 const SymbolRef *Consequent = in addImplication()
H A DSimpleStreamChecker.cpp29 typedef SmallVector<SymbolRef, 2> SymbolVector;
60 void reportDoubleClose(SymbolRef FileDescSym,
64 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
90 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
113 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
132 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
149 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
168 SymbolRef Sym = I->first; in checkDeadSymbols()
186 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym, in reportDoubleClose()
208 for (SymbolRef LeakedStream : LeakedStreams) { in reportLeaks()
[all …]
H A DCheckObjCDealloc.cpp144 SymbolRef getInstanceSymbolFromIvarSymbol(SymbolRef IvarSym) const;
147 findPropertyOnDeallocatingInstance(SymbolRef IvarSym,
262 SymbolRef SelfSymbol = SelfVal.getAsSymbol(); in checkBeginFunction()
290 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()
316 SymbolRef
335 SymbolRef ReleasedValue = nullptr; in checkPreObjCMessage()
422 SymbolRef NullSymbol = nullptr; in evalAssume()
499 SymbolRef SelfSym = SelfVal.getAsSymbol(); in diagnoseMissingReleases()
607 SymbolRef IvarSym, CheckerContext &C) const { in findPropertyOnDeallocatingInstance()
854 ProgramStateRef State, SymbolRef Instance, SymbolRef Value) const { in removeValueRequiringRelease()
[all …]
H A DTaint.cpp22 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
27 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions) in REGISTER_MAP_WITH_PROGRAMSTATE()
52 SymbolRef Sym = V.getAsSymbol(); in addTaint()
69 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
85 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint()
98 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
112 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) { in removeTaint()
124 SymbolRef ParentSym, in addPartialTaint()
153 if (SymbolRef Sym = V.getAsSymbol()) in isTainted()
180 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) { in isTainted()
H A DObjCSuperDeallocChecker.cpp53 void reportUseAfterDealloc(SymbolRef Sym, StringRef Desc, const Stmt *S,
61 REGISTER_SET_WITH_PROGRAMSTATE(CalledSuperDealloc, SymbolRef)
65 SymbolRef ReceiverSymbol;
69 SuperDeallocBRVisitor(SymbolRef ReceiverSymbol) in SuperDeallocBRVisitor()
86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
120 SymbolRef SelfSymbol = State->getSelfSVal(LC).getAsSymbol(); in checkPostObjCMessage()
132 SymbolRef BaseSym = L.getLocSymbolInBase(); in checkLocation()
175 void ObjCSuperDeallocChecker::reportUseAfterDealloc(SymbolRef Sym, in reportUseAfterDealloc()
205 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
H A DMacOSKeychainAPIChecker.cpp42 SymbolRef Region;
134 SymbolRef Sym;
137 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
156 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
207 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
269 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
312 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
422 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
520 SymbolRef ReturnSymbol = nullptr; in evalAssume()
590 SymbolRef Sym = I.first; in checkPointerEscape()
[all …]
H A DIteratorRangeChecker.cpp294 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
295 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
296 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2);
353 bool isLess(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isLess()
357 bool isGreater(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isGreater()
361 bool isEqual(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2) { in isEqual()
H A DContainerModeling.cpp122 SymbolRef Offset,
125 SymbolRef Offset1,
127 SymbolRef Offset2,
138 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
139 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
140 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
141 SymbolRef OldSym, SymbolRef NewSym);
947 SymbolRef Offset, in invalidateIteratorPositions()
1005 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) { in rebaseSymbolInIteratorPositionsIf()
1020 SymbolRef OrigExpr, SymbolRef OldExpr, in rebaseSymbol()
[all …]
H A DStreamChecker.cpp385 SymbolRef StreamSym;
487 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
534 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
569 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
602 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
888 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
938 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
1021 for (SymbolRef LeakSym : LeakedSyms) { in reportLeaks()
1057 llvm::SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
1061 SymbolRef Sym = I.first; in checkDeadSymbols()
[all …]
/llvm-project-15.0.7/llvm/include/llvm/Object/
H A DObjectFile.h43 class SymbolRef; variable
81 friend class SymbolRef; variable
128 bool containsSymbol(SymbolRef S) const;
167 class SymbolRef : public BasicSymbolRef {
180 SymbolRef() = default;
198 Expected<SymbolRef::Type> getType() const;
214 const SymbolRef *operator->() const {
219 const SymbolRef &operator*() const {
246 friend class SymbolRef; variable
396 inline SymbolRef::SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner) in SymbolRef() function
[all …]
H A DIRSymtab.h256 class SymbolRef;
267 using symbol_range = iterator_range<object::content_iterator<SymbolRef>>;
313 class Reader::SymbolRef : public Symbol {
338 SymbolRef(const storage::Symbol *SymI, const storage::Symbol *SymE, in SymbolRef() function
351 bool operator==(const SymbolRef &Other) const { return SymI == Other.SymI; }
355 return {SymbolRef(Symbols.begin(), Symbols.end(), Uncommons.begin(), this), in symbols()
356 SymbolRef(Symbols.end(), Symbols.end(), nullptr, this)}; in symbols()
363 return {SymbolRef(MBegin, MEnd, Uncommons.begin() + M.UncBegin, this), in module_symbols()
364 SymbolRef(MEnd, MEnd, nullptr, this)}; in module_symbols()
/llvm-project-15.0.7/flang/include/flang/Lower/
H A DSymbolMap.h207 void addSymbol(semantics::SymbolRef sym, mlir::Value value,
213 void addCharSymbol(semantics::SymbolRef sym, mlir::Value value,
228 void addSymbolWithShape(semantics::SymbolRef sym,
240 void addCharSymbolWithShape(semantics::SymbolRef sym,
253 void addSymbolWithBounds(semantics::SymbolRef sym,
267 void addCharSymbolWithBounds(semantics::SymbolRef sym,
273 void addAllocatableOrPointer(semantics::SymbolRef sym,
278 void addBoxSymbol(semantics::SymbolRef sym, mlir::Value irBox,
293 SymbolBox lookupSymbol(semantics::SymbolRef sym);
300 SymbolBox shallowLookupSymbol(semantics::SymbolRef sym);
[all …]
H A DAbstractConverter.h62 using SymbolRef = Fortran::common::Reference<const Fortran::semantics::Symbol>; variable
79 virtual mlir::Value getSymbolAddress(SymbolRef sym) = 0;
88 virtual void copySymbolBinding(SymbolRef src, SymbolRef target) = 0;
92 virtual void bindSymbol(SymbolRef sym, const fir::ExtendedValue &exval) = 0;
95 virtual bool lookupLabelSet(SymbolRef sym, pft::LabelSet &labelSet) = 0;
185 virtual mlir::Type genType(SymbolRef) = 0;
200 SymbolRef typeInfoSym) = 0;
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h404 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>;
418 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
442 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
446 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
450 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
454 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
467 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
471 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
478 static void computeAdjustment(SymbolRef &Sym, llvm::APSInt &Adjustment);
489 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym);
[all …]
H A DSymbolManager.h135 SymbolRef parentSymbol;
147 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
563 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
578 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
579 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
608 bool isLive(SymbolRef sym);
618 void markLive(SymbolRef sym);
627 void markInUse(SymbolRef sym);
638 bool isDead(SymbolRef sym) { in isDead()
651 void markDependentsLive(SymbolRef sym);
[all …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp24 SymbolRef Sym, in assumeSym()
65 SymbolRef Subtraction = in assumeSym()
79 SymbolRef CanonicalEquality = in assumeSym()
102 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
112 SymbolRef AdjustedSym = Sym; in assumeSymInclusiveRange()
134 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
153 SymbolRef Sym, in assumeSymRel()
217 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
235 SVal simplifyToSVal(ProgramStateRef State, SymbolRef Sym) { in simplifyToSVal()
240 SymbolRef simplify(ProgramStateRef State, SymbolRef Sym) { in simplify()
[all …]
H A DRangeConstraintManager.cpp950 SymbolRef Second);
968 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
1023 return reinterpret_cast<SymbolRef>(ID); in getRepresentativeSymbol()
1215 RangeSet VisitSymExpr(SymbolRef Sym) { in VisitSymExpr()
1285 RangeSet infer(SymbolRef Sym) { in infer()
1461 if (SymbolRef NegatedSym = F()) in getRangeForNegatedExpr()
1472 [USE]() -> SymbolRef { in getRangeForNegatedUnarySym()
1823 SymbolRef Sym) override;
2346 for (SymbolRef Sym : OtherMembers) { in mergeImpl()
2873 SymbolRef Sym = SymbolClassPair.first; in removeDeadBindings()
[all …]
/llvm-project-15.0.7/llvm/tools/llvm-objdump/
H A DXCOFFDump.h21 const object::SymbolRef &Sym);
23 Optional<object::SymbolRef>
25 const object::SymbolRef &Sym);
27 bool isLabel(const object::XCOFFObjectFile &Obj, const object::SymbolRef &Sym);
H A DXCOFFDump.cpp48 const SymbolRef &Sym) { in getXCOFFSymbolCsectSMC()
61 Optional<object::SymbolRef>
63 const SymbolRef &Sym) { in getXCOFFSymbolContainingSymbolRef()
75 return SymbolRef(DRI, &Obj); in getXCOFFSymbolContainingSymbolRef()
78 bool objdump::isLabel(const XCOFFObjectFile &Obj, const SymbolRef &Sym) { in isLabel()
/llvm-project-15.0.7/llvm/tools/llvm-readobj/
H A DObjDumper.h48 std::function<bool(object::SymbolRef, object::SymbolRef)>;
54 bool operator()(object::SymbolRef LHS, object::SymbolRef RHS) { in operator()
110 virtual bool compareSymbolsByName(object::SymbolRef LHS, in compareSymbolsByName()
111 object::SymbolRef RHS) const { in compareSymbolsByName()
114 virtual bool compareSymbolsByType(object::SymbolRef LHS, in compareSymbolsByType()
115 object::SymbolRef RHS) const { in compareSymbolsByType()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp135 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
235 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
249 if (SymbolRef sym = in processObjCLiterals()
457 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined()
613 SymbolRef ErrorSym = nullptr; in checkSummary()
1198 for (SymbolRef sym : *invalidated) { in checkRegionChanges()
1323 for (SymbolRef L : Leaked) { in processLeaks()
1402 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
1415 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
1419 SymbolRef Sym = I.first; in checkDeadSymbols()
[all …]
/llvm-project-15.0.7/flang/include/flang/Semantics/
H A Dsymbol.h43 using SymbolRef = common::Reference<const Symbol>; variable
44 using SymbolVector = std::vector<SymbolRef>;
320 std::map<SourceName, SymbolRef> finals_; // FINAL :: subr
334 SymbolRef symbol_; // procedure bound to; may be forward
403 SymbolRef symbol_;
428 SymbolRef symbol_;
835 bool operator()(const SymbolRef &x, const SymbolRef &y) const { in operator()
851 bool operator()(const SymbolRef &, const SymbolRef &) const;
856 bool operator()(const SymbolRef &, const SymbolRef &) const;
866 for (SymbolRef x : container) { in OrderBySourcePosition()
[all …]
/llvm-project-15.0.7/flang/lib/Lower/
H A DSymbolMap.cpp19 void Fortran::lower::SymMap::addSymbol(Fortran::semantics::SymbolRef sym, in addSymbol()
34 Fortran::lower::SymMap::lookupSymbol(Fortran::semantics::SymbolRef symRef) { in lookupSymbol()
35 Fortran::semantics::SymbolRef sym = symRef.get().GetUltimate(); in lookupSymbol()
46 Fortran::semantics::SymbolRef symRef) { in shallowLookupSymbol()
58 Fortran::semantics::SymbolRef symRef) { in lookupOneLevelUpSymbol()
59 Fortran::semantics::SymbolRef sym = symRef.get().GetUltimate(); in lookupOneLevelUpSymbol()

12345678910