1
2
3
4#line 13 "files/alias_of_return_2.c"
5void err(void)
6{
7
8 {
9 ERROR:
10#line 14
11 goto ERROR;
12}
13}
14#line 16
15extern int __VERIFIER_nondet_int() ;
16#line 18 "files/alias_of_return_2.c"
17int *return_self(int *p )
18{ int tmp ;
19
20 {
21 {
22#line 20
23 tmp = __VERIFIER_nondet_int();
24 }
25#line 20
26 if (tmp) {
27#line 21
28 return (p);
29 } else {
30#line 23
31 return (p);
32 }
33}
34}
35#line 27 "files/alias_of_return_2.c"
36int main(void)
37{ int a ;
38 int *q ;
39
40 {
41#line 31
42 a = 1;
43#line 33
44 q = & a;
45#line 38
46 *q = 2;
47#line 40
48 if (a != 2) {
49 {
50#line 40
51 err();
52 }
53 } else {
54
55 }
56#line 41
57 return (0);
58}
59}