neo-devpack-solidity 0.22.0

Production-focused Solidity-to-NeoVM compilation system
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
121
122
123
124
125

#[test]
fn base_constructor_is_inlined_into_derived_constructor() {
    let source = r#"
    pragma solidity ^0.8.19;

    contract Base {
        uint256 public x;

        constructor() {
            x = 1;
        }
    }

    contract Derived is Base {
        uint256 public y;

        constructor() Base() {
            y = 2;
        }
    }
    "#;

    let metadatas = analyse_all_sources(source).expect("analysis failed");
    let derived = metadatas
        .into_iter()
        .find(|m| m.name == "Derived")
        .expect("expected Derived metadata");

    let x_index = derived
        .state_variables
        .iter()
        .position(|v| v.name.as_deref() == Some("x"))
        .expect("expected state variable x");
    let y_index = derived
        .state_variables
        .iter()
        .position(|v| v.name.as_deref() == Some("y"))
        .expect("expected state variable y");
    assert!(
        x_index < y_index,
        "expected base state variable to precede derived state variable"
    );

    let module = ir::Module::from_contract(&derived).expect("IR lowering failed");
    let ctor = module
        .functions
        .iter()
        .find(|function| matches!(function.kind, ir::FunctionKind::Constructor))
        .expect("expected constructor function");

    let instrs = &ctor.basic_blocks[0].instructions;
    assert!(
        instrs.iter().any(|instr| matches!(instr, ir::Instruction::StoreState(idx) if *idx == x_index)),
        "expected base constructor assignment to store state variable 'x'; instrs: {instrs:?}"
    );
    assert!(
        instrs.iter().any(|instr| matches!(instr, ir::Instruction::StoreState(idx) if *idx == y_index)),
        "expected derived constructor assignment to store state variable 'y'; instrs: {instrs:?}"
    );
}

#[test]
fn base_constructor_args_from_intermediate_contract_are_applied() {
    use num_bigint::BigInt;

    let source = r#"
    pragma solidity ^0.8.19;

    contract A {
        uint256 public x;

        constructor(uint256 v) {
            x = v;
        }
    }

    contract B is A {
        constructor() A(7) {}
    }

    contract C is B {
        constructor() {}
    }
    "#;

    let metadatas = analyse_all_sources(source).expect("analysis failed");
    let c = metadatas
        .into_iter()
        .find(|m| m.name == "C")
        .expect("expected C metadata");

    let x_index = c
        .state_variables
        .iter()
        .position(|v| v.name.as_deref() == Some("x"))
        .expect("expected x in state variables");

    let module = ir::Module::from_contract(&c).expect("IR lowering failed");
    let ctor = module
        .functions
        .iter()
        .find(|function| matches!(function.kind, ir::FunctionKind::Constructor))
        .expect("expected constructor");

    let instrs = &ctor.basic_blocks[0].instructions;
    let mut found = false;
    for window in instrs.windows(2) {
        if matches!(
            window,
            [
                ir::Instruction::PushLiteral(ir::LiteralValue::Integer(value)),
                ir::Instruction::StoreState(state_index)
            ] if *state_index == x_index
                && value == &BigInt::from(7u8)
        ) {
            found = true;
            break;
        }
    }

    assert!(
        found,
        "expected base constructor arg 7 to be stored into 'x'; instrs: {instrs:?}"
    );
}