From 0c3fe79274618f1f5f8417908a90ef4811438a21 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 29 Aug 2014 13:36:22 +0300 Subject: [PATCH] extra: update a debug statement I've added the name to the debug output. Signed-off-by: Dan Carpenter --- smatch_extra.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smatch_extra.c b/smatch_extra.c index db7802ca..315c2033 100644 --- a/smatch_extra.c +++ b/smatch_extra.c @@ -113,7 +113,7 @@ void set_extra_nomod(const char *name, struct symbol *sym, struct smatch_state * set_related(state, estate_related(orig_state)); FOR_EACH_PTR(estate_related(orig_state), rel) { if (option_debug_related) - sm_msg("updating related %s to %s", rel->name, state->name); + sm_msg("%s updating related %s to %s", name, rel->name, state->name); set_state(SMATCH_EXTRA, rel->name, rel->sym, state); } END_FOR_EACH_PTR(rel); } -- 2.11.4.GIT