swift234

[overflow] Remove signed and unsinged overflow checks on addition of a stronger check was executed before the current one.

func unsigned_add_previous_traps(x : UInt) {
  sink(x + 9)  // keep (this is the first overflow check)
  sink(x + 2)  // remove
  sink(x + 3)  // remove
  sink(x + 5)  // remove
  sink(x + 10) // keep (this check is not guarded by the first check)
  sink(x + 5)  // remove
}

Swift SVN r26015