summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorBenjamin Dauvergne <bdauvergne@entrouvert.com>2010-10-11 18:46:39 +0200
committerBenjamin Dauvergne <bdauvergne@entrouvert.com>2010-10-11 18:46:39 +0200
commita6d33dd5fe06eeeda9298cecda35bc7456790f4f (patch)
tree8b68256de1d0e35d9970d63f19dc9dc7e3ab278a /tools
parent4320d8eda204997b6045d84a8cdcb43e07e51f19 (diff)
downloadlasso-a6d33dd5fe06eeeda9298cecda35bc7456790f4f.tar.gz
lasso-a6d33dd5fe06eeeda9298cecda35bc7456790f4f.tar.xz
lasso-a6d33dd5fe06eeeda9298cecda35bc7456790f4f.zip
[tools] add a repository for semantic patches as reference
Diffstat (limited to 'tools')
-rw-r--r--tools/spatch/remove-gstrcmp.spatch17
1 files changed, 17 insertions, 0 deletions
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