| commit | c5aa3019cdcabb222a8bf6cc06e8926fe8eabf58 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 11 Sep 2017 09:08:41 +0000 (11 12:08 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Mon, 11 Sep 2017 09:08:41 +0000 (11 12:08 +0300) | ||
| tree | 1e983b6b6cd8b384d45dcddbe0ab7f2ac21b9354 | treesnapshot (tar.gz zip) |
| parent | 186ab734a040e3448e57a444fe4f4bf831160fff | commitdiff |
user_data2: use the extra_nomod_hooks
user_data2 is always a subset of smatch_extra.c. I had thought I could
just track when we set new user data and then when get_user_rl() is called,
I would take the intersection of smatch_extra.c and the user_data state.
But actually the extra state sometimes changes behind our backs so that
doesn't work. We have to be able to handle if statements.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
user_data2 is always a subset of smatch_extra.c. I had thought I could
just track when we set new user data and then when get_user_rl() is called,
I would take the intersection of smatch_extra.c and the user_data state.
But actually the extra state sometimes changes behind our backs so that
doesn't work. We have to be able to handle if statements.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_user_data2.c | diffblobblamehistory |