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. Best regards, Daniel Marjamäki _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
