More dead code

[stefandrissen]

While the compiler is able to flag:

return false.
message 'never executed'.

I just ran into (oversimplified):

if not lvalue then
   return false.

if not lvalue then
   message 'never executed'.

The variable is not changed between the two conditions, so the second half is dead code (or in my case an unintended bug).

I am not sure if this is within what could reasonably be achieved.

[gquerret]

A very simplified version of the execution tree has been created for the security rules, but it's far from complete. Improving it is on the roadmap (many rules would be possible with this execution tree), but I already know that some other enhancements have a higher priority, so the only thing I can tell is that it won't be available in the coming months.