Known issues with valid solidity

[area]

Generalising this issue to contain all cases of valid solidity that we know we can't instrument...

These are either going to need edge cases coded, or use of debug_traceTransaction to avoid instrumentation all together.

Hopefully, nothing here would be something realistically used in 'real' solidity contracts, and are just odds and ends for us to look at.

[area]

cgewecke originally posted this, referring to instrumentation of var w = x ? y : z.

I really like the tuple solution for conditional statements.

Theres an uncovered edge case for Variable initializations because solidity wont allow you to reference a var before its type is decided. Basically this:

Error: Instrumented solidity invalid: :26:5: Error: Assignment necessary for type detection.
   var z; (,z) = y ? (y,false) : (y,true);
   ^----^

To fix this you'd have to look down the tree and figure out what the type of the result of the ConditionalExpression is and initialize the var statement with it. It would be incredibly complicated.

[area]

var () = assert(x);

This actually doesn't even parse, due to a bug in solidityparser, but even if it did, our instrumentation would not be correct.

[gitpusha]

Hi all,

I think the issue I just raised might be related #493