validate_unret
ret = validate_unret(file, alt->insn);
ret = validate_unret(file, insn->jump_dest);
ret = validate_unret(file, dest);
warnings += validate_unret(file, insn);