compiler/tests/verifier/expr_assign.bad


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


bool f(bool x) { return not x; }

() test()
{
    var bool a;
    var bool b;
    var count c;
    var int#[2] arr;
    var int i1 = 123;
    var int i2 = 456;
    
    /* ERRORS may not assign in expressions */
    bool x = a = :true;
    var int i3 = i1 += 1;
    i2 = i1 += 1;
    i2 += i1 = 1;
    i2 += i1 += 1;
    if a = :true { }
    while a = :false { }
    do { } while a = :true;
    if a = b = :false { }
    arr#[c=0] = 123;
    f(a=:false);
    f(a=b=:false);
}