1
2
3
4#line 211 "/usr/lib64/gcc/x86_64-suse-linux/4.5/include/stddef.h"
5typedef unsigned long size_t;
6#line 7 "files/rule60_list.c"
7struct list_head {
8 struct list_head *prev ;
9 struct list_head *next ;
10 int inserted ;
11};
12#line 2 "./assert.h"
13void __blast_assert(void)
14{
15
16 {
17 ERROR:
18#line 4
19 goto ERROR;
20}
21}
22#line 51 "/usr/include/malloc.h"
23extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ;
24#line 12 "files/rule60_list.c"
25static void list_add(struct list_head *new , struct list_head *head )
26{ int __cil_tmp3 ;
27