3 ms·
> The mathematical definition of "integer" is unbounded above and below. which is exactly why signed overflow is UB: if you use int, you say "I want something
by jcelerier 4y ago
> The mathematical definition of "integer" is unbounded above and below.
which is exactly why signed overflow is UB: if you use int, you say "I want something that behaves exactly like a mathematical integer in exchange of the promise of not working with quantities too large"
- andreareina 4y agoThat's the first time I've heard that reason for int overflow being UB, do you have a source for that?
- jcelerier 4y agohow do you call something that verifies those as axioms? https://gcc.godbolt.org/z/53ben65hf https://gcc.godbolt.org/z/53ben65hf