Searched refs:CondBSE (Results 1 – 1 of 1) sorted by relevance
416 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymExpr()); in evalAssume() local417 if (!CondBSE) in evalAssume()420 BinaryOperator::Opcode OpCode = CondBSE->getOpcode(); in evalAssume()430 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()435 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()