It lets you check that a+b > a for unknown unsigned b or signed b known > 0, to ...

		whelming_wave on April 15, 2020 \| parent \| context \| favorite \| on: Tell HN: C Experts Panel – Ask us anything about C 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.