HomeSort by relevance Sort by last modified time
    Searched refs:SymExpr (Results 1 - 16 of 16) sorted by null

  /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 813 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...]
SimpleConstraintManager.h 42 const SymExpr *LHS,
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,
311 const SymExpr *symLHS = LHS.getAsSymExpr();
312 const SymExpr *symRHS = RHS.getAsSymExpr();
SimpleConstraintManager.cpp 29 const SymExpr *SE = SymVal->getSymbol();
211 const SymExpr *LHS,
Environment.cpp 181 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/Sparc/MCTargetDesc/
SparcMCCodeEmitter.cpp 155 const MCSymbolRefExpr *SymExpr = cast<MCSymbolRefExpr>(SExpr->getSubExpr());
156 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/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp     [all...]

Completed in 157 milliseconds