[Bug tree-optimization/121685] Failure to vectorize because of failed invariant motion

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121685

--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #6)
> So the actual testcase (from CPU 2017 leela) is more like the following where
> IMO hoisting of the data start pointer should be OK since 'this' should be
> a valid object.

Yes, if we're in a non-static member function of an object, then the object
must be valid.