validation: fix a test a bit
I changed the check_deref_check.c test so it broke this tests. It still
doesn't pass unfortunately because check_deref.c is buggy. To be honest,
I think I should just delete check_deref.c because it does too much stuff.
I want to move the uninitialized variable checking into a different file
which does it better. I think I maybe should delete the NULL deref bit
because it turns out that is terribly complicated and false positive prone.
The code which generates warnings is normally really hard for a human being
to read as well. I will consider that more later.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>