https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80800 --- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Whoa. Do we want to use TYPE_OVERFLOW_SANITIZED to prevent that from happening? I know you don't like it...