/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SymbolManager.h | 42 class SymExpr : public llvm::FoldingSetNode { 57 SymExpr(Kind k) : K(k) {} 60 virtual ~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) {} 117 static inline bool classof(const SymExpr *SE) [all...] |
SValBuilder.h | 73 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) { 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);
|
SVals.h | 168 const SymExpr *getAsSymbolicExpression() const; 170 const SymExpr* getAsSymExpr() const; 177 SymExpr::symbol_iterator symbol_begin() const { 178 const SymExpr *SE = getAsSymbolicExpression(); 182 return SymExpr::symbol_iterator(); 185 SymExpr::symbol_iterator symbol_end() const { 186 return SymExpr::symbol_end(); 318 return (const SymExpr*) Data;
|
ProgramState.h | 847 bool scan(const SymExpr *sym);
|
/external/clang/lib/StaticAnalyzer/Core/ |
SymbolManager.cpp | 24 void SymExpr::anchor() { } 26 void SymExpr::dump() const { 91 bool SymExpr::symbol_iterator::operator==(const symbol_iterator &X) const { 95 bool SymExpr::symbol_iterator::operator!=(const symbol_iterator &X) const { 99 SymExpr::symbol_iterator::symbol_iterator(const SymExpr *SE) { 103 SymExpr::symbol_iterator &SymExpr::symbol_iterator::operator++() { 109 SymbolRef SymExpr::symbol_iterator::operator*() { 114 void SymExpr::symbol_iterator::expand() [all...] |
ProgramState.cpp | 529 bool ScanReachableSymbols::scan(const SymExpr *sym) { 537 // TODO: should be rewritten using SymExpr::symbol_iterator. 539 case SymExpr::RegionValueKind: 540 case SymExpr::ConjuredKind: 541 case SymExpr::DerivedKind: 542 case SymExpr::ExtentKind: 543 case SymExpr::MetadataKind: 545 case SymExpr::CastSymbolKind: 547 case SymExpr::SymIntKind: 549 case SymExpr::IntSymKind [all...] |
SVals.cpp | 121 const SymExpr *SVal::getAsSymbolicExpression() const { 128 const SymExpr* SVal::getAsSymExpr() const { 129 const SymExpr* Sym = getAsSymbol();
|
SValBuilder.cpp | 44 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 55 BinaryOperator::Opcode op, const SymExpr *rhs, 62 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, 63 const SymExpr *rhs, QualType type) { 69 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, 339 const SymExpr *symLHS = LHS.getAsSymExpr(); 340 const SymExpr *symRHS = RHS.getAsSymExpr();
|
SimpleConstraintManager.h | 48 const SymExpr *LHS,
|
SimpleConstraintManager.cpp | 29 const SymExpr *SE = SymVal->getSymbol(); 247 const SymExpr *LHS,
|
Environment.cpp | 178 SymExpr::symbol_iterator SI = X.symbol_begin(), SE = X.symbol_end();
|
SimpleSValBuilder.cpp | 47 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op, 83 if (const SymExpr *se = val.getAsSymbolicExpression()) { 209 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS, [all...] |
RegionStore.cpp | [all...] |
/external/llvm/lib/Target/NVPTX/ |
NVPTXMCExpr.h | 85 const MCSymbolRefExpr *SymExpr; 88 : SymExpr(_SymExpr) {} 95 *create(const MCSymbolRefExpr *SymExpr, MCContext &Ctx); 102 const MCSymbolRefExpr *getSymbolExpr() const { return SymExpr; }
|
NVPTXMCExpr.cpp | 50 NVPTXGenericMCSymbolRefExpr::create(const MCSymbolRefExpr *SymExpr, 52 return new (Ctx) NVPTXGenericMCSymbolRefExpr(SymExpr); 58 SymExpr->print(OS, MAI);
|
/external/llvm/lib/Target/Sparc/MCTargetDesc/ |
SparcMCCodeEmitter.cpp | 157 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr()); 158 assert(SymExpr->getSymbol().getName() == "__tls_get_addr" &&
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
PathDiagnostic.h | 46 class SymExpr; 47 typedef const SymExpr* SymbolRef;
|
/external/llvm/lib/Target/Mips/AsmParser/ |
MipsAsmParser.cpp | 187 bool loadAndAddSymbolAddress(const MCExpr *SymExpr, unsigned DstReg, [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
CStringChecker.cpp | [all...] |