Re: Fixing spurious "statement is not reachable" in template code

[Timon Gehr via Digitalmars-d]

On 10/27/2015 01:35 PM, Steven Schveighoffer wrote:

Easy to fix:

void reachIf(bool x)()
{
      static if(!x)
          return;
      else
          writeln("reached");
}

The warning is correct, and incredibly annoying.


Easy to fix, but the warning is incorrect, the statement is reachable if
you use reachIf!true.

A statement is not a compiled piece of code.

-Steve

Versions of the same statement in different instantiations are 
independent. Templates are just a restricted form of hygienic macros.