We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 55fa6bd commit b05e305Copy full SHA for b05e305
tests/regression/03-practical/36-struct-ptr.c
@@ -1,21 +1,20 @@
1
#include <goblint.h>
2
struct aws_al {
3
unsigned long current_size;
4
- };
+};
5
6
- struct aws_pq {
7
- int pred;
8
- struct aws_al container;
9
+struct aws_pq {
+ int pred;
+ struct aws_al container;
10
11
- int main() {
+int main() {
12
struct aws_pq queue = { 0, { 0}};
13
struct aws_al *const list = &queue.container;
14
15
if (list->current_size == 0UL) {
16
- if (list->current_size == 0UL)
17
- {
+ if (list->current_size == 0UL) {
18
__goblint_check(1); //REACHABLE
19
}
20
21
- }
+}
0 commit comments