Overview

Request 1093222 accepted

- Update to version 1.73+20230517:
* checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c
* kernel_err_ptr: hack around for_each_gpio_desc_with_flag()
* scripts/generisize.pl: generisize function names
* kernel.unreachable.turn_off: add some kunit stuff
* preempt_info: add __bit_spin_unlock()
* check_list/err_ptr: register the err_ptr code
* debug/units: hook in the __smatch_units() code
* validation/sm_err_ptr: make IS_ERR() an inline function
* dereference: find more cross function dereferences
* err_ptr_deref: re-write the check
* kernel_err_ptr: track error pointers in the database
* kernel.no_return_funcs: update to the latest linux-next functions
* kernel.no_return_funcs: add kunit_do_failed_assertion()
* comparison: store modified comparisons
* units: move checks to check_ file and hide under the --spammy option
* and much more

Loading...
Request History
Jiri Slaby's avatar

jirislaby created request

- Update to version 1.73+20230517:
* checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c
* kernel_err_ptr: hack around for_each_gpio_desc_with_flag()
* scripts/generisize.pl: generisize function names
* kernel.unreachable.turn_off: add some kunit stuff
* preempt_info: add __bit_spin_unlock()
* check_list/err_ptr: register the err_ptr code
* debug/units: hook in the __smatch_units() code
* validation/sm_err_ptr: make IS_ERR() an inline function
* dereference: find more cross function dereferences
* err_ptr_deref: re-write the check
* kernel_err_ptr: track error pointers in the database
* kernel.no_return_funcs: update to the latest linux-next functions
* kernel.no_return_funcs: add kunit_do_failed_assertion()
* comparison: store modified comparisons
* units: move checks to check_ file and hide under the --spammy option
* and much more


Staging Bot's avatar

staging-bot added openSUSE:Factory:Staging:adi:24 as a reviewer

Being evaluated by staging project "openSUSE:Factory:Staging:adi:24"


Staging Bot's avatar

staging-bot accepted review

Picked "openSUSE:Factory:Staging:adi:24"


Factory Auto's avatar

factory-auto added opensuse-review-team as a reviewer

Please review sources


Factory Auto's avatar

factory-auto accepted review

Check script succeeded


Daniel Mach's avatar

dmach accepted review

Accepted review for by_group opensuse-review-team request 1093222 from user factory-auto


Saul Goodman's avatar

licensedigger accepted review

The legal review is accepted preliminary. The package may require actions later on.


Dominique Leuenberger's avatar

dimstar_suse accepted review

Staging Project openSUSE:Factory:Staging:adi:24 got accepted.


Dominique Leuenberger's avatar

dimstar_suse approved review

Staging Project openSUSE:Factory:Staging:adi:24 got accepted.


Dominique Leuenberger's avatar

dimstar_suse accepted request

Staging Project openSUSE:Factory:Staging:adi:24 got accepted.

openSUSE Build Service is sponsored by