Add a test case to remove a cast attribute. The following cases are
covered for when a attribute is:
- Before the cast type.
- After the cast type.
- After the cast type and before the *.
- After the cast type and *.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
---
tests/remove_cast_attr.c | 10 ++++++++++
tests/remove_cast_attr.cocci | 10 ++++++++++
tests/remove_cast_attr.res | 10 ++++++++++
3 files changed, 30 insertions(+)
create mode 100644 tests/remove_cast_attr.c
create mode 100644 tests/remove_cast_attr.cocci
create mode 100644 tests/remove_cast_attr.res
diff --git a/tests/remove_cast_attr.c b/tests/remove_cast_attr.c
new file mode 100644
index 00000000..4f6da3e4
--- /dev/null
+++ b/tests/remove_cast_attr.c
@@ -0,0 +1,10 @@
+#define __cast_attr MACROANNOTATION
+
+int func()
+{
+ int *a = (int __cast_attr) x;
+ int *a = (__cast_attr int) x;
+ int *a = (int __cast_attr *) x;
+ int *a = (int *__cast_attr) x;
+ int *a = (int) x;
+}
diff --git a/tests/remove_cast_attr.cocci b/tests/remove_cast_attr.cocci
new file mode 100644
index 00000000..f171d44d
--- /dev/null
+++ b/tests/remove_cast_attr.cocci
@@ -0,0 +1,10 @@
+@r0@
+type T;
+attribute name __cast_attr;
+identifier x;
+@@
+
+ (
+ T
+- __cast_attr
+ ) x
diff --git a/tests/remove_cast_attr.res b/tests/remove_cast_attr.res
new file mode 100644
index 00000000..fb5001b9
--- /dev/null
+++ b/tests/remove_cast_attr.res
@@ -0,0 +1,10 @@
+#define __cast_attr MACROANNOTATION
+
+int func()
+{
+ int *a = (int) x;
+ int *a = (int) x;
+ int *a = (int *) x;
+ int *a = (int *) x;
+ int *a = (int) x;
+}
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
