Searched refs:BinarySymExpr (Results 1 - 6 of 6) sorted by relevance
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SymbolManager.h | 303 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 D | SMTConstraintManager.h | 168 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { 276 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) {
|
H A D | SMTConv.h | 374 // 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-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | RangedConstraintManager.cpp | 132 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym))
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | MacOSKeychainAPIChecker.cpp | 512 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr());
|
H A D | CheckObjCDealloc.cpp | 409 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr());
|
Completed in 165 milliseconds