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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 45 class SymExpr : public llvm::FoldingSetNode {
57 SymExpr(Kind k) : K(k) {}
60 virtual ~SymExpr() {}
72 static inline bool classof(const SymExpr*) { return true; }
80 SmallVector<const SymExpr*, 5> itr;
84 symbol_iterator(const SymExpr *SE);
87 const SymExpr* operator*();
99 typedef const SymExpr* SymbolRef;
105 class SymbolData : public SymExpr {
110 SymbolData(Kind k, SymbolID sym) : SymExpr(k), Sym(sym) {
    [all...]
SVals.h 138 const SymExpr *getAsSymbolicExpression() const;
140 const SymExpr* getAsSymExpr() const;
147 SymExpr::symbol_iterator symbol_begin() const {
148 const SymExpr *SE = getAsSymbolicExpression();
152 return SymExpr::symbol_iterator();
155 SymExpr::symbol_iterator symbol_end() const {
156 return SymExpr::symbol_end();
273 return (const SymExpr*) Data;
SValBuilder.h 73 bool haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) {
270 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
274 const SymExpr *lhs, QualType type);
276 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
277 const SymExpr *rhs, QualType type);
280 NonLoc makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy);
ProgramState.h 784 bool scan(const SymExpr *sym);
  /external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp 24 void SymExpr::anchor() { }
26 void SymExpr::dump() const {
110 bool SymExpr::symbol_iterator::operator==(const symbol_iterator &X) const {
114 bool SymExpr::symbol_iterator::operator!=(const symbol_iterator &X) const {
118 SymExpr::symbol_iterator::symbol_iterator(const SymExpr *SE) {
123 SymExpr::symbol_iterator &SymExpr::symbol_iterator::operator++() {
132 SymbolRef SymExpr::symbol_iterator::operator*() {
137 void SymExpr::symbol_iterator::expand()
    [all...]
SValBuilder.cpp 43 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
54 BinaryOperator::Opcode op, const SymExpr *rhs,
61 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
62 const SymExpr *rhs, QualType type) {
69 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand,
204 const SymExpr *symLHS;
205 const SymExpr *symRHS;
ProgramState.cpp 498 bool ScanReachableSymbols::scan(const SymExpr *sym) {
507 // TODO: should be rewritten using SymExpr::symbol_iterator.
509 case SymExpr::RegionValueKind:
510 case SymExpr::ConjuredKind:
511 case SymExpr::DerivedKind:
512 case SymExpr::ExtentKind:
513 case SymExpr::MetadataKind:
515 case SymExpr::CastSymbolKind:
517 case SymExpr::SymIntKind:
519 case SymExpr::IntSymKind
    [all...]
SimpleConstraintManager.h 42 const SymExpr *LHS,
SVals.cpp 111 const SymExpr *SVal::getAsSymbolicExpression() const {
118 const SymExpr* SVal::getAsSymExpr() const {
119 const SymExpr* Sym = getAsSymbol();
SimpleConstraintManager.cpp 28 const SymExpr *SE = SymVal->getSymbol();
212 static llvm::APSInt computeAdjustment(const SymExpr *LHS,
243 const SymExpr *LHS,
SimpleSValBuilder.cpp 46 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
82 if (const SymExpr *se = val.getAsSymbolicExpression()) {
207 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS,
    [all...]
RegionStore.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
PathDiagnostic.h 44 class SymExpr;
45 typedef const SymExpr* SymbolRef;
  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp     [all...]

Completed in 281 milliseconds