As long as *_a + *_b <= INT_MAX, anyway... ;)
Er, well, wait, maybe it would still work.
...
...
Yeah, it would, as long as *_a and *_b are both positive. If they're negative, you can underflow and lose a bit off the top, but otherwise I think you're safe.