Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Bug-Candidate]: 0.8.3 crashing with types #1295

Closed
thedavidmeister opened this issue Jul 19, 2022 · 2 comments
Closed

[Bug-Candidate]: 0.8.3 crashing with types #1295

thedavidmeister opened this issue Jul 19, 2022 · 2 comments
Labels
bug Something isn't working

Comments

@thedavidmeister
Copy link

Describe the issue:

slither.exceptions.SlitherException: Function not found on IR: TMP_2759(None) = HIGH_LEVEL_CALL, dest:location_(StackTop), function:set, arguments:['orderHash_', 'REF_739']  .
Node: EXPRESSION location_.set(clearedOrder[OrderHash.wrap(orderHash_)]) (contracts/orderbook/OrderBook.sol#292)
Function: opOrderFundsCleared
Please try compiling with a recent Solidity version. 'TypeAliasTopLevel' object has no attribute 'type'
Error:
Function not found on IR: TMP_2759(None) = HIGH_LEVEL_CALL, dest:location_(StackTop), function:set, arguments:['orderHash_', 'REF_739']  .
Node: EXPRESSION location_.set(clearedOrder[OrderHash.wrap(orderHash_)]) (contracts/orderbook/OrderBook.sol#292)
Function: opOrderFundsCleared
Please try compiling with a recent Solidity version. 'TypeAliasTopLevel' object has no attribute 'type'
Please report an issue to https://github.com/crytic/slither/issues

slither doesn't like type aliases it seems

Code example to reproduce the issue:

can be seen here https://github.com/beehive-innovation/rain-protocol/runs/7396854793?check_suite_focus=true#step:4:272

Version:

0.8.3

Relevant log output:

No response

@thedavidmeister thedavidmeister added the bug-candidate Bugs reports that are not yet confirmed label Jul 19, 2022
@0xalpharush
Copy link
Contributor

Note to self: check if fixed by #1271

@0xalpharush 0xalpharush added bug Something isn't working and removed bug-candidate Bugs reports that are not yet confirmed labels Jul 21, 2022
@0xalpharush
Copy link
Contributor

I believe this was fixed by #1576 but please let us know if you hit this error again.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

2 participants