[Linux-kernel-mentees] [PATCH 2/2] tests: Add test case for statement removed and added
Jaskaran Singh
jaskaransingh7654321 at gmail.com
Wed Nov 27 17:38:15 UTC 2019
This is in response to the following "continue statement of death"
report:
https://www.mail-archive.com/cocci@systeme.lip6.fr/msg06199.html
Coccinelle would crash in similar cases, so add a test case for it.
Signed-off-by: Jaskaran Singh <jaskaransingh7654321 at gmail.com>
---
tests/stmt_removed_and_added.c | 8 ++++++++
tests/stmt_removed_and_added.cocci | 7 +++++++
tests/stmt_removed_and_added.res | 8 ++++++++
3 files changed, 23 insertions(+)
create mode 100644 tests/stmt_removed_and_added.c
create mode 100644 tests/stmt_removed_and_added.cocci
create mode 100644 tests/stmt_removed_and_added.res
diff --git a/tests/stmt_removed_and_added.c b/tests/stmt_removed_and_added.c
new file mode 100644
index 00000000..cbc64f42
--- /dev/null
+++ b/tests/stmt_removed_and_added.c
@@ -0,0 +1,8 @@
+void main()
+{
+ for(i; j; k) {
+ if (1)
+ continue;
+ c++;
+ }
+}
diff --git a/tests/stmt_removed_and_added.cocci b/tests/stmt_removed_and_added.cocci
new file mode 100644
index 00000000..93558a19
--- /dev/null
+++ b/tests/stmt_removed_and_added.cocci
@@ -0,0 +1,7 @@
+@@
+expression I, J, K;
+statement S;
+@@
+
+- for (I; J; K) S
++ while(1) S
diff --git a/tests/stmt_removed_and_added.res b/tests/stmt_removed_and_added.res
new file mode 100644
index 00000000..4b20027a
--- /dev/null
+++ b/tests/stmt_removed_and_added.res
@@ -0,0 +1,8 @@
+void main()
+{
+ while (1) {
+ if (1)
+ continue;
+ c++;
+ }
+}
--
2.21.0
More information about the Linux-kernel-mentees
mailing list