Page MenuHomePhabricator

detect integer overflow inside arms of conditional operator with non-constant expression
AcceptedPublic

Authored by nlewycky on Apr 24 2017, 2:56 PM.

Details

Reviewers
rsmith
Summary

Descend into both the true and false expressions of a ConditionalOperator when the condition can't be evaluated and we're in an evaluation-mode that says we should continue evaluating.

Diff Detail

Event Timeline

nlewycky created this revision.Apr 24 2017, 2:56 PM
rsmith accepted this revision.Apr 26 2017, 11:47 PM

LGTM

This revision is now accepted and ready to land.Apr 26 2017, 11:47 PM