Searched refs:SymExpr (Results 1 – 16 of 16) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 24 void SymExpr::anchor() { } in anchor()
26 void SymExpr::dump() const { in dump()
91 bool SymExpr::symbol_iterator::operator==(const symbol_iterator &X) const { in operator ==()
95 bool SymExpr::symbol_iterator::operator!=(const symbol_iterator &X) const { in operator !=()
99 SymExpr::symbol_iterator::symbol_iterator(const SymExpr *SE) { in symbol_iterator()
103 SymExpr::symbol_iterator &SymExpr::symbol_iterator::operator++() { in operator ++()
109 SymbolRef SymExpr::symbol_iterator::operator*() { in operator *()
114 void SymExpr::symbol_iterator::expand() { in expand()
115 const SymExpr *SE = itr.pop_back_val(); in expand()
118 case SymExpr::RegionValueKind: in expand()
[all …]
|
| D | ProgramState.cpp | 529 bool ScanReachableSymbols::scan(const SymExpr *sym) { in scan()
539 case SymExpr::RegionValueKind: in scan()
540 case SymExpr::ConjuredKind: in scan()
541 case SymExpr::DerivedKind: in scan()
542 case SymExpr::ExtentKind: in scan()
543 case SymExpr::MetadataKind: in scan()
545 case SymExpr::CastSymbolKind: in scan()
547 case SymExpr::SymIntKind: in scan()
549 case SymExpr::IntSymKind: in scan()
551 case SymExpr::SymSymKind: { in scan()
[all …]
|
| D | SValBuilder.cpp | 44 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
55 BinaryOperator::Opcode op, const SymExpr *rhs, in makeNonLoc()
62 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, in makeNonLoc()
63 const SymExpr *rhs, QualType type) { in makeNonLoc()
69 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
311 const SymExpr *symLHS = LHS.getAsSymExpr(); in makeSymExprValNN()
312 const SymExpr *symRHS = RHS.getAsSymExpr(); in makeSymExprValNN()
|
| D | SVals.cpp | 121 const SymExpr *SVal::getAsSymbolicExpression() const { in getAsSymbolicExpression()
128 const SymExpr* SVal::getAsSymExpr() const { in getAsSymExpr()
129 const SymExpr* Sym = getAsSymbol(); in getAsSymExpr()
|
| D | SimpleConstraintManager.cpp | 29 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()
211 const SymExpr *LHS, in assumeSymRel()
|
| D | SimpleConstraintManager.h | 42 const SymExpr *LHS,
|
| D | Environment.cpp | 181 SymExpr::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end(); in removeDeadBindings()
|
| D | SimpleSValBuilder.cpp | 47 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
83 if (const SymExpr *se = val.getAsSymbolicExpression()) { in evalCastFromNonLoc()
209 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS, in MakeSymIntVal()
|
| D | RegionStore.cpp | 2279 for (SymExpr::symbol_iterator SI = V.symbol_begin(), SE = V.symbol_end(); in VisitBinding()
2338 SymExpr::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end(); in removeDeadBindings()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 42 class SymExpr : public llvm::FoldingSetNode {
57 SymExpr(Kind k) : K(k) {} in SymExpr() function
60 virtual ~SymExpr() {} in ~SymExpr()
77 SmallVector<const SymExpr*, 5> itr;
81 symbol_iterator(const SymExpr *SE);
84 const SymExpr* operator*();
98 typedef const SymExpr* SymbolRef;
104 class SymbolData : public SymExpr {
109 SymbolData(Kind k, SymbolID sym) : SymExpr(k), Sym(sym) {} in SymbolData()
117 static inline bool classof(const SymExpr *SE) { in classof()
[all …]
|
| D | SValBuilder.h | 73 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { in haveSameType()
276 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
280 const SymExpr *lhs, QualType type);
282 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
283 const SymExpr *rhs, QualType type);
286 NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy);
|
| D | SVals.h | 168 const SymExpr *getAsSymbolicExpression() const;
170 const SymExpr* getAsSymExpr() const;
177 SymExpr::symbol_iterator symbol_begin() const { in symbol_begin()
178 const SymExpr *SE = getAsSymbolicExpression(); in symbol_begin()
182 return SymExpr::symbol_iterator(); in symbol_begin()
185 SymExpr::symbol_iterator symbol_end() const { in symbol_end()
186 return SymExpr::symbol_end(); in symbol_end()
318 return (const SymExpr*) Data; in getSymbol()
|
| D | ProgramState.h | 812 bool scan(const SymExpr *sym);
|
| /external/llvm/lib/Target/Sparc/MCTargetDesc/ |
| D | SparcMCCodeEmitter.cpp | 156 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); in getCallTargetOpValue() local
157 assert(SymExpr->getSymbol().getName() == "__tls_get_addr" && in getCallTargetOpValue()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | PathDiagnostic.h | 46 class SymExpr; variable
47 typedef const SymExpr* SymbolRef;
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 2041 for (SymExpr::symbol_iterator si = Len.symbol_begin(), in checkLiveSymbols()
|