Init list heads correctly in tests 09 07/08/14/15

Co-authored-by: Simmo Saan <[email protected]>
goblint · Sep 12, 2023 · 85aec69 · 85aec69
1 parent 49f771e
commit 85aec69
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 4 deletions.
diff --git a/tests/regression/09-regions/07-kernel_list_rc.c b/tests/regression/09-regions/07-kernel_list_rc.c
@@ -7,7 +7,8 @@ struct s {
   struct list_head list;
 }; 
 
-struct list_head A, B;
+LIST_HEAD(A);
+LIST_HEAD(B);
 
 static DEFINE_MUTEX(A_mutex);
 static DEFINE_MUTEX(B_mutex);

diff --git a/tests/regression/09-regions/08-kernel_list_nr.c b/tests/regression/09-regions/08-kernel_list_nr.c
@@ -8,7 +8,8 @@ struct s {
   struct list_head list;
 };
 
-struct list_head A, B;
+LIST_HEAD(A);
+LIST_HEAD(B);
 
 static DEFINE_MUTEX(A_mutex);
 static DEFINE_MUTEX(B_mutex);

diff --git a/tests/regression/09-regions/14-kernel_foreach_rc.c b/tests/regression/09-regions/14-kernel_foreach_rc.c
@@ -8,7 +8,7 @@ struct s {
   struct list_head list;
 }; 
 
-struct list_head slot[10];
+struct list_head slot[10]; // TODO: correctly initialize list heads
 struct mutex slots_mutex[10];
 
 struct s *new(int x) {

diff --git a/tests/regression/09-regions/15-kernel_foreach_nr.c b/tests/regression/09-regions/15-kernel_foreach_nr.c
@@ -9,7 +9,7 @@ struct s {
   struct list_head list;
 };
 
-struct list_head slot[10];
+struct list_head slot[10]; // TODO: correctly initialize list heads
 struct mutex slots_mutex[10];
 
 struct s *new(int x) {