compiler/tests/verifier/expr_ptr_deref.good


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


() accept_i(int i) { }
() accept_b(byte b) { }

() f()
{
    var int i;
    byte b;

    var int^ ip = @i;
    byte^ bp = @b;

    i = bp^;
    ip^ = b;
    ip^ = bp^;

    i = bp^ + 1;

    accept_i(ip^);
    accept_b(bp^);
    accept_i(ip^ + 1);
    accept_b(bp^ + 1);

    accept_i(bp^);
    accept_i(bp^ + 1);

    var bool res;
    res = (i < bp^);
    res = (ip^ > bp^);
}