- const IntegerType *IT = cast<IntegerType>(Val->getType());
- ConstantRange CR(IT->getBitWidth());
-
- for (unsigned i = 1, e = SI->getNumSuccessors(); i != e; ++i) {
- const APInt CaseVal = SI->getCaseValue(i)->getValue();
- ConstantRange CaseRange(CaseVal, CaseVal+1);
- CaseRange = CaseRange.inverse();
- CR = CR.intersectWith(CaseRange);
- }
-