max() function results in compilation failure due to alleged unreachable code

[m1cm1c]

Steps to reproduce

Paste the following function into any XJSnark program:

public uint_256 max(uint_256 a, uint_256 b) { 
  if (a > b) { 
    return a; 
  } else { 
    return b; 
  } 
}

The bug occurs regardless of whether this function is ever invoked.

It results in the following compilation problem:

[akosba]

This is not related to a specific function. Writing return statements within if statements that rely on a runtime conditional is not supported at this point. This can be avoided by writing a single return at the end.
I pushed an update that generates an error message in the editor directly to indicate that this is not supported.

[m1cm1c]

Thank you! Storing the result in a variable and simply returning that variable works.

If return statements are difficult, maybe you could instead support the ternary operator for XJSnark types. My initial attempt was:

return a > b ? a : b;

This avoids a return in a conditional block perfectly well and it seems to me that return statements are often written using the ternary operator because a case differentiation involving an if statement for the last statement of a function is unnecessarily cumbersome. However, the problem is that this currently yields the following error message:

Error: Boolean and JBoolean are inconsistent types.

As the error message implies, this is not dependent on the resulting value being used in a return statement.

uint_256 c = a > b ? a : b;

yields the exact same error message.