blob: 88f6902e444775ef89606056a1d3d3bcc9236307 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/* Generated by CIL v. 1.3.5 */
/* print_CIL_Input is true */
#line 3 "cilcode.tmp/ex25.c"
extern int ( /* missing proto */ scanf)() ;
#line 1 "cilcode.tmp/ex25.c"
struct dangerous_heapify {
char array[10] ;
};
#line 1 "cilcode.tmp/ex25.c"
int dangerous(void)
{ struct dangerous_heapify *dangerous_heapify ;
int __cil_tmp3 ;
{
#line 1
dangerous_heapify = (struct dangerous_heapify *)malloc(sizeof(struct dangerous_heapify ));
#line 3
scanf("%s", dangerous_heapify->array);
{
#line 4
__cil_tmp3 = 0;
#line 4
free(dangerous_heapify);
#line 4
return (__cil_tmp3);
}
}
}
#line 6 "cilcode.tmp/ex25.c"
int main(void)
{ int tmp ;
{
#line 7
tmp = dangerous();
#line 7
return (tmp);
}
}
|