| /external/llvm/include/llvm/Object/ |
| D | ObjectFile.h | 60 class SymbolRef {
66 SymbolRef() : OwningObject(NULL) { in SymbolRef() function
70 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
72 bool operator==(const SymbolRef &Other) const;
74 error_code getNext(SymbolRef &Result) const;
92 friend class SymbolRef; variable
115 error_code containsSymbol(SymbolRef S, bool &Result) const;
143 friend class SymbolRef; variable
144 virtual error_code getSymbolNext(DataRefImpl Symb, SymbolRef &Res) const = 0;
197 typedef content_iterator<SymbolRef> symbol_iterator;
[all …]
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | BasicConstraintManager.cpp | 28 typedef llvm::ImmutableMap<SymbolRef,GRState::IntSetTy> ConstNotEqTy;
29 typedef llvm::ImmutableMap<SymbolRef,const llvm::APSInt*> ConstEqTy;
59 const GRState *assumeSymNE(const GRState* state, SymbolRef sym,
63 const GRState *assumeSymEQ(const GRState* state, SymbolRef sym,
67 const GRState *assumeSymLT(const GRState* state, SymbolRef sym,
71 const GRState *assumeSymGT(const GRState* state, SymbolRef sym,
75 const GRState *assumeSymGE(const GRState* state, SymbolRef sym,
79 const GRState *assumeSymLE(const GRState* state, SymbolRef sym,
83 const GRState* AddEQ(const GRState* state, SymbolRef sym, const llvm::APSInt& V);
85 const GRState* AddNE(const GRState* state, SymbolRef sym, const llvm::APSInt& V);
[all …]
|
| D | RangeConstraintManager.cpp | 194 typedef llvm::ImmutableMap<SymbolRef,RangeSet> ConstraintRangeTy;
208 RangeSet GetRange(const GRState *state, SymbolRef sym);
213 const GRState *assumeSymNE(const GRState* state, SymbolRef sym,
217 const GRState *assumeSymEQ(const GRState* state, SymbolRef sym,
221 const GRState *assumeSymLT(const GRState* state, SymbolRef sym,
225 const GRState *assumeSymGT(const GRState* state, SymbolRef sym,
229 const GRState *assumeSymGE(const GRState* state, SymbolRef sym,
233 const GRState *assumeSymLE(const GRState* state, SymbolRef sym,
237 const llvm::APSInt* getSymVal(const GRState* St, SymbolRef sym) const;
240 bool isEqual(const GRState* St, SymbolRef sym, const llvm::APSInt& V) const { in isEqual()
[all …]
|
| D | SimpleConstraintManager.h | 56 virtual const GRState *assumeSymNE(const GRState *state, SymbolRef sym,
60 virtual const GRState *assumeSymEQ(const GRState *state, SymbolRef sym,
64 virtual const GRState *assumeSymLT(const GRState *state, SymbolRef sym,
68 virtual const GRState *assumeSymGT(const GRState *state, SymbolRef sym,
72 virtual const GRState *assumeSymLE(const GRState *state, SymbolRef sym,
76 virtual const GRState *assumeSymGE(const GRState *state, SymbolRef sym,
|
| D | CFRefCount.cpp | 405 typedef llvm::ImmutableMap<SymbolRef, RefVal> RefBindings;
1393 if (SymbolRef Sym = receiverV.getAsLocSymbol()) in getInstanceMethodSummary()
1614 typedef llvm::ImmutableMap<SymbolRef, unsigned> ARCounts;
1615 typedef llvm::ImmutableMap<SymbolRef, ARCounts> ARPoolContents;
1616 typedef llvm::ImmutableList<SymbolRef> ARStack;
1638 static SymbolRef GetCurrentAutoreleasePool(const GRState* state) { in GetCurrentAutoreleasePool()
1640 return stack.isEmpty() ? SymbolRef() : stack.getHead(); in GetCurrentAutoreleasePool()
1644 ARCounts::Factory &F, SymbolRef sym) { in SendAutorelease()
1646 SymbolRef pool = GetCurrentAutoreleasePool(state); in SendAutorelease()
1689 const GRState * Update(const GRState * state, SymbolRef sym, RefVal V, ArgEffect E,
[all …]
|
| D | SVals.cpp | 36 SymbolRef sym = SV->getSymbol(); in hasConjuredSymbol()
44 SymbolRef sym = SR->getSymbol(); in hasConjuredSymbol()
66 SymbolRef SVal::getAsLocSymbol() const { in getAsLocSymbol()
79 SymbolRef SVal::getLocSymbolInBase() const { in getLocSymbolInBase()
100 SymbolRef SVal::getAsSymbol() const { in getAsSymbol()
105 if (SymbolRef Y = dyn_cast<SymbolData>(X->getSymbolicExpression())) in getAsSymbol()
158 SymbolRef SVal::symbol_iterator::operator*() { in operator *()
|
| D | SValBuilder.cpp | 79 SymbolRef sym = SymMgr.getRegionValueSymbol(region); in getRegionValueSymbolVal()
95 SymbolRef sym = SymMgr.getConjuredSymbol(expr, count, symbolTag); in getConjuredSymbolVal()
111 SymbolRef sym = SymMgr.getConjuredSymbol(expr, type, count, symbolTag); in getConjuredSymbolVal()
125 SymbolRef sym = in getMetadataSymbolVal()
135 SValBuilder::getDerivedRegionValueSymbolVal(SymbolRef parentSymbol, in getDerivedRegionValueSymbolVal()
142 SymbolRef sym = SymMgr.getDerivedSymbol(parentSymbol, region); in getDerivedRegionValueSymbolVal()
|
| D | SymbolManager.cpp | 126 SymbolManager::getDerivedSymbol(SymbolRef parentSymbol, in getDerivedSymbol()
250 void SymbolReaper::markLive(SymbolRef sym) { in markLive()
255 void SymbolReaper::markInUse(SymbolRef sym) { in markInUse()
260 bool SymbolReaper::maybeDead(SymbolRef sym) { in maybeDead()
293 bool SymbolReaper::isLive(SymbolRef sym) { in isLive()
|
| D | SimpleSValBuilder.cpp | 263 if (SymbolRef LHSSym = dyn_cast<SymbolData>(LHS)) in MakeSymIntVal()
421 SymbolRef RSym = srhs->getSymbol(); in evalBinOpNN()
481 SymbolRef Sym = slhs->getSymbol(); in evalBinOpNN()
518 SymbolRef RSym = srhs->getSymbol(); in evalBinOpNN()
607 if (SymbolRef rSym = rhs.getAsLocSymbol()) { in evalBinOpLL()
655 if (SymbolRef lSym = lhs.getAsLocSymbol()) in evalBinOpLL()
944 if (SymbolRef Sym = V.getAsSymbol()) in getKnownValue()
|
| D | SimpleConstraintManager.cpp | 159 SymbolRef sym = SV.getSymbol(); in assumeAux()
222 SymbolRef Sym = dyn_cast<SymbolData>(LHS); in assumeSymRel()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 91 typedef const SymbolData* SymbolRef; typedef
165 SymbolRef parentSymbol;
169 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedRegion *r) in SymbolDerived()
172 SymbolRef getParentSymbol() const { return parentSymbol; } in getParentSymbol()
179 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent, in Profile()
385 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
414 typedef llvm::DenseSet<SymbolRef> SetTy;
432 bool isLive(SymbolRef sym);
439 void markLive(SymbolRef sym);
446 void markInUse(SymbolRef sym);
[all …]
|
| D | ConstraintManager.h | 46 SymbolRef sym) const = 0;
48 virtual bool isEqual(const GRState *state, SymbolRef sym,
|
| D | SVals.h | 130 SymbolRef getAsLocSymbol() const;
133 SymbolRef getLocSymbolInBase() const;
137 SymbolRef getAsSymbol() const;
157 SymbolRef operator*();
283 SymbolVal(SymbolRef sym) : NonLoc(SymbolValKind, sym) {} in SymbolVal()
285 SymbolRef getSymbol() const { in getSymbol()
|
| D | SValBuilder.h | 142 SymbolRef parentSymbol, const TypedRegion *region);
237 Loc makeLoc(SymbolRef sym) { in makeLoc()
|
| /external/llvm/lib/Target/ARM/ |
| D | ARMMCExpr.cpp | 30 if (Expr->getKind() != MCExpr::SymbolRef) in PrintImpl()
33 if (Expr->getKind() != MCExpr::SymbolRef) in PrintImpl()
61 case MCExpr::SymbolRef: in AddValueSymbols_()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | StreamChecker.cpp | 111 : public GRStatePartialTrait<llvm::ImmutableMap<SymbolRef, StreamState> > {
237 if (SymbolRef Sym = RetVal.getAsSymbol()) { in OpenFileAux()
367 SymbolRef Sym = state->getSVal(CE->getArg(0)).getAsSymbol(); in CheckDoubleClose()
401 SymbolRef Sym = *I; in checkDeadSymbols()
424 typedef llvm::ImmutableMap<SymbolRef, StreamState> SymMap; in checkEndPath()
449 SymbolRef Sym = state->getSVal(RetE).getAsSymbol(); in checkPreStmt()
|
| D | NSErrorChecker.cpp | 164 typedef llvm::ImmutableMap<SymbolRef, unsigned> ErrorOutFlag;
181 if (SymbolRef sym = val.getAsSymbol()) in hasFlag()
190 if (SymbolRef sym = val.getAsSymbol()) in setFlag()
|
| D | MallocChecker.cpp | 116 typedef llvm::ImmutableMap<SymbolRef, RefState> RegionStateTy;
242 SymbolRef Sym = retVal.getAsLocSymbol(); in MallocMemAux()
337 SymbolRef Sym = SR->getSymbol(); in FreeMemAux()
526 SymbolRef Sym = arg0Val.getAsLocSymbol(); in ReallocMem()
628 SymbolRef Sym = state->getSVal(retExpr).getAsSymbol(); in checkPreStmt()
661 SymbolRef Sym = l.getLocSymbolInBase(); in checkLocation()
693 SymbolRef Sym = val.getLocSymbolInBase(); in checkBind()
|
| D | ObjCSelfInitChecker.cpp | 105 typedef llvm::ImmutableMap<SymbolRef, unsigned> SelfFlag;
132 if (SymbolRef sym = val.getAsSymbol()) in getSelfFlags()
145 if (SymbolRef sym = val.getAsSymbol()) in addSelfFlag()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 378 llvm::SmallSet<SymbolRef, 10> NotableSymbols;
400 void addNotableSymbol(SymbolRef Sym) { in addNotableSymbol()
404 bool isNotable(SymbolRef Sym) const { in isNotable()
435 void addNotableSymbol(SymbolRef Sym) { in addNotableSymbol()
440 bool isNotable(SymbolRef Sym) const { in isNotable()
|
| /external/llvm/lib/Object/ |
| D | COFFObjectFile.cpp | 89 SymbolRef &Result) const { in getSymbolNext()
93 Result = SymbolRef(Symb, this); in getSymbolNext()
371 return symbol_iterator(SymbolRef(ret, this)); in begin_symbols()
379 return symbol_iterator(SymbolRef(ret, this)); in end_symbols()
|
| D | MachOObjectFile.cpp | 50 virtual error_code getSymbolNext(DataRefImpl Symb, SymbolRef &Res) const;
140 SymbolRef &Result) const { in getSymbolNext()
143 Result = SymbolRef(DRI, this); in getSymbolNext()
235 return symbol_iterator(SymbolRef(DRI, this)); in begin_symbols()
242 return symbol_iterator(SymbolRef(DRI, this)); in end_symbols()
|
| D | ELFObjectFile.cpp | 225 virtual error_code getSymbolNext(DataRefImpl Symb, SymbolRef &Res) const;
276 SymbolRef &Result) const { in getSymbolNext()
293 Result = SymbolRef(Symb, this); in getSymbolNext()
584 return symbol_iterator(SymbolRef(SymbolData, this)); in begin_symbols()
594 return symbol_iterator(SymbolRef(SymbolData, this)); in end_symbols()
|
| /external/llvm/include/llvm/MC/ |
| D | MCExpr.h | 37 SymbolRef, ///< References to labels and assigned expressions. enumerator
188 : MCExpr(MCExpr::SymbolRef), Symbol(_Symbol), Kind(_Kind) {} in MCSymbolRefExpr()
222 return E->getKind() == MCExpr::SymbolRef; in classof()
|
| /external/llvm/lib/MC/ |
| D | MCSymbol.cpp | 46 if (Value->getKind() != MCExpr::SymbolRef) in AliasedSymbol()
|