usr/src/tools/smatch/src/smatch_comparison.c

1962

snprintf(buf, sizeof(buf), "%s", show_comparison(comparison));

usr/src/tools/smatch/src/smatch_comparison.c

2027

if (show_comparison(compare)[0] != starts_with)

usr/src/tools/smatch/src/smatch_comparison.c

2029

snprintf(buf, sizeof(buf), "[%s$%d]", show_comparison(compare), i);

usr/src/tools/smatch/src/smatch_comparison.c

2063

snprintf(buf, sizeof(buf), "[%s$%d]", show_comparison(compare), i);

usr/src/tools/smatch/src/smatch_comparison.c

2104

snprintf(buf, sizeof(buf), "[%s$%d]", show_comparison(compare), i);

usr/src/tools/smatch/src/smatch_comparison.c

2210

snprintf(info_buf, sizeof(info_buf), "%s %s", show_comparison(comparison), right_name);

usr/src/tools/smatch/src/smatch_comparison.c

2260

snprintf(info_buf, sizeof(info_buf), "%s %s", show_comparison(data->comparison), right_name);

usr/src/tools/smatch/src/smatch_comparison.c

2375

snprintf(info_buf, sizeof(info_buf), "%s %s", show_comparison(data->comparison), right_buf);

usr/src/tools/smatch/src/smatch_comparison.c

2733

alloc_sname(show_comparison(op)),

usr/src/tools/smatch/src/smatch_comparison.c

2734

alloc_sname(show_comparison(negate_comparison(op))),

usr/src/tools/smatch/src/smatch_comparison.c

2735

alloc_sname(show_comparison(comparison_intersection(data->comparison, op))),

usr/src/tools/smatch/src/smatch_comparison.c

2736

alloc_sname(show_comparison(comparison_intersection(data->comparison, negate_comparison(op)))),

usr/src/tools/smatch/src/smatch_comparison.c

80

state->name = alloc_sname(show_comparison(comparison));

usr/src/tools/smatch/src/smatch_implied.c

178

sm->name, show_rl(rl), sm->state->name, show_comparison(comparison), show_rl(rl),

usr/src/tools/smatch/src/smatch_implied.c

365

__func__, sm->state->name, show_comparison(comparison), show_rl(rl));

usr/src/tools/smatch/src/smatch_implied.c

643

sm->name, sm->state->name, show_comparison(comparison), show_rl(rl));