That's not really true. The return type is boolean, and there's no risk of overflowing a bool. Input values also fit the range of the input type (which is int). If your intermediate values overflow, it's a bug in your code.