Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSymbols.def38 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
39 SYMBOL(IntSymExpr, BinarySymExpr)
40 SYMBOL(SymIntExpr, BinarySymExpr)
41 SYMBOL(SymSymExpr, BinarySymExpr)
H A DSMTConstraintManager.h169 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
277 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbolManager.h377 class BinarySymExpr : public SymExpr {
382 BinarySymExpr(Kind k, BinaryOperator::Opcode op, QualType t) in BinarySymExpr() function
424 class BinarySymExprImpl : public BinarySymExpr {
431 : BinarySymExpr(ClassKind, op, t), LHS(lhs), RHS(rhs) { in BinarySymExprImpl()
H A DSMTConv.h383 const BinarySymExpr *BSE, in getSymBinExpr()
471 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in getSymExpr()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp46 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, const SymExpr *Sym) { in dumpToStreamImpl()
52 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, in dumpToStreamImpl()
62 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, in dumpToStreamImpl()
75 bool Binary = isa<BinarySymExpr>(Operand); in dumpToStream()
H A DRangedConstraintManager.cpp165 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym)) in assumeSymRel()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DMacOSKeychainAPIChecker.cpp511 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
H A DCheckObjCDealloc.cpp409 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()