tschuett added a comment. You will always know whether it is max int or max int because of saturating behaviour. class SatUint32 { uint32_t value; bool overflowed; } CHANGES SINCE LAST ACTION https://reviews.llvm.org/D109217/new/ https://reviews.llvm.org/D109217