I brought up the same question last year. By including this in the CFG builder, the other analysis that use the CFG can use the tautological results for better diagnostics.
http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20131028/091857.html On Mon, Aug 25, 2014 at 12:30 PM, Richard Smith <[email protected]> wrote: > On Mon, Aug 25, 2014 at 9:19 AM, Anders Rönnholm < > [email protected]> wrote: > >> Hi, >> >> I have made a new bitwise comparison always true check for relational >> comparisons i'd like to get reviewed. >> >> e.g >> if ((x & 64) < 65) // bitwise comparison always evaluates to true > > > 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. >
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
