[cfe-commits] r76531 - in /cfe/trunk: lib/Analysis/CFG.cpp test/Analysis/dead-stores.c

Eli Friedman eli.friedman at gmail.com
Tue Jul 21 11:32:12 PDT 2009

On Tue, Jul 21, 2009 at 10:15 AM, Ted Kremenek<kremenek at apple.com> wrote:
> Right.  Note that we want to keep ChooseExpr in the CFG (and not just inline
> its effects) so that we maintain the structure of the control-flow.  This is
> important for clients that render diagnostics that incorporate control-flow
> (e.g., the static analyzer).

Essentially, you want to treat it as a node in the CFG so that the
static analyzer can print which side is the evaluated side?  That
seems like it'll generally just lead to longer paths without providing
useful information, considering the ways it's normally used.  I don't
feel strongly about it, though.


More information about the cfe-commits mailing list