[cfe-dev] -Wunreachable-code and templates

[David Blaikie]

> Templates are used to generate code. Subjecting them to
> -Wunreachable-code implies that all the potentially generated code has
> to exist in all instantiations.

Well that's true of -Wunreachable-code before Ted's changes today, but
it's possible that there are real problems that could be detected if
we were smart enough:

template<typename T>
void foo() {
  if (false)
    bar();
}

It'd be nice if we could diagnose that while not having false
positives related to the sort of scenarios you're describing (where
code is conditional on template parameters)