| commit | 3221ad1708955a19da8dc2be371854d84eb06b3a | |
| author | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 1 Sep 2021 13:23:28 +0000 (1 16:23 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@oracle.com> | |
| Wed, 1 Sep 2021 13:23:28 +0000 (1 16:23 +0300) | ||
| tree | c0884177740dfba66d13180ccd6a5f0de50aede6 | treesnapshot (tar.gz zip) |
| parent | d425eb7ffb371b1b52be732e77ba8ab5adc8fa78 | commitdiff |
db/fixup_kernel.sh: hack around device_add()
The device_add() function is really important and Smatch doesn't parse
it correctly because there are just too many states. So what I've done
as a hack around for this is to just delete the PARAM_ADD states. This
deletes 1422 states and makes the function manageable.
It's an ugly hack. And unfortunately, since I did the hack the number of
states has increased again to the point where device_add() is still not
parsed correctly. :(
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
The device_add() function is really important and Smatch doesn't parse
it correctly because there are just too many states. So what I've done
as a hack around for this is to just delete the PARAM_ADD states. This
deletes 1422 states and makes the function manageable.
It's an ugly hack. And unfortunately, since I did the hack the number of
states has increased again to the point where device_add() is still not
parsed correctly. :(
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
| smatch_data/db/fixup_kernel.sh | diffblobblamehistory |