Newer
Older
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
/* Generated by Frama-C */
#include "errno.h"
#include "signal.h"
#include "stdarg.h"
#include "stdio.h"
#include "stdlib.h"
#include "time.h"
int main(void)
{
int __retres;
unsigned int a;
unsigned int t[256];
time_t tmp;
unsigned int i = (unsigned int)1;
unsigned int j = (unsigned int)0;
tmp = time((time_t *)0);
srand((unsigned int)tmp);
while (i)
if (j) {
unsigned int tmp_2;
i --;
if (i) goto _LOR;
else
if (~ a >> 8) {
unsigned int tmp_0;
unsigned int tmp_1;
_LOR:
{
if (i) tmp_0 = t[j]; else tmp_0 = a;
putchar((int)tmp_0);
tmp_1 = i;
i ++;
}
tmp_2 = tmp_1;
}
else tmp_2 = (unsigned int)0;
if (tmp_2) {
i --;
t[j] = t[i];
if (i > (unsigned int)2) {
int tmp_3;
tmp_3 = rand();
j = (unsigned int)tmp_3 % (i - (unsigned int)2) + (unsigned int)2;
}
else j = (unsigned int)1;
}
else {
j --;
unsigned int tmp_4 = j;
}
}
else {
int tmp_4_0;
tmp_4_0 = getchar();
a = (unsigned int)tmp_4_0;
if ((unsigned int)1 == a >> 7) goto _LOR_0;
else
if ((unsigned int)26 > (a | (unsigned int)32) - (unsigned int)97) {
_LOR_0: ;
if ((unsigned int)256 > i) {
unsigned int tmp_5;
tmp_5 = i;
i ++;
t[tmp_5] = a;
}
else goto _LAND;
}
else {
_LAND: j ++;
unsigned int tmp_6 = j;
}
}
__retres = 0;
return __retres;
}