Extend check_obj.cocci to the trivial base case

does not apply in varnish-cache, but found useful in a vmod

Extend check_obj.cocci to the trivial base case
does not apply in varnish-cache, but found useful in a vmod
7779839d · Nils Goroll · f83c1f58 · 7779839d
Unverified Commit 7779839d authored Jul 28, 2022 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 9 additions and 1 deletion

check_obj.cocci tools/coccinelle/check_obj.cocci +9 -1

No files found.
--- a/tools/coccinelle/check_obj.cocci
+++ b/tools/coccinelle/check_obj.cocci
 /*
- * This patch removes a redundant null check.
+ * This patch removes a redundant null check and replaces assertions
+ * on the magic with CHECK_OBJ()
 */

 @@
@@ -11,3 +12,10 @@ if (obj != NULL) {
 + CHECK_OBJ(obj, magic);
 ...
 }
+
+@@
+expression obj, magicval;
+@@
+
+- assert(obj->magic == magicval);
+ CHECK_OBJ(obj, magicval);