solang 0.2.1

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

// RUN: --target substrate --emit cfg
contract c {
// BEGIN-CHECK: c::function::test1
	function test1() public pure{
		bytes x = "foo1";
		// x is not being used, so it can be a slice bytes1
// CHECK: alloc slice bytes1 uint32 4 "foo1"
	bytes y = x;
	}

// BEGIN-CHECK: c::function::test2
	function test2() public pure returns (bytes) {
		bytes x = "foo2";

		x[1] = 0;
		return x;
		// x is being modified, so it must be a vector
// CHECK: alloc bytes uint32 4 "foo2"
	}

	function foo(bytes x) pure internal {

	}

// BEGIN-CHECK: c::function::test3
	function test3() public pure {
		bytes x = "foo3";

		foo(x);
		// no slices for function arguments yet, so it must be a vector
// CHECK: alloc bytes uint32 4 "foo3"
	}


// BEGIN-CHECK: c::function::test4
	function test4() public pure {
		string x = "foo4";

		// a bunch of stuff that does not need a vector
		if (x == "bar") {
			bool y = true;
		}

		string y = x + "if";

		print(x);
// CHECK: alloc slice bytes1 uint32 4 "foo4"
	}

// BEGIN-CHECK: c::function::test5
	function test5() public pure returns (bytes) {
		bytes x = "foo5";

		x.push(0);
		return x;
		// push modifies vectotr
// CHECK: alloc bytes uint32 4 "foo5"
	}

// BEGIN-CHECK: c::function::test6
	function test6() public pure {
		bytes x = "foo6";

		x.pop();
		// pop modifies vectotr
// CHECK: alloc bytes uint32 4 "foo6"
	}


// BEGIN-CHECK: c::function::test7
	function test7() public pure returns (bytes) {
		bytes x = "foo7";

		bytes y = x;
		y[1] = 0;
		return y;
		// x modified via y
// CHECK: alloc bytes uint32 4 "foo7"
	}

// BEGIN-CHECK: c::function::test8
	function test8() public pure returns (bytes) {
		string x = "foo8";

		bytes y = bytes(x);
		y[1] = 0;

		return y;
		// x modified via y
// CHECK: alloc string uint32 4 "foo8"
	}
}