implicit, named return does not have RETURN node

[0xalpharush]

function test() external view returns (uint named) {
     named = 1;
     // name in return parameter list indicates implicit return
}

The AST does not contain a ReturnStatement so we never create a RETURN node. We can enhance slithIR with this implicit return and change the node's type.

[webthethird]

We can enhance slithIR with this implicit return and change the node's type.

You mean change the type of the node containing the AssignmentOperation from EXPRESSION to RETURN, right?
Would this be done after parsing the function's CFG? And is it necessary that the node with the AssignmentOperation have no children?

[0xalpharush]

closed by #2326