On Tue, Aug 26, 2014 at 10:21 AM, Daniel Marjamäki < [email protected]> wrote:
> > Hello! > > > I'm very surprised to see this being implemented in Analysis/CFG.cpp; > this > > belongs in Sema/SemaChecking.cpp. It makes no sense to me to couple this > > check to building a CFG. > > It is written in CFG since it makes the control flow analysis better if it > knows that a condition is always true/false. > That is putting the cart before the horse. I agree it should be *used* by the CFG builder, but it doesn't belong there.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
