Searched refs:BinarySymExpr (Results 1 – 8 of 8) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Symbols.def | 38 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
39 SYMBOL(IntSymExpr, BinarySymExpr)
40 SYMBOL(SymIntExpr, BinarySymExpr)
41 SYMBOL(SymSymExpr, BinarySymExpr)
|
| H A D | SMTConstraintManager.h | 174 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
289 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | SymbolManager.h | 389 class BinarySymExpr : public SymExpr {
394 BinarySymExpr(SymbolID Sym, Kind k, BinaryOperator::Opcode op, QualType t) in BinarySymExpr() function
434 class BinarySymExprImpl : public BinarySymExpr {
441 : BinarySymExpr(Sym, ClassKind, op, t), LHS(lhs), RHS(rhs) { in BinarySymExprImpl()
|
| H A D | SMTConv.h | 385 const BinarySymExpr *BSE, in getSymBinExpr()
475 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in getSymExpr()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 42 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, const SymExpr *Sym) { in dumpToStreamImpl()
48 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, in dumpToStreamImpl()
58 void BinarySymExpr::dumpToStreamImpl(raw_ostream &OS, in dumpToStreamImpl()
71 bool Binary = isa<BinarySymExpr>(Operand); in dumpToStream()
|
| H A D | RangedConstraintManager.cpp | 165 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym)) in assumeSymRel()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | MacOSKeychainAPIChecker.cpp | 502 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
|
| H A D | CheckObjCDealloc.cpp | 417 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
|