Add a test case to check allminus for cast attributes. The test case replaces all the cast types in the C program. Cases covered are for when the 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_allminus.c | 10 ++++++++++ tests/remove_cast_attr_allminus.cocci | 9 +++++++++ tests/remove_cast_attr_allminus.res | 10 ++++++++++ 3 files changed, 29 insertions(+) create mode 100644 tests/remove_cast_attr_allminus.c create mode 100644 tests/remove_cast_attr_allminus.cocci create mode 100644 tests/remove_cast_attr_allminus.res diff --git a/tests/remove_cast_attr_allminus.c b/tests/remove_cast_attr_allminus.c new file mode 100644 index 00000000..4f6da3e4 --- /dev/null +++ b/tests/remove_cast_attr_allminus.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_allminus.cocci b/tests/remove_cast_attr_allminus.cocci new file mode 100644 index 00000000..320fee93 --- /dev/null +++ b/tests/remove_cast_attr_allminus.cocci @@ -0,0 +1,9 @@ +@r0@ +type T; +identifier x; +@@ + + ( +- T ++ int * + ) x diff --git a/tests/remove_cast_attr_allminus.res b/tests/remove_cast_attr_allminus.res new file mode 100644 index 00000000..befec630 --- /dev/null +++ b/tests/remove_cast_attr_allminus.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