| commit | f5b458190c6e6ec4624e3726040a2107aa360081 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 8 Mar 2013 09:39:20 +0000 (8 12:39 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 8 Mar 2013 09:39:20 +0000 (8 12:39 +0300) | ||
| tree | d2d0448a51b0155825ab047066cf0d478493596d | treesnapshot (tar.gz zip) |
| parent | 814b5b7f520a999c5b5adb00a7a66f27690848be | commitdiff |
Revert "kernel: remove some unneeded code"
This reverts commit f88989c3a1bff37c787ec02540facce4df0c9651.
These functions *would* be handled by the inline code, but
unfortunately it conflicts with check_err_ptr_deref.c and also
with check_returns.c.
The problem is that when we manually start setting states with
a function call hook or with a return_implies hook then it
conflicts with the information from the database.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
This reverts commit f88989c3a1bff37c787ec02540facce4df0c9651.
These functions *would* be handled by the inline code, but
unfortunately it conflicts with check_err_ptr_deref.c and also
with check_returns.c.
The problem is that when we manually start setting states with
a function call hook or with a return_implies hook then it
conflicts with the information from the database.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_kernel.c | diffblobblamehistory |