fn typeHasWrappingOverflow(t: *Translator, qt: QualType) bool
fn typeHasWrappingOverflow(t: *Translator, qt: QualType) bool { if (t.signedness(qt) == .unsigned) { // unsigned integer overflow wraps around. return true; } else { // float, signed integer, and pointer overflow is undefined behavior. return false; } }