On 10/27/2015 09:18 PM, tsbockman wrote:
On Tuesday, 27 October 2015 at 19:30:08 UTC, Timon Gehr wrote:
On 10/27/2015 06:35 PM, Steven Schveighoffer wrote:
I understand how the compiler treats it. In some cases, the statement
is reachable, the compiler is unhelpfully pointing out cases where it
was unreachable.
The reachable statement is not the same as the statement that is
flagged unreachable. This is not an implementation detail and it is
not 'incorrect'. It might be changed if the consensus is that it is
unhelpful. Personally, I usually avoid generating dead code.
I don't think any dead code is being generated,
This seems to be a misunderstanding. I mean generated using mixins or
template instantiation. Sure, it will usually be removed, but why
generate and semantically analyze it in the first place.
