1
2
3
4#line 211 "/usr/lib/gcc/x86_64-pc-linux-gnu/4.5.3/include/stddef.h"
5typedef unsigned int size_t;
6#line 17 "test-0180.c"
7struct list_head {
8 struct list_head *next ;
9 struct list_head *prev ;
10};
11#line 33 "test-0180.c"
12struct node {
13 int value ;
14 struct list_head linkage ;
15 struct list_head nested ;
16};
17#line 471 "/usr/include/stdlib.h"
18extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ;
19#line 488
20extern __attribute__((__nothrow__)) void free(void *__ptr ) ;
21#line 514
22extern __attribute__((__nothrow__, __noreturn__)) void abort(void) ;
23#line 5 "test-0180.c"
24extern int __VERIFIER_nondet_int(void) ;
25#line 7 "test-0180.c"
26static void fail(void)
27{
28
29 {
30 ERROR:
31 goto ERROR;
32}
33}
34#line 39 "test-0180.c"
35struct list_head gl_list = {& gl_list, & gl_list};
36#line 41 "test-0180.c"
37static void inspect(struct list_head const *head )
38{ struct node const *node ;
39 unsigned int __cil_tmp3 ;
40 struct list_head *__cil_tmp4 ;