Updated patch, after Uros’ comments (except testing for != 0 in the testcase; I’d rather keep the existing > 0 test).
Bootstrapped and regtested on x86_64-apple-darwin13, tested by Uros on alpha. Given that the patch is mostly x86 and alpha-specific, and Uros has approved it from that point of view, I’ve committed the patch as revision 212407. FX
underflow.diff
Description: Binary data
underflow.ChangeLog
Description: Binary data