propagate: remove validation test because we removed the check already
authorDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 May 2014 09:30:43 +0000 (23 12:30 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Fri, 23 May 2014 09:30:43 +0000 (23 12:30 +0300)
I deleted check_propagate.c but left the QC test for it behind by mistake.

Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
validation/sm_propagate.c [deleted file]

diff --git a/validation/sm_propagate.c b/validation/sm_propagate.c
deleted file mode 100644 (file)
index 8f9683e..0000000
+++ /dev/null
@@ -1,21 +0,0 @@
-#include "check_debug.h"
-
-int frob();
-
-int func(int *p)
-{
-       int ret;
-
-       ret = frob();
-       if (ret < 0)
-               return -1;
-       return 0;
-}
-/*
- * check-name: Smatch propagate return codes
- * check-command: smatch -p=kernel -I.. sm_propagate.c
- *
- * check-output-start
-sm_propagate.c:11 func() info: why not propagate 'ret' from frob() instead of (-1)?
- * check-output-end
- */