3 ms·
> They made it undefined intending to encompass all of these. Why wouldn't implementation-defined behavior suffice in this case?
by aw1621107 3mo ago
> They made it undefined intending to encompass all of these.
Why wouldn't implementation-defined behavior suffice in this case?
- inigyou 3mo agoIB means the implementation has to fully document what it does. Evidently they didn't want to impose that requirement.
- aw1621107 3mo agoThere's always unspecified behavior if documentation is considered to be too onerous.
- UncleMeat 3mo agoIt also means that the behavior needs to be stable across time and that tools cannot report this behavior as a bug.
- aw1621107 3mo ago> It also means that the behavior needs to be stable across time I don't think IB has to be stable over time? For instance, whether and which extended integer types exist is IB and that has definitely changed over time. > and that tools cannot report this behavior as a bug. It's absolutely possible to report IB as a bug (or even fully-specified behavior, as demonstrated by -fsanitize=unsigned-integer-overflow or -fsanitize=implicit-integer-conversion).