Home
last modified time | relevance | path

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

1234567

/netbsd/external/apache2/llvm/dist/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()
80 const SymbolRef Begin, End;
82 ContainerData(SymbolRef B, SymbolRef E) : Begin(B), End(E) {} in ContainerData()
85 static ContainerData fromBegin(SymbolRef B) { in fromBegin()
89 static ContainerData fromEnd(SymbolRef E) { in fromEnd()
93 SymbolRef getBegin() const { return Begin; } in getBegin()
94 SymbolRef getEnd() const { return End; } in getEnd()
[all …]
H A DFuchsiaHandleChecker.cpp116 SymbolRef ErrorSym;
260 bool VisitSymbol(SymbolRef S) override { in VisitSymbol()
270 SmallVector<SymbolRef, 1024> Symbols;
277 static SmallVector<SymbolRef, 1024>
299 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
347 for (SymbolRef Handle : Handles) { in checkPreCall()
377 SymbolRef ResultSymbol = nullptr; in checkPostCall()
423 for (SymbolRef Handle : Handles) { in checkPostCall()
509 SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
578 llvm::DenseSet<SymbolRef> UnEscaped; in checkPointerEscape()
[all …]
H A DSimpleStreamChecker.cpp28 typedef SmallVector<SymbolRef, 2> SymbolVector;
59 void reportDoubleClose(SymbolRef FileDescSym,
89 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
98 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
126 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
145 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
162 static bool isLeaked(SymbolRef Sym, const StreamState &SS, in isLeaked()
181 SymbolRef Sym = I->first; in checkDeadSymbols()
199 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym, in reportDoubleClose()
221 for (SymbolRef LeakedStream : LeakedStreams) { in reportLeaks()
[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 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()
50 SymbolRef Sym = V.getAsSymbol(); in addTaint()
67 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
83 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint()
96 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
110 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) { in removeTaint()
122 SymbolRef ParentSym, in addPartialTaint()
151 if (SymbolRef Sym = V.getAsSymbol()) in isTainted()
178 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 DContainerModeling.cpp136 SymbolRef Offset,
139 SymbolRef Offset1,
141 SymbolRef Offset2,
152 ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
153 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
155 SymbolRef OldSym, SymbolRef NewSym);
961 SymbolRef Offset, in invalidateIteratorPositions()
1019 SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) { in rebaseSymbolInIteratorPositionsIf()
1034 SymbolRef OrigExpr, SymbolRef OldExpr, in rebaseSymbol()
[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 DMacOSKeychainAPIChecker.cpp42 SymbolRef Region;
134 SymbolRef Sym;
137 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {} in SecKeychainBugVisitor()
156 SymbolRef, in REGISTER_MAP_WITH_PROGRAMSTATE() argument
208 static SymbolRef getAsPointeeSymbol(const Expr *Expr, in getAsPointeeSymbol()
270 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) in checkPreStmt()
313 SymbolRef ArgSM = ArgSVal.getAsLocSymbol(); in checkPreStmt()
423 if (SymbolRef V = getAsPointeeSymbol(ArgExpr, C)) { in checkPostStmt()
521 SymbolRef ReturnSymbol = nullptr; in evalAssume()
591 SymbolRef Sym = I.first; in checkPointerEscape()
[all …]
H A DMallocChecker.cpp254 SymbolRef ReallocatedSym;
703 SymbolRef Sym, SymbolRef PrevSym) const;
738 SymbolRef Sym;
744 SymbolRef FailedReallocSymbol;
859 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
1613 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail()
2593 SmallVector<SymbolRef, 2> Errors; in checkDeadSymbols()
2730 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
3095 SymbolRef EscapingSymbol = nullptr; in checkPointerEscapeAux()
3106 SymbolRef sym = *I; in checkPointerEscapeAux()
[all …]
H A DStreamChecker.cpp367 SymbolRef StreamSym;
450 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
496 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
530 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
562 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
842 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
892 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
973 for (SymbolRef LeakSym : LeakedSyms) { in reportLeaks()
1009 llvm::SmallVector<SymbolRef, 2> LeakedSyms; in checkDeadSymbols()
1013 SymbolRef Sym = I.first; in checkDeadSymbols()
[all …]
H A DAllocationState.h20 ProgramStateRef markReleased(ProgramStateRef State, SymbolRef Sym,
26 std::unique_ptr<BugReporterVisitor> getInnerPointerBRVisitor(SymbolRef Sym);
31 const MemRegion *getContainerObjRegion(ProgramStateRef State, SymbolRef Sym);
H A DTaint.h39 LLVM_NODISCARD ProgramStateRef addTaint(ProgramStateRef State, SymbolRef Sym,
54 SymbolRef Sym);
61 ProgramStateRef State, SymbolRef ParentSym, const SubRegion *SubRegion,
74 bool isTainted(ProgramStateRef State, SymbolRef Sym,
/netbsd/external/apache2/llvm/dist/llvm/include/llvm/Object/
H A DObjectFile.h43 class SymbolRef; variable
81 friend class SymbolRef; variable
128 bool containsSymbol(SymbolRef S) const;
164 class SymbolRef : public BasicSymbolRef {
177 SymbolRef() = default;
195 Expected<SymbolRef::Type> getType() const;
211 const SymbolRef *operator->() const {
216 const SymbolRef &operator*() const {
243 friend class SymbolRef; variable
383 inline SymbolRef::SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner) in SymbolRef() function
[all …]
H A DIRSymtab.h252 class SymbolRef;
263 using symbol_range = iterator_range<object::content_iterator<SymbolRef>>;
307 class Reader::SymbolRef : public Symbol {
332 SymbolRef(const storage::Symbol *SymI, const storage::Symbol *SymE, in SymbolRef() function
345 bool operator==(const SymbolRef &Other) const { return SymI == Other.SymI; }
349 return {SymbolRef(Symbols.begin(), Symbols.end(), Uncommons.begin(), this), in symbols()
350 SymbolRef(Symbols.end(), Symbols.end(), nullptr, this)}; in symbols()
357 return {SymbolRef(MBegin, MEnd, Uncommons.begin() + M.UncBegin, this), in module_symbols()
358 SymbolRef(MEnd, MEnd, nullptr, this)}; in module_symbols()
H A DELFObjectFile.h141 ELFSymbolRef(const SymbolRef &B) : SymbolRef(B) { in ELFSymbolRef()
656 Expected<SymbolRef::Type>
664 return SymbolRef::ST_Unknown; in getSymbolType()
666 return SymbolRef::ST_Debug; in getSymbolType()
668 return SymbolRef::ST_File; in getSymbolType()
670 return SymbolRef::ST_Function; in getSymbolType()
673 return SymbolRef::ST_Data; in getSymbolType()
676 return SymbolRef::ST_Other; in getSymbolType()
690 Result |= SymbolRef::SF_Global; in getSymbolFlags()
693 Result |= SymbolRef::SF_Weak; in getSymbolFlags()
[all …]
/netbsd/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp552 SymbolRef First, SymbolRef Second);
569 ProgramStateRef State, SymbolRef First, SymbolRef Second);
585 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
624 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol()
625 return reinterpret_cast<SymbolRef>(ID); in getRepresentativeSymbol()
678 SymbolRef Left, Right;
839 RangeSet VisitSymExpr(SymbolRef Sym) { in VisitSymExpr()
885 RangeSet infer(SymbolRef Sym) { in infer()
1082 SymbolRef NegatedSym = in getRangeForNegatedSub()
1710 for (SymbolRef Sym : OtherMembers) { in mergeImpl()
[all …]
H A DRangedConstraintManager.cpp24 SymbolRef Sym, in assumeSym()
58 SymbolRef Subtraction = in assumeSym()
72 SymbolRef CanonicalEquality = in assumeSym()
94 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
101 SymbolRef AdjustedSym = Sym; in assumeSymInclusiveRange()
123 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported()
140 SymbolRef Sym, in assumeSymRel()
204 void RangedConstraintManager::computeAdjustment(SymbolRef &Sym, in computeAdjustment()
H A DSimpleSValBuilder.cpp223 static std::pair<SymbolRef, llvm::APSInt>
269 SymbolRef ResultSym = nullptr; in doRearrangeUnchecked()
332 SymbolRef LSym = Lhs.getAsSymbol(); in tryRearrange()
356 SymbolRef RSym = Rhs.getAsSymbol(); in tryRearrange()
760 if (SymbolRef rSym = rhs.getAsLocSymbol()) { in evalBinOpLL()
968 SymbolRef LHSSym = lhs.getAsLocSymbol(); in evalBinOpLL()
969 SymbolRef RHSSym = rhs.getAsLocSymbol(); in evalBinOpLL()
1107 if (SymbolRef Sym = V.getAsSymbol()) in getKnownValue()
1127 llvm::DenseMap<SymbolRef, SVal> Cached; in simplifySVal()
1133 SVal cache(SymbolRef Sym, SVal V) { in simplifySVal()
[all …]
/netbsd/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h310 using ConstraintMap = llvm::ImmutableMap<SymbolRef, RangeSet>;
324 ProgramStateRef assumeSym(ProgramStateRef State, SymbolRef Sym,
348 virtual ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
352 virtual ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
356 virtual ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
360 virtual ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
364 virtual ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym,
368 virtual ProgramStateRef assumeSymGE(ProgramStateRef State, SymbolRef Sym,
373 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
377 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
[all …]
H A DSymbolManager.h132 SymbolRef parentSymbol;
143 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
496 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent);
511 using SymbolSetTy = llvm::DenseSet<SymbolRef>;
512 using SymbolMapTy = llvm::DenseMap<SymbolRef, SymbolStatus>;
540 bool isLive(SymbolRef sym);
550 void markLive(SymbolRef sym);
559 void markInUse(SymbolRef sym);
570 bool isDead(SymbolRef sym) { in isDead()
583 void markDependentsLive(SymbolRef sym);
[all …]
/netbsd/external/apache2/llvm/dist/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()
1197 for (SymbolRef sym : *invalidated) { in checkRegionChanges()
1322 for (SymbolRef L : Leaked) { in processLeaks()
1401 SmallVector<SymbolRef, 10> Leaked; in checkEndFunction()
1414 SmallVector<SymbolRef, 10> Leaked; in checkDeadSymbols()
1418 SymbolRef Sym = I.first; in checkDeadSymbols()
[all …]
H A DRetainCountChecker.h328 SymbolRef Sym, ProgramStateRef state) const;
334 ProgramStateRef updateSymbol(ProgramStateRef state, SymbolRef sym,
339 SymbolRef Sym) const;
342 RefVal::Kind ErrorKind, SymbolRef Sym,
348 SymbolRef sid, RefVal V,
349 SmallVectorImpl<SymbolRef> &Leaked) const;
354 SymbolRef Sym,
359 SmallVectorImpl<SymbolRef> &Leaked,
380 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym);
H A DRetainCountDiagnostics.h51 SymbolRef Sym;
56 ExplodedNode *n, SymbolRef sym,
60 ExplodedNode *n, SymbolRef sym,
88 SymbolRef sym, CheckerContext &Ctx);

1234567