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
Request History
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 added openSUSE:Factory:Staging:adi:24 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:24"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:24"
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
dmach accepted review
Accepted review for by_group opensuse-review-team request 1093222 from user factory-auto
licensedigger accepted review
The legal review is accepted preliminary. The package may require actions later on.
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:24 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:24 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:24 got accepted.