Searched refs:BinarySymExpr (Results 1 – 7 of 7) 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 | 173 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
281 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | SymbolManager.h | 378 class BinarySymExpr : public SymExpr {
383 BinarySymExpr(Kind k, BinaryOperator::Opcode op, QualType t) in BinarySymExpr() function
425 class BinarySymExprImpl : public BinarySymExpr {
432 : BinarySymExpr(ClassKind, op, t), LHS(lhs), RHS(rhs) { in BinarySymExprImpl()
|
| H A D | SMTConv.h | 383 const BinarySymExpr *BSE, in getSymBinExpr()
473 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in getSymExpr()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 46 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 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 | CheckObjCDealloc.cpp | 417 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
|