reasoning of evaluating code after return in current block (static if return)

[bastien penavayre via Digitalmars-d]

Hi something's been bugging me for a while,
for the following code:

{
    auto t = tuple(0,0);
    return true;
    auto v = t[5];
    return false;
}

Why is the code following "return true" evaluated ? I know that 
it's the same
with the C++ but I was wondering why ?
My guess is for goto/labels but I find odd to evaluate it by 
default.
Furthermore one of my issues with this is that it has a negative 
impact on "static if" and make it cumbersome in some situations.

For instance this snippet comming from 
"https://github.com/uncrustify/uncrustify/issues/252"

ClLinearExpression opBinary(string op) (double constant)
{
static if (op == "+")
             return new ClLinearExpression(this, 1, constant);
         else
             static if (op == "-")
                 return new ClLinearExpression(this, 1, -constant);
             else
                 static if (op == "*")
                     return new ClLinearExpression(this, constant, 
0);
                 else
                     static if (op == "/")
                         return new ClLinearExpression(this, 1.0 / 
constant, 0);
     }