Skip to content

unsafe-deep-dive: replace may_overflow with a real safety precondition - #3244

Open
rmyndharis wants to merge 1 commit into
google:mainfrom
rmyndharis:fix/may-overflow-not-ub
Open

unsafe-deep-dive: replace may_overflow with a real safety precondition#3244
rmyndharis wants to merge 1 commit into
google:mainfrom
rmyndharis:fix/may-overflow-not-ub

Commits

  1. Commits on Jul 27, 2026