Use the ->possible states and remove the merge_hook().
commit061fb33e170a72d9566d034b0ecf702909a1c2e8
authorDan Carpenter <error27@gmail.com>
Wed, 18 Feb 2009 08:59:01 +0000 (18 11:59 +0300)
committerDan Carpenter <error27@gmail.com>
Wed, 18 Feb 2009 08:59:01 +0000 (18 11:59 +0300)
treea63e406f6afb71209391de6f1b3d0ab733048733
parente6fd64005ecfeabe6664dc204aff6d9b1d3eb2ce
Use the ->possible states and remove the merge_hook().

The merge_hook() approach gets confusing as pants when you have tons and
tons of states.  Using the ->possible states is clearer hopefully.

I added in two more states arg_nonnull and arg_null so that  we can handle
asserts better.  Tons and tons of code has an assert to check that
arguments are non null.  Printing an error creates tons of false positives.
On the other hand, treating it like an argument may help actually catch
bugs.

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_null_deref.c