From e594da251d204c2fc8c2b827fe3884fae38382b1 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Wed, 27 May 2009 13:11:53 +0300 Subject: [PATCH] debugging: print the line numbers in merge_sm_state() Signed-off-by: Dan Carpenter --- smatch_slist.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/smatch_slist.c b/smatch_slist.c index 729700af..bc6f42be 100644 --- a/smatch_slist.c +++ b/smatch_slist.c @@ -356,9 +356,10 @@ struct sm_state *merge_sm_states(struct sm_state *one, struct sm_state *two) struct sm_state *tmp; int i = 0; - printf("%d merge name='%s' owner=%d: %s + %s => %s (", + printf("%d merge name='%s' owner=%d: %s(L %d) + %s(L %d) => %s (", get_lineno(), one->name, one->owner, - show_state(one->state), show_state(two->state), + show_state(one->state), one->line, + show_state(two->state), two->line, show_state(s)); FOR_EACH_PTR(result->possible, tmp) { -- 2.11.4.GIT