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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 41 class SymExpr : public llvm::FoldingSetNode {
52 SymExpr(Kind k) : K(k) {}
55 virtual ~SymExpr() {}
67 static inline bool classof(const SymExpr*) { return true; }
72 class SymbolData : public SymExpr {
77 SymbolData(Kind k, SymbolID sym) : SymExpr(k), Sym(sym) {}
85 static inline bool classof(const SymExpr* SE) {
117 static inline bool classof(const SymExpr* SE) {
157 static inline bool classof(const SymExpr* SE) {
191 static inline bool classof(const SymExpr* SE)
    [all...]
SVals.h 141 const SymExpr *getAsSymbolicExpression() const;
150 llvm::SmallVector<const SymExpr*, 5> itr;
154 symbol_iterator(const SymExpr* SE);
164 const SymExpr *SE = getAsSymbolicExpression();
301 explicit SymExprVal(const SymExpr *SE)
304 const SymExpr *getSymbolicExpression() const {
305 return reinterpret_cast<const SymExpr*>(Data);
SValBuilder.h 219 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
222 NonLoc makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
223 const SymExpr *rhs, QualType type);
  /external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp 23 void SymExpr::dump() const {
96 SymExpr *SD = DataSet.FindNodeOrInsertPos(profile, InsertPos);
98 SD = (SymExpr*) BPAlloc.Allocate<SymbolRegionValue>();
114 SymExpr *SD = DataSet.FindNodeOrInsertPos(profile, InsertPos);
116 SD = (SymExpr*) BPAlloc.Allocate<SymbolConjured>();
132 SymExpr *SD = DataSet.FindNodeOrInsertPos(profile, InsertPos);
134 SD = (SymExpr*) BPAlloc.Allocate<SymbolDerived>();
148 SymExpr *SD = DataSet.FindNodeOrInsertPos(profile, InsertPos);
150 SD = (SymExpr*) BPAlloc.Allocate<SymbolExtent>();
166 SymExpr *SD = DataSet.FindNodeOrInsertPos(profile, InsertPos)
    [all...]
SVals.cpp 113 const SymExpr *SVal::getAsSymbolicExpression() const {
144 SVal::symbol_iterator::symbol_iterator(const SymExpr *SE) {
164 const SymExpr *SE = itr.back();
309 const SymExpr *SE = C.getSymbolicExpression();
SimpleConstraintManager.h 44 const SymExpr *LHS,
SValBuilder.cpp 41 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
50 NonLoc SValBuilder::makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op,
51 const SymExpr *rhs, QualType type) {
SimpleConstraintManager.cpp 27 const SymExpr *SE = SymVal->getSymbolicExpression();
206 const SymExpr *LHS,
SimpleSValBuilder.cpp 45 SVal MakeSymIntVal(const SymExpr *LHS, BinaryOperator::Opcode op,
75 if (const SymExpr *se = val.getAsSymbolicExpression()) {
198 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS,
    [all...]

Completed in 169 milliseconds