From f03f868ef55cb92afbb76c4bb7e4605957f74342 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 29 May 2012 10:18:47 +0300 Subject: [PATCH] validation: update dereference check output I changed the logic of how the dereference check works some time back so that smatch extra can treat dereferenced pointers as non-null. We still print a warning for this bogus check, but with the first dereference instead of the last one. Signed-off-by: Dan Carpenter --- validation/sm_deref_check_deref.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/validation/sm_deref_check_deref.c b/validation/sm_deref_check_deref.c index 978d9e51..5e4b2cde 100644 --- a/validation/sm_deref_check_deref.c +++ b/validation/sm_deref_check_deref.c @@ -32,6 +32,6 @@ void func (void) * * check-output-start sm_deref_check_deref.c:20 func() warn: variable dereferenced before check 'px' (see line 16) -sm_deref_check_deref.c:24 func() warn: variable dereferenced before check 'y' (see line 23) +sm_deref_check_deref.c:24 func() warn: variable dereferenced before check 'y' (see line 15) * check-output-end */ -- 2.11.4.GIT