Searched refs:BinarySymExpr (Results 1 – 3 of 3) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | Symbols.def | 37 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr) 38 SYMBOL(IntSymExpr, BinarySymExpr) 39 SYMBOL(SymIntExpr, BinarySymExpr) 40 SYMBOL(SymSymExpr, BinarySymExpr)
|
D | SymbolManager.h | 263 class BinarySymExpr : public SymExpr { 268 BinarySymExpr(Kind k, BinaryOperator::Opcode op, QualType t) in BinarySymExpr() function 286 class SymIntExpr : public BinarySymExpr { 293 : BinarySymExpr(SymIntExprKind, op, t), LHS(lhs), RHS(rhs) {} in SymIntExpr() 321 class IntSymExpr : public BinarySymExpr { 328 : BinarySymExpr(IntSymExprKind, op, t), LHS(lhs), RHS(rhs) {} in IntSymExpr() 356 class SymSymExpr : public BinarySymExpr { 363 : BinarySymExpr(SymSymExprKind, op, t), LHS(lhs), RHS(rhs) {} in SymSymExpr()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | CheckObjCDealloc.cpp | 416 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()
|