Searched refs:CondBSE (Results 1 – 1 of 1) sorted by relevance
417 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume() local418 if (!CondBSE) in evalAssume()421 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()431 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()436 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()