diff --git a/tools/spatch/remove-gstrcmp.spatch b/tools/spatch/remove-gstrcmp.spatch new file mode 100644 index 00000000..86fe971a --- /dev/null +++ b/tools/spatch/remove-gstrcmp.spatch @@ -0,0 +1,17 @@ +@@ +expression E,D; +@@ +- g_strcmp0(E,D) == 0 ++ lasso_strisequal(E,D) + +@@ +expression E,D; +@@ +- g_strcmp0(E,D) != 0 ++ lasso_strisnotequal(E,D) + +@@ +@@ + +- lasso_is_empty_string ++ lasso_strisempty