From 57eac77924b80f334cb9665f5fe52eb83f779836 Mon Sep 17 00:00:00 2001 From: Julian Erhard Date: Wed, 29 Nov 2023 11:41:05 +0100 Subject: [PATCH] Fix test annotation. n-> next != NULL is actually unknown, as other thread may manipulate n concurrently. --- tests/regression/79-modular/28-return-void-allocated.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/regression/79-modular/28-return-void-allocated.c b/tests/regression/79-modular/28-return-void-allocated.c index afcf663eae..b0cfc5907f 100644 --- a/tests/regression/79-modular/28-return-void-allocated.c +++ b/tests/regression/79-modular/28-return-void-allocated.c @@ -9,7 +9,7 @@ typedef struct node { node_t *allocate_node(){ // Changing the pointer type to node_t* resolves the issue - int* n = malloc(sizeof(node_t)); + node_t* n = malloc(sizeof(node_t)); return (node_t*) n; } @@ -30,7 +30,7 @@ node_t *add_node(node_t *n){ __goblint_check(new_node != NULL); n->next = new_node; - __goblint_check(n->next != NULL); + __goblint_check(n->next != NULL); //UNKNOWN! new_node = init_node(new_node); __goblint_check(new_node != NULL); //UNKNOWN