// -- 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); 
}
示例#2
0
void ArrayIndexChecker::visitSExtInst(SExtInst& I) {
  DEBUG(dbgs() << "ArrayIndexChecker: visiting SExtInst " << I << "\n");
  visitValue(*I.getOperand(0));
  DEBUG(dbgs() << "ArrayIndexChecker: visited SExtInst\n");
}