From 8f3f906c2bd8652efe59ec50d849e6bb70b3e084 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Sat, 4 Apr 2009 23:42:49 +0300 Subject: [PATCH] Silence the mutually exclusive output again. Anding implied states correctly seems pretty tricky. I will get to it. The thing is that printing this debug information made my validation tests fail. Signed-off-by: Dan Carpenter --- smatch_slist.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/smatch_slist.c b/smatch_slist.c index 4fee8e4b..308b08fe 100644 --- a/smatch_slist.c +++ b/smatch_slist.c @@ -718,8 +718,8 @@ static struct sm_state *find_intersection(struct sm_state *one, if (one->state == two->state) return one; if (two->state != &merged) { - smatch_msg("mutually exclusive 'and' conditions states " - "'%s': %s + %s", one->name, + SM_DEBUG("mutually exclusive 'and' conditions states " + "'%s': %s + %s\n", one->name, show_state(one->state), show_state(two->state)); return two; @@ -764,8 +764,8 @@ static struct sm_state *find_intersection(struct sm_state *one, FINISH_PTR_LIST(tmp1); if (count == 0) { - smatch_msg("mutually eXclusive 'and' conditions states " - "'%s': %s + %s", one->name, show_state(one->state), + SM_DEBUG("mutually eXclusive 'and' conditions states " + "'%s': %s + %s\n", one->name, show_state(one->state), show_state(two->state)); return two; } -- 2.11.4.GIT