crytic / crytic/slither

Yul: better support of operations on array

Open
#543 0 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

```solidity
function f(uint[] memory _data) public view returns (uint o_sum) {
assembly {
let data := add(_data, 0x20)
}
}
```

```
TMP_0(uint256[]) = _data + 32
data(uint256) := TMP_0(uint256[])
```

`TMP_0` should not be a `uint256[]` here

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.