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