| commit | 8259aa2d632589f053dd3da1bbf8366dae0a8257 | |
| author | Dan Carpenter <dan.carpenter@linaro.org> | |
| Thu, 11 May 2023 08:35:24 +0000 (11 11:35 +0300) | ||
| committer | Dan Carpenter <dan.carpenter@linaro.org> | |
| Thu, 11 May 2023 08:35:24 +0000 (11 11:35 +0300) | ||
| tree | 02ee819bfcad80745a13c47d918364f65f14a89e | treesnapshot (tar.gz zip) |
| parent | b32e9d1bf9c7f86f8daee33f5726bb914b621235 | commitdiff |
kernel_err_ptr: track error pointers in the database
Originally, error pointers were tracked in a
smatch_data/kernel.returns_err_ptr file. Also you could kind of infer
that it was an error pointer based on the return values some times. But
the system was kind of bad.
Better and simpler to just track it in the database.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
Originally, error pointers were tracked in a
smatch_data/kernel.returns_err_ptr file. Also you could kind of infer
that it was an error pointer based on the return values some times. But
the system was kind of bad.
Better and simpler to just track it in the database.
Signed-off-by: Dan Carpenter <dan.carpenter@linaro.org>
| Makefile | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_kernel_err_ptr.c | [new file with mode: 0644] | blob |