From 4a9515288964b619d6207205f00079bc4ef235cc Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 23 May 2014 12:30:43 +0300 Subject: [PATCH] propagate: remove validation test because we removed the check already I deleted check_propagate.c but left the QC test for it behind by mistake. Signed-off-by: Dan Carpenter --- validation/sm_propagate.c | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 validation/sm_propagate.c diff --git a/validation/sm_propagate.c b/validation/sm_propagate.c deleted file mode 100644 index 8f9683e7..00000000 --- a/validation/sm_propagate.c +++ /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 - */ -- 2.11.4.GIT