c: perform integer overflow check on all binary
operations. // rdar://13423975