diff --git a/tests/regression/03-practical/36-struct-ptr.c b/tests/regression/03-practical/36-struct-ptr.c index eb31293cd0..e96a7f7966 100644 --- a/tests/regression/03-practical/36-struct-ptr.c +++ b/tests/regression/03-practical/36-struct-ptr.c @@ -1,21 +1,20 @@ #include struct aws_al { unsigned long current_size; - }; +}; - struct aws_pq { - int pred; - struct aws_al container; - }; +struct aws_pq { + int pred; + struct aws_al container; +}; - int main() { +int main() { struct aws_pq queue = { 0, { 0}}; struct aws_al *const list = &queue.container; if (list->current_size == 0UL) { - if (list->current_size == 0UL) - { + if (list->current_size == 0UL) { __goblint_check(1); //REACHABLE } } - } +}