Searched refs:SymSymExpr (Results 1 - 9 of 9) sorted by relevance
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | SymbolManager.cpp | 68 void SymSymExpr::dumpToStream(raw_ostream &os) const { 158 const auto *x = cast<SymSymExpr>(SE); 305 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, 310 SymSymExpr::Profile(ID, lhs, op, rhs, t); 315 data = (SymSymExpr*) BPAlloc.Allocate<SymSymExpr>(); 316 new (data) SymSymExpr(lhs, op, rhs, t); 320 return cast<SymSymExpr>(data); 496 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) && 497 isLive(cast<SymSymExpr>(sy [all...] |
H A D | RangedConstraintManager.cpp | 42 } else if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(Sym)) {
|
H A D | RangeConstraintManager.cpp | 362 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(SE)) { 518 // only negated SymSymExpr-type expressions, but also of other, simpler 523 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(Sym)) {
|
H A D | SimpleSValBuilder.cpp | 1305 SVal VisitSymSymExpr(const SymSymExpr *S) {
|
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConstraintManager.h | 176 } else if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) { 283 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(BSE))
|
H A D | SymbolManager.h | 418 class SymSymExpr : public BinarySymExpr { class in namespace:clang::ento 423 SymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, function in class:clang::ento::SymSymExpr 529 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
|
H A D | SMTConv.h | 404 if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) {
|
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
H A D | SValExplainer.h | 131 std::string VisitSymSymExpr(const SymSymExpr *S) {
|
/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ExprInspectionChecker.cpp | 370 Optional<std::string> VisitSymSymExpr(const SymSymExpr *S) {
|
Completed in 110 milliseconds