Objective-C. Check for integer overflow in Objective-C's
boxed expression. // rdar://16417427