Signed-off-by: Daniel Wagner <daniel.wagner@xxxxxxxxxxxx> --- linearize.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/linearize.c b/linearize.c index c6ada1e..da3a190 100644 --- a/linearize.c +++ b/linearize.c @@ -441,7 +441,7 @@ const char *show_instruction(struct instruction *insn) break; case OP_CONTEXT: - buf += sprintf(buf, "%s%d", insn->check ? "check: " : "", insn->increment); + buf += sprintf(buf, "%s %s%d", insn->context_expr? show_ident(insn->context_expr->symbol_name) : "", insn->check ? "check: " : "", insn->increment); break; case OP_RANGE: buf += sprintf(buf, "%s between %s..%s", show_pseudo(insn->src1), show_pseudo(insn->src2), show_pseudo(insn->src3)); -- 2.5.0 -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html