up to 1.73+20240222

_servicedata

@@ -1,4 +1,4 @@
 <servicedata>
 <service name="tar_scm">
                 <param name="url">git://repo.or.cz/smatch.git</param>
-              <param name="changesrevision">9f427a02e9d5acf89a3ec6a66ddb4a32f08e0f1c</param></service></servicedata>
+              <param name="changesrevision">e1d933013098891462291a29c4cb664b3dc16522</param></service></servicedata>

smatch-1.73+20240222.obscpio

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:1380c318359726abd147642925122f28e58c57881921e9a96b9126b1c1522e31
-size 14562829

smatch.changes

@@ -1,3 +1,20 @@
+-------------------------------------------------------------------
+Fri May 30 08:46:21 UTC 2025 - Jiri Slaby <jslaby@suse.cz>
+
+- 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...
+
 -------------------------------------------------------------------
 Thu Feb 22 07:20:02 UTC 2024 - jslaby@suse.cz
 

smatch.obsinfo

@@ -1,4 +1,4 @@
 name: smatch
-version: 1.73+20240222
-mtime: 1708581314
-commit: 9f427a02e9d5acf89a3ec6a66ddb4a32f08e0f1c
+version: 1.73+20250528
+mtime: 1748431510
+commit: e1d933013098891462291a29c4cb664b3dc16522

smatch.spec

@@ -17,7 +17,7 @@
 
 
 Name:           smatch
-Version:        1.73+20240222
+Version:        1.73+20250528
 Release:        0
 Summary:        Static analysis tool for C
 License:        GPL-2.0-only