Home
last modified time | relevance | path

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

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSymbols.def36 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
37 SYMBOL(IntSymExpr, BinarySymExpr)
38 SYMBOL(SymIntExpr, BinarySymExpr)
39 SYMBOL(SymSymExpr, BinarySymExpr)
HDSymbolManager.h303 class BinarySymExpr : public SymExpr {
308 BinarySymExpr(Kind k, BinaryOperator::Opcode op, QualType t) in BinarySymExpr() function
332 class SymIntExpr : public BinarySymExpr {
339 : BinarySymExpr(SymIntExprKind, op, t), LHS(lhs), RHS(rhs) { in SymIntExpr()
375 class IntSymExpr : public BinarySymExpr {
382 : BinarySymExpr(IntSymExprKind, op, t), LHS(lhs), RHS(rhs) { in IntSymExpr()
418 class SymSymExpr : public BinarySymExpr {
425 : BinarySymExpr(SymSymExprKind, op, t), LHS(lhs), RHS(rhs) { in SymSymExpr()
HDSMTConstraintManager.h168 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
276 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
HDSMTConv.h378 const BinarySymExpr *BSE, in getSymBinExpr()
445 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in getSymExpr()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDRangedConstraintManager.cpp132 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym)) in assumeSymRel()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDMacOSKeychainAPIChecker.cpp512 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()
HDCheckObjCDealloc.cpp409 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume()