// -- handle SExt instruction -- void UnsafeTypeCastingCheck::handleSExtInstruction (Instruction *inst) { SExtInst *finst = dyn_cast<SExtInst>(inst); if (finst == NULL) utccAbort("handleSExtInstruction cannot process with a non-sext instruction"); assert(finst->getNumOperands() == 1); UTCC_TYPE fromt = queryExprType(finst->getOperand(0)); setExprType(finst, fromt); }
void ArrayIndexChecker::visitSExtInst(SExtInst& I) { DEBUG(dbgs() << "ArrayIndexChecker: visiting SExtInst " << I << "\n"); visitValue(*I.getOperand(0)); DEBUG(dbgs() << "ArrayIndexChecker: visited SExtInst\n"); }