[cfe-dev] -Wunreachable-code and templates

Ted Kremenek kremenek at apple.com
Wed Feb 15 11:12:06 PST 2012

On Feb 15, 2012, at 10:58 AM, David Blaikie <dblaikie at gmail.com> wrote:

> Honestly I think there may end up being an argument for this - and
> using a lesser definition of reachability (the same one MSVC and GCC
> appear to use - purely structural with no constant conditional
> evaluation (eg: "if {return} else {return} return" finds the trailing
> return to be unreachable, but "if {return} return" doesn't, even if
> the condition on the if is reachable)) under some circumstances (yes -
> this would cause more false positives on every other analysis-based
> warning, though I'm curious how much time we spend on CFG construction
> for all those currently - I might try that as a separate experiment if
> I can get usable/stable numbers from reasonable data sets).

Hi David,

I honestly didn't understand this paragraph.  Could you elucidate?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20120215/baf4b66a/attachment.html>

More information about the cfe-dev mailing list