On 2024-11-22 22:08, Magnus Fromreide wrote:

The definition of iinntt does not guarantee that it is wider than an int, does something break if INT_MAX == INTMAX_MAX and INT_MIN == INTMAX_MIN?

That's checked statically by "static_assert(IINNTT_MIN < INT_MIN && INT_MAX < IINNTT_MAX);". I don't know of any tzcode platform where that static assertion would fail (and thus break the build) because no signed type is wider than 'int'. If you know of one, please let us know.