https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116823
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #1) > I have a simple patch which allows for this. > Basically we need to ignore clobbers in 2 places. Even though clobbers have a vdef, they have no effect on aliasing. There might be a way to construct a well defined testcase where there is a clobber getting in the way too. Let me try thar in a little bit.