From 800d5d9780a507b8fb7ddcc97093004b0e2a9bee Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 20 Dec 2013 14:29:34 +0300 Subject: [PATCH] flow: hide a bunch of the unreachable warnings under the --spammy flag There are still too many of the warnings. There is a place in smatch_states.c which still prints them when ever a state is set on an unreachable path. With the current versions of Smatch we set a lot of states so that happens very often... Signed-off-by: Dan Carpenter --- smatch_flow.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/smatch_flow.c b/smatch_flow.c index ad1f2dcb..dad2f5ca 100644 --- a/smatch_flow.c +++ b/smatch_flow.c @@ -526,6 +526,8 @@ static void print_unreached(struct statement *stmt) } if (empty_statement(stmt)) return; + if (!option_spammy) + return; sm_msg("info: ignoring unreachable code."); print = 0; } -- 2.11.4.GIT