Lines Matching defs:SSE
1242 RangeSet VisitSymSymExpr(const SymSymExpr *SSE) {
1251 getRangeForNegatedSymSym(SSE),
1253 getRangeCommutativeSymSym(SSE),
1257 getRangeForComparisonSymbol(SSE),
1260 getRangeForEqualities(SSE),
1262 VisitBinaryOperator(SSE));
1470 std::optional<RangeSet> getRangeForNegatedSymSym(const SymSymExpr *SSE) {
1472 [SSE, State = this->State]() -> SymbolRef {
1473 if (SSE->getOpcode() == BO_Sub)
1475 SSE->getRHS(), BO_Sub, SSE->getLHS(), SSE->getType());
1478 SSE->getType());
1490 std::optional<RangeSet> getRangeCommutativeSymSym(const SymSymExpr *SSE) {
1491 auto Op = SSE->getOpcode();
1499 SSE->getRHS(), Op, SSE->getLHS(), SSE->getType());
1515 std::optional<RangeSet> getRangeForComparisonSymbol(const SymSymExpr *SSE) {
1516 const BinaryOperatorKind CurrentOP = SSE->getOpcode();
1524 const SymExpr *LHS = SSE->getLHS();
1525 const SymExpr *RHS = SSE->getRHS();
1526 QualType T = SSE->getType();
2838 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(SE)) {
2840 if (BinaryOperator::isEqualityOp(SSE->getOpcode()) ||
2841 BinaryOperator::isRelationalOp(SSE->getOpcode())) {
2846 if (Loc::isLocType(SSE->getLHS()->getType())) {
2847 return Loc::isLocType(SSE->getRHS()->getType());