On Tue, Jul 21, 2009 at 10:15 AM, Ted Kremenek<[email protected]> 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. -Eli _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
