Dominique Leuenberger
5f83fa028e
- 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
4 lines
144 B
Plaintext
4 lines
144 B
Plaintext
mtime: 1748594873
|
|
commit: e3e5fb626635e21940547283f23cd2adb916938584259fd11d2868571778be7e
|
|
url: https://src.opensuse.org/jirislaby/d-t-s-smatch
|