public Object visitStmtVarDecl(StmtVarDecl stmt) {
Object result = super.visitStmtVarDecl(stmt);
for (int i = 0; i < stmt.getNumVars(); i++) {
Expression ie = stmt.getInit(i);
if (ie != null) {
Type rt = getType(ie);
Type ftype = matchTypes(stmt, stmt.getName(i), (stmt.getType(i)), rt);
upgradeStarToInt(ie, ftype);
}
}
return result;
}