- Update to version 1.73+20250528:
* return_efault: don't rely on the cross function DB
* bits: add support for left shift
* bits: change 1/0 to true/false
* unlikely_parens: ignore verifier_bug()
* bits: fix build error
* db/kernel.return_fixes: update get_device() for 32bit builds
* inconsistent_locking: check bool type functions differently
* implied: move common code into get_tf_states()
* validation/sm_bits: Add a check to validate that smatch_bits.c works
* power_of_two: use sval_it_power_of_two()
* bits: use sval_is_power_of_two()
* and much more...
OBS-URL: https://build.opensuse.org/request/show/1281317
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/smatch?expand=0&rev=13
