Searched refs:BinarySymExpr (Results 1 – 8 of 8) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Symbols.def | 36 ABSTRACT_SYMBOL(BinarySymExpr, SymExpr)
37 SYMBOL(IntSymExpr, BinarySymExpr)
38 SYMBOL(SymIntExpr, BinarySymExpr)
39 SYMBOL(SymSymExpr, BinarySymExpr)
|
| D | SMTConstraintManager.h | 169 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()
|
| D | SymbolManager.h | 313 class BinarySymExpr : public SymExpr {
318 BinarySymExpr(Kind k, BinaryOperator::Opcode op, QualType t) in BinarySymExpr() function
360 class BinarySymExprImpl : public BinarySymExpr {
367 : BinarySymExpr(ClassKind, op, t), LHS(lhs), RHS(rhs) { in BinarySymExprImpl()
|
| D | SMTConv.h | 383 const BinarySymExpr *BSE, in getSymBinExpr()
449 if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) { in getSymExpr()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | RangedConstraintManager.cpp | 159 if (const BinarySymExpr *SE = dyn_cast<BinarySymExpr>(Sym)) in assumeSymRel()
|
| 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()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | MacOSKeychainAPIChecker.cpp | 512 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
|
| D | CheckObjCDealloc.cpp | 409 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
|