Say you&#x27;re computing a buffer size with untrusted inputs.<p>With saturated arithmetic, you could add the (unsigned) sizes together without a possibility of an overflow, so you could eliminate all except the last range check (=branch).<p>If the end result is larger than what is reasonable, return an error. It&#x27;s not possible that the value wrapped around and later code will be writing to unallocated memory.