Add a test case to detect 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/detect_cast_attr.c | 10 ++++++++++
tests/detect_cast_attr.cocci | 11 +++++++++++
tests/detect_cast_attr.res | 10 ++++++++++
3 files changed, 31 insertions(+)
create mode 100644 tests/detect_cast_attr.c
create mode 100644 tests/detect_cast_attr.cocci
create mode 100644 tests/detect_cast_attr.res
diff --git a/tests/detect_cast_attr.c b/tests/detect_cast_attr.c
new file mode 100644
index 00000000..2458ef05
--- /dev/null
+++ b/tests/detect_cast_attr.c
@@ -0,0 +1,10 @@
+#define __cast_attr MACROANNOTATION
+
+int func()
+{
+ char *a = (int __cast_attr) x;
+ char *a = (__cast_attr int) x;
+ char *a = (int __cast_attr *) x;
+ char *a = (int *__cast_attr) x;
+ char *a = (int) x;
+}
diff --git a/tests/detect_cast_attr.cocci b/tests/detect_cast_attr.cocci
new file mode 100644
index 00000000..d626048f
--- /dev/null
+++ b/tests/detect_cast_attr.cocci
@@ -0,0 +1,11 @@
+@r0@
+type T;
+attribute name __cast_attr;
+identifier x;
+@@
+
+ (
+- T
++ char *
+ __cast_attr
+ ) x
diff --git a/tests/detect_cast_attr.res b/tests/detect_cast_attr.res
new file mode 100644
index 00000000..2a273316
--- /dev/null
+++ b/tests/detect_cast_attr.res
@@ -0,0 +1,10 @@
+#define __cast_attr MACROANNOTATION
+
+int func()
+{
+ char *a = (char *__cast_attr) x;
+ char *a = (__cast_attr char *) x;
+ char *a = (char *__cast_attr) x;
+ char *a = (char *__cast_attr) x;
+ char *a = (int) x;
+}
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
