https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99109
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- array_bounds_checker::check_mem_ref certainly shouldn't try to pretend there is any ARRAY_TYPE that wasn't in the source if the type is overaligned (its size is not a multiple of the alignment).
