https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118537
--- Comment #13 from Andrew Pinski <pinskia at gcc dot gnu.org> --- On the trunk for the cvise'd testcase I see: Req ={v} {CLOBBER(bob)}; MEM <vector(2) unsigned int> [(unsigned int *)&Req] = { 0, 0 }; Req.Result = 0; MEM <vector(2) long long unsigned int> [(long long unsigned int *)&Req + 376B] = { 0, 0 }; MEM <vector(2) long long unsigned int> [(long long unsigned int *)&Req + 392B] = { 0, 0 }; Req.MaximumSize = 0; Req.haveContent = 0; MEM <vector(2) unsigned int> [(void *)&Req + 428B] = { 2, 0 };