Export tmp.zip-MinMax-constructor().dot
Export tmp.zip-MinMax-min().dot
Export tmp.zip-MinMax-max().dot
Export tmp.zip-MinMax-slitherConstructorVariables().dot
Export tmp.zip-MinMax-slitherConstructorConstantVariables().dot

digraph{
0[label="Node Type: ENTRY_POINT 0
"];
0->1;
1[label="Node Type: EXPRESSION 1

EXPRESSION:
i = type()(uint8).max

IRs:
TMP_1(uint8) := 255(uint8)
i(uint8) := TMP_1(uint8)"];
1->2;
2[label="Node Type: EXPRESSION 2

EXPRESSION:
j = type()(uint8).min

IRs:
TMP_3(uint8) := 0(uint8)
j(uint8) := TMP_3(uint8)"];
2->3;
3[label="Node Type: EXPRESSION 3

EXPRESSION:
k = uint256(type()(Enum).max)

IRs:
TMP_4(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_5(uint256) := 3(uint256)
TMP_6 = CONVERT TMP_5 to uint256
k(uint256) := TMP_6(uint256)"];
3->4;
4[label="Node Type: EXPRESSION 4

EXPRESSION:
l = uint256(type()(Enum).min)

IRs:
TMP_7(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_8(uint256) := 0(uint256)
TMP_9 = CONVERT TMP_8 to uint256
l(uint256) := TMP_9(uint256)"];
}

digraph{
0[label="Node Type: ENTRY_POINT 0
"];
0->1;
1[label="Node Type: RETURN 1

EXPRESSION:
uint256(type()(Enum).min)

IRs:
TMP_10(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_11(uint256) := 0(uint256)
TMP_12 = CONVERT TMP_11 to uint256
RETURN TMP_12"];
}

digraph{
0[label="Node Type: ENTRY_POINT 0
"];
0->1;
1[label="Node Type: RETURN 1

EXPRESSION:
uint256(type()(Enum).max)

IRs:
TMP_13(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_14(uint256) := 3(uint256)
TMP_15 = CONVERT TMP_14 to uint256
RETURN TMP_15"];
}

digraph{
0[label="Node Type: OTHER_ENTRYPOINT 0

EXPRESSION:
a = type()(uint256).max

IRs:
TMP_17(uint256) := 115792089237316195423570985008687907853269984665640564039457584007913129639935(uint256)
a(uint256) := TMP_17(uint256)"];
0->1;
1[label="Node Type: OTHER_ENTRYPOINT 1

EXPRESSION:
b = type()(uint256).min

IRs:
TMP_19(uint256) := 0(uint256)
b(uint256) := TMP_19(uint256)"];
1->2;
2[label="Node Type: OTHER_ENTRYPOINT 2

EXPRESSION:
c = uint256(type()(Enum).min)

IRs:
TMP_20(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_21(uint256) := 0(uint256)
TMP_22 = CONVERT TMP_21 to uint256
c(uint256) := TMP_22(uint256)"];
2->3;
3[label="Node Type: OTHER_ENTRYPOINT 3

EXPRESSION:
d = uint256(type()(Enum).max)

IRs:
TMP_23(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_24(uint256) := 3(uint256)
TMP_25 = CONVERT TMP_24 to uint256
d(uint256) := TMP_25(uint256)"];
}

digraph{
0[label="Node Type: OTHER_ENTRYPOINT 0

EXPRESSION:
e = type()(int256).max

IRs:
TMP_27(int256) := 57896044618658097711785492504343953926634992332820282019728792003956564819967(int256)
e(int256) := TMP_27(int256)"];
0->1;
1[label="Node Type: OTHER_ENTRYPOINT 1

EXPRESSION:
f = type()(int256).min

IRs:
TMP_29(int256) := -57896044618658097711785492504343953926634992332820282019728792003956564819968(int256)
f(int256) := TMP_29(int256)"];
1->2;
2[label="Node Type: OTHER_ENTRYPOINT 2

EXPRESSION:
g = uint256(type()(Enum).max)

IRs:
TMP_30(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_31(uint256) := 3(uint256)
TMP_32 = CONVERT TMP_31 to uint256
g(uint256) := TMP_32(uint256)"];
2->3;
3[label="Node Type: OTHER_ENTRYPOINT 3

EXPRESSION:
h = uint256(type()(Enum).min)

IRs:
TMP_33(type(Enum)) = SOLIDITY_CALL type()(Enum)
TMP_34(uint256) := 0(uint256)
TMP_35 = CONVERT TMP_34 to uint256
h(uint256) := TMP_35(uint256)"];
}

