Support for abi functions (abi.encode, abi.decode)

[dddejan]

In test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_memory_v2.sol

pragma experimental "ABIEncoderV2";

contract C {
  struct S { uint x; uint[] b; }
  function f() public pure returns (S memory, bytes memory, uint[][2] memory) {
    return abi.decode("abc", (S, bytes, uint[][2]));
  }
}

The AST goes into parsing the indexed expression uint[][2] and fails in L1133 of ASTBoogieExpressionConverter.cpp:

index->accept(*this); // TODO: can this be a nullptr?

So yes, it can be nullptr :)

We don't support the abi.decode and type parsing yet, but we should try not to segfault.

[hajduakos]

Error message instead of segfault since e361539

[hajduakos]

@dddejan please check and close issue / remove bug label

[dddejan]

Will keep this open to track support for abi.* functions.