From: Dan Carpenter <dan.carpenter@oracle.com>
Date: Sat, 27 Oct 2012 08:41:44 +0000 (+0300)
Subject: unwind: only enable with --spammy
X-Git-Tag: 1.57~201
X-Git-Url: https://repo.or.cz/w/smatch.git/commitdiff_plain/8bd353200209b6bfafeba31f27a74dc9447289bd

unwind: only enable with --spammy

These have too many false positives.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---

diff --git a/check_unwind.c b/check_unwind.c
index 11b901ff..9bfadc5e 100644
--- a/check_unwind.c
+++ b/check_unwind.c
@@ -170,7 +170,7 @@ static void release_function_indicator(const char *name)
 
 void check_unwind(int id)
 {
-	if (option_project != PROJ_KERNEL)
+	if (option_project != PROJ_KERNEL || !option_spammy)
 		return;
 	my_id = id;
 
diff --git a/validation/sm_equiv4.c b/validation/sm_equiv4.c
index 43b28286..c73baac4 100644
--- a/validation/sm_equiv4.c
+++ b/validation/sm_equiv4.c
@@ -14,7 +14,7 @@ int func(void)
 }
 /*
  * check-name: smatch equivalent variables #4
- * check-command: smatch -p=kernel -I.. sm_equiv4.c
+ * check-command: smatch -p=kernel --spammy -I.. sm_equiv4.c
  *
  * check-output-start
 sm_equiv4.c:13 func() warn: 'b' was not released on error