summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--tools/coccinelle/same_type_casting.cocci7
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/coccinelle/same_type_casting.cocci b/tools/coccinelle/same_type_casting.cocci
new file mode 100644
index 0000000000..58fd7569af
--- /dev/null
+++ b/tools/coccinelle/same_type_casting.cocci
@@ -0,0 +1,7 @@
+@@
+type T;
+T *ptr;
+@@
+
+- (T *)ptr
++ ptr