Home
last modified time | relevance | path

Searched refs:BinarySymExpr (Results 1 – 8 of 8) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbols.def37 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
38 SYMBOL(IntSymExpr, BinarySymExpr)
39 SYMBOL(SymIntExpr, BinarySymExpr)
40 SYMBOL(SymSymExpr, BinarySymExpr)
H A DSymbolManager.h304 class BinarySymExpr : public SymExpr {
309 BinarySymExpr(Kind k, BinaryOperator::Opcode op, QualType t) in BinarySymExpr() function
333 class SymIntExpr : public BinarySymExpr {
340 : BinarySymExpr(SymIntExprKind, op, t), LHS(lhs), RHS(rhs) { in SymIntExpr()
376 class IntSymExpr : public BinarySymExpr {
383 : BinarySymExpr(IntSymExprKind, op, t), LHS(lhs), RHS(rhs) { in IntSymExpr()
419 class SymSymExpr : public BinarySymExpr {
426 : BinarySymExpr(SymSymExprKind, op, t), LHS(lhs), RHS(rhs) { in SymSymExpr()
H A DSMTConstraintManager.h164 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in getSymVal()
252 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in canReasonAbout()
H A DSMTConv.h372 const BinarySymExpr *BSE, in getSymBinExpr()
435 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in getSymExpr()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp133 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym)) in assumeSymRel()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp509 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()
H A DCheckObjCDealloc.cpp410 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()
H A DIteratorChecker.cpp1857 if (const auto *BSE = dyn_cast<BinarySymExpr>(SE)) { in getOpcode()