aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier/type_arraylength.bad
blob: 8efb2d2aea02a345c6e2cb9649d63134a28954ae (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
41
42
43
44
45
46
47
48
49
50


namespace varlength_static {
    // variable length. not allowed!
    var count len;
    int#[len]^ arr; // ERROR
}

count runtimevalue(count v) { return v; }

() f()
{
    count length = runtimevalue(1);
    count size = runtimevalue(2);
    
    // compile-time length
    var int#[1] ca1;
    var int#[10] cb1;
    var int#[1] ca2;
    
    // compile-time length, pointer
    int#[1]^ pca1;
    int#[10] var^ pcb1;
    int#[1]^ pca2;
    
    // runtime length on stack. not allowed!
    int#[length] bad; // ERROR
    
    // runtime length, pointer
    int#[length] var^ ra1;
    int#[length]^ ra2;
    int#[size]^ rb1;
    
    // variable length. not allowed!
    var count varlength = 1;
    int#[varlength]^ bad2; // ERROR
    int#[varlength+1]^ bad3; // ERROR
    int#[compl varlength]^ bad4; // ERROR
    
    /* ERRORS with compile-time lengths */
    ca1 = cb1;
    pcb1 = pca1;
    ca1 = pcb1^;
    cb1 = @pca1;
    pcb1 = @pcb1;
    
    /* ERRORS with runtime lengths */
    ra1 = rb1;
}