3 unsigned int __line, __const char *__function)
4 __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
5extern void __assert_perror_fail (int __errnum, __const char *__file,
6 unsigned int __line,
7 __const char *__function)
8 __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
9extern void __assert (const char *__assertion, const char *__file, int __line)
10 __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
11
12typedef unsigned int size_t;
13
14
15
16
17struct list_head {
18 struct list_head *next ;
19 struct list_head *prev ;
20};
21struct node {
22 int value ;
23 struct list_head linkage ;
24 struct list_head nested ;
25};
26extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ;
27extern __attribute__((__nothrow__)) void free(void *__ptr ) ;
28extern __attribute__((__nothrow__, __noreturn__)) void abort(void) ;
29extern int __VERIFIER_nondet_int(void);
30static void fail(void)
31{
32 {
33 ERROR: ((0) ? (void) (0) : __assert_fail ("0", "test-0180.c", 11, __PRETTY_FUNCTION__));
34 goto ERROR;
35}
36}
37
38
39struct list_head gl_list = {& gl_list, & gl_list};
40
41static void inspect(struct list_head const *head )
42{ struct node const *node ;
43 unsigned int __cil_tmp3 ;