On Mon, Feb 25, 2013 at 1:02 PM, Will Dietz <[email protected]> wrote:
> See attached. > > This is important to avoid warning twice on shifts that fail both > checks, like "1 << -1". > > The branching is done to avoid executing the second check's shift with > invalid operands (poisoning the result), especially since we already > know the shift is invalid. Thanks, this generally looks good, except that you shouldn't test for labels in the IR, since we don't emit them in -Asserts builds.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
