sm_perror
sm_perror __P((
sm_perror(cfile);
sm_perror(sfile);
sm_perror(sfile);
sm_perror("/bin/sh");
sm_perror(" could not find typedef '%s'", tl->name);
sm_perror("parsing '%s'", name);
sm_perror("cannot determine the alignment here");
sm_perror("problem parsing '%s'", name);
sm_perror("bad type in fp_cmp(): %s", type_to_str(type));
sm_perror("unhandled comparison %d", op);
sm_perror("unhandled comparison %d", op);
sm_perror("parsing comparison. %s", *value);
sm_perror("unexpected asm param type %d", expr->type);
sm_perror("Function too hairy. Giving up. %lu seconds",
sm_perror("turning off implications after %d seconds", option_timeout);
sm_perror("Function too hairy. Ignoring implications after %d seconds.", sec);
sm_perror("parsing comparison. %s", *value);
sm_perror("%s: no op_list", __func__);
sm_perror("unhandled comparison %d", comparison);
sm_perror("unhandled comparison %d", comparison);
sm_perror(" unhandled comparison %d", op);
sm_perror("unhandled comparison %s", show_special(comparison));
sm_perror("OOM: %luKb sm_state_count = %d", get_mem_kb(), sm_state_counter);
sm_perror("cur_stree is read only.");
sm_perror("popping too many fake cur strees.");
sm_perror("cannot nest fast overlay");
sm_perror("cur_stree is read only.");
sm_perror("cur_stree is read only.");
sm_perror("cur_stree is read only.");
sm_perror("cur_stree is read only.");
sm_perror("missing true/false stacks");
sm_perror("missing true/false stacks");
sm_perror("stack not empty");
sm_perror("No right member");
sm_perror("%s: bad type: '%s'", __func__, type_to_str(sval.type));
sm_perror("%s: bad type: '%s'", __func__, type_to_str(sval.type));
sm_perror("%s: bad type: %s", __func__, type_to_str(type));
sm_perror("%s: bad type: %s", __func__, type_to_str(type));
sm_perror(" %s: MOD by zero", __func__);
sm_perror(" %s: unhandled binop %s", __func__,
sm_perror(" %s: MOD by zero", __func__);
sm_perror(" %s: unhandled binop %s", __func__,