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()
|