Add a test case to detect parameter attributes in C. The test case
changes the type of the parameter if it has the attribute. The cases
covered are for when the attribute is:
- before the parameter type.
- after the parameter type and before the parameter identifier.
- after the parameter identifier.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
---
tests/detect_param_attr.c | 3 +++
tests/detect_param_attr.cocci | 13 +++++++++++++
tests/detect_param_attr.res | 3 +++
3 files changed, 19 insertions(+)
create mode 100644 tests/detect_param_attr.c
create mode 100644 tests/detect_param_attr.cocci
create mode 100644 tests/detect_param_attr.res
diff --git a/tests/detect_param_attr.c b/tests/detect_param_attr.c
new file mode 100644
index 00000000..160d6af2
--- /dev/null
+++ b/tests/detect_param_attr.c
@@ -0,0 +1,3 @@
+int func1(int __nocast u, __nocast int z, int q __nocast, int w) {
+ return 0;
+}
diff --git a/tests/detect_param_attr.cocci b/tests/detect_param_attr.cocci
new file mode 100644
index 00000000..53b8668f
--- /dev/null
+++ b/tests/detect_param_attr.cocci
@@ -0,0 +1,13 @@
+@@
+type T1, T2;
+attribute name __nocast;
+identifier x, y;
+@@
+
+T1 x(
+ ...,
+- T2
++ char
+ y __nocast,
+ ...
+ ) {...}
diff --git a/tests/detect_param_attr.res b/tests/detect_param_attr.res
new file mode 100644
index 00000000..b3db290e
--- /dev/null
+++ b/tests/detect_param_attr.res
@@ -0,0 +1,3 @@
+int func1(char __nocast u, __nocast char z, char q __nocast, int w) {
+ return 0;
+}
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
