Hacker News new | ask | show | jobs
by whelming_wave 2251 days ago
It lets you check that a+b > a for unknown unsigned b or signed b known > 0, to make sure addition didn’t overflow. I’m rather certain all modern C compilers will optimize that check out.