Searched refs:BinarySymExpr (Results 1 - 6 of 6) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbolManager.h303 class BinarySymExpr : public SymExpr { class in namespace:clang::ento
308 BinarySymExpr(Kind k, BinaryOperator::Opcode op, QualType t) function in class:clang::ento::BinarySymExpr
332 class SymIntExpr : public BinarySymExpr {
339 : BinarySymExpr(SymIntExprKind, op, t), LHS(lhs), RHS(rhs) {
375 class IntSymExpr : public BinarySymExpr {
382 : BinarySymExpr(IntSymExprKind, op, t), LHS(lhs), RHS(rhs) {
418 class SymSymExpr : public BinarySymExpr {
425 : BinarySymExpr(SymSymExprKind, op, t), LHS(lhs), RHS(rhs) {
H A DSMTConstraintManager.h168 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) {
276 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) {
H A DSMTConv.h374 // Wrapper to generate SMTSolverRef from BinarySymExpr.
378 const BinarySymExpr *BSE,
412 llvm_unreachable("Unsupported BinarySymExpr type!");
445 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) {
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp132 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym))
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp512 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr());
H A DCheckObjCDealloc.cpp409 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr());

Completed in 287 milliseconds