solang 0.3.4

Solang Solidity Compiler
Documentation 
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

// SPDX-License-Identifier: Apache-2.0

use crate::sema::yul::tests::parse;

#[test]
fn unused_variables() {
    let file = r#"
contract testTypes {
    function testAsm() public {
        assembly {

            let a
            for {let i := 11
              } lt(i, 10) {i := add(i, 1)
            invalid()
        } {
                let x := shr(i, 2)
                let b := shr(6, 5)
                    x := mul(x, b)
                //stop()
            }
        }
    }
}
    "#;

    let ns = parse(file);
    assert!(ns
        .diagnostics
        .contains_message("yul variable 'a' has never been read or assigned"));

    let file = r#"
contract testTypes {
    function testAsm() public {
        assembly {

            for {let i := 11
                let c :=5
              } lt(i, 10) {i := add(i, 1)
            invalid()
        } {
                let x := shr(i, 2)
                let b := shr(6, 5)
                    x := mul(x, b)
                //stop()
            }
        }
    }
}
    "#;

    let ns = parse(file);
    assert!(ns
        .diagnostics
        .contains_message("yul variable 'c' has never been read"));
}

#[test]
fn correct_contracts() {
    let file = r#"
    contract testTypes {
    function testAsm() public {
        assembly {

            for {let i := 11
                let c :=5
              } c {i := add(i, 1)
            invalid()
        } {
                let x := shr(i, 2)
                let b := shr(6, 5)
                    x := mul(x, b)
                //stop()
            }

            let x := 0
            if x {
                let y := add(1, 2)
                return(y, 0)
            }

            let y := 5
            let z
            switch y
            case 0 {z := 4}
            case 1 {z := add(z, 3)}

        }
    }
}    "#;

    let ns = parse(file);
    for item in ns.diagnostics.iter() {
        assert!(!item.message.starts_with("yul variable has never been"));
    }

    let file = r#"
    contract testTypes {
    uint b = 0;
    struct test {
        int a;
        int b;
    }
    test tt1;
    function testAsm(uint256[] calldata vl) view public {
        test storage tt2 = tt1;
        assembly {
            let g := vl.length
            let adr := add(g, tt2.slot)
            tt2.slot := sub(adr, b.slot)
        }
    }
}    "#;

    let ns = parse(file);
    assert_eq!(ns.diagnostics.len(), 1);
    assert!(ns
        .diagnostics
        .contains_message("found contract 'testTypes'"));
}