https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62033
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I don't see a bug here as there is one case where addSize can return 0 and with jump threading and basic block copying, we get a zero size passed to memset.