state_name
return (pager_printf(STATUS_FORMAT, buf, state_name(state)));
const char *state_name;
state_name =
state_name =
state_name =
state_name =
state_name =
state_name =
state_name =
state_name = event_name = "N/A";
ts_string, state_name, sar->sar_state,
state_name =
state_name =
state_name =
state_name =
state_name =
state_name =
state_name =
state_name =
state_name =
state_name = new_state_name = "N/A";
ts_string, state_name, sar->sar_state,
char state_name[MAX_SCF_STATE_STRING_SZ];
get_restarter_string_prop(wip->inst, pname, state_name,
sizeof (state_name));
if (strcmp(state_name, SCF_STATE_STRING_ONLINE) == 0)
else if (strcmp(state_name, SCF_STATE_STRING_DEGRADED) == 0)
else if (strcmp(state_name, SCF_STATE_STRING_OFFLINE) == 0)
else if (strcmp(state_name, SCF_STATE_STRING_MAINT) == 0)
else if (strcmp(state_name, SCF_STATE_STRING_DISABLED) == 0)
else if (strcmp(state_name, SCF_STATE_STRING_UNINIT) == 0)
char state_name[MAX_SCF_STATE_STRING_SZ + 1];
state_name, sizeof (state_name));
if (state_name[0] == '\0') {
state_name[0] = '-';
state_name[1] = '\0';
(void) strcat(state_name, "*");
(void) strcpy(state_name, SCF_STATE_STRING_LEGACY);
MAX_SCF_STATE_STRING_SZ + 1, state_name);
char state_name[MAX_SCF_STATE_STRING_SZ];
state_name, sizeof (state_name));
tmp[0] = state_to_char(state_name);
char state_name[MAX_SCF_STATE_STRING_SZ];
state_name, sizeof (state_name));
tmp[0] = state_to_char(state_name);
char state_name[MAX_SCF_STATE_STRING_SZ];
state_name, sizeof (state_name));
(void) strcpy(state_name, SCF_STATE_STRING_LEGACY);
(void) strcpy(sta, state_abbrev(state_name));
char state_name[MAX_SCF_STATE_STRING_SZ];
state_name, sizeof (state_name));
(void) strcpy(state_name, SCF_STATE_STRING_NONE);
if (strcmp(state_name, SCF_STATE_STRING_NONE) == 0)
state_abbrev(state_name));
char *state_name;
if ((state_name = malloc(max_state_size)) == NULL)
SCF_PROPERTY_STATE, state_name, max_state_size);
if (state_name[0] == '\0') {
state_name[0] = '-';
state_name[1] = '\0';
(void) strlcat(state_name, "*", max_state_size);
(void) strlcpy(state_name, SCF_STATE_STRING_LEGACY,
*buf = state_name;
static inline void __smatch_state(const char *check_name, const char *state_name){}
const char *state_name,
const char *state_name_to_param_name(const char *state_name, const char *param_name);
const char *get_mtag_name_var_sym(const char *state_name, struct symbol *sym);
char state_name[256];
snprintf(state_name, sizeof(state_name), "%s vs %s", left_var, right_var);
set_true_false_states(comparison_id, state_name, NULL, true_state, false_state);
save_link_var_sym(vs->var, vs->sym, state_name);
save_link_var_sym(vs->var, vs->sym, state_name);
save_link_var_sym(left_var, NULL, state_name);
save_link_var_sym(right_var, NULL, state_name);
static void handle_for_loops(struct expression *expr, char *state_name, struct smatch_state *false_state)
set_true_false_states(comparison_id, state_name, NULL, NULL, false_state);
static char state_name[256];
snprintf(state_name, sizeof(state_name), "%s vs %s", left, right);
set_true_false_states(comparison_id, state_name, NULL, true_state, false_state);
__compare_param_limit_hook(left_expr, right_expr, state_name, true_state, false_state);
save_link(left_expr, state_name);
save_link(right_expr, state_name);
*_state_name = state_name;
char *state_name = NULL;
handle_comparison(expr->left, expr->op, expr->right, &state_name, &false_state);
if (false_state && state_name)
handle_for_loops(expr, state_name, false_state);
char state_name[256];
snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name);
set_state(comparison_id, state_name, NULL, state);
save_link_var_sym(vs->var, vs->sym, state_name);
save_link_var_sym(vs->var, vs->sym, state_name);
char state_name[256];
snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name);
set_state(comparison_id, state_name, NULL, state);
save_link(left, state_name);
save_link(right, state_name);
char state_name[128];
snprintf(state_name, sizeof(state_name), "%s vs %s", param->ident->name, orig);
set_state(comparison_id, state_name, NULL, state);
link = alloc_sname(state_name);
char state_name[256];
snprintf(state_name, sizeof(state_name), "%s vs %s", left, right);
state = get_state_stree(pre_stree, comparison_id, state_name, NULL);
const char *state_name_to_param_name(const char *state_name, const char *param_name)
while (state_name[0] == '*') {
state_name++;
if (strncmp(state_name, "(*", 2) == 0 &&
strncmp(state_name + 2, param_name, name_len) == 0 &&
state_name[name_len + 2] == ')') {
state_name + name_len + 3);
if (strcmp(state_name, param_name) == 0) {
if (strncmp(state_name, param_name, name_len) == 0 &&
state_name[name_len] == '-') {
snprintf(buf, sizeof(buf), "%.*s$%s", star_cnt, "**********", state_name + name_len);
const char *get_mtag_name_var_sym(const char *state_name, struct symbol *sym)
if (state_name[name_len] == '.' && /* check for '-' from "->" */
strncmp(state_name, sym_name, name_len) == 0) {
snprintf(buf, sizeof(buf), "$->%s", state_name + name_len + 1);
return state_name_to_param_name(state_name, sym_name);
snprintf(state_name, sizeof(state_name), "%s vs %s", left_name, right_name);
set_state(compare_id, state_name, NULL, state);
save_link_var_sym(vs->var, vs->sym, state_name);
save_link_var_sym(vs->var, vs->sym, state_name);
const char *state_name,
set_true_false_states(compare_id, state_name, NULL, true_state, false_state);
save_link_var_sym(left_name, left_sym, state_name);
save_link_var_sym(right_name, right_sym, state_name);
char state_name[256];
fs_name(f), state_name(f->uf_s), f->uf_panic_str));
HIDEOUS(("[set_state: new state:%s", state_name(new_state)));
state_name(f->uf_s), state_name(new_state)));
act_name(a), state_name(s)));
TRIVIA(("[sf_nonterm_cmn, action: %s, %s", act_name(a), state_name(s)));
TRIVIA(("[sf_found_lock_fix_cmn (\"%s\")", state_name(s)));
act_name(a), state_name(s)));
act_name(a), state_name(f->uf_s)));
i, fs_name(f), state_name(f->uf_s));
fs_name(f), state_name(f->uf_s), f->uf_panic_str));
static char *state_name(ufs_failure_states_t);