| commit | 5badc16fc64e6d580d15522f39d20294e714ef84 | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 20 Jan 2017 13:48:44 +0000 (20 16:48 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Fri, 20 Jan 2017 13:48:44 +0000 (20 16:48 +0300) | ||
| tree | c4c94b9cdf553c54ffdeae359d012a670ca8e95b | treesnapshot (tar.gz zip) |
| parent | 5acb0315e51af17f24d23c3e420298d06083e7d1 | commitdiff |
user_data2: if a user_data is equal to non-user data then it's not user data
Say we have code like:
if (user->id == kernel->id)
__smatch_user_rl(kernel->id);
It should say that because it's equal to kernel data then it's trusted.
It's also already CAPPED so perhaps this is not necessary. But I've
written the code and conceptually that makes sense so I'm going to commit
it.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
Say we have code like:
if (user->id == kernel->id)
__smatch_user_rl(kernel->id);
It should say that because it's equal to kernel data then it's trusted.
It's also already CAPPED so perhaps this is not necessary. But I've
written the code and conceptually that makes sense so I'm going to commit
it.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| check_user_data2.c | diffblobblamehistory |