https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121685
--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:e8969a86c1052e2949028f38daf8e273e7ecb106 commit r16-3568-ge8969a86c1052e2949028f38daf8e273e7ecb106 Author: Richard Biener <rguent...@suse.de> Date: Thu Aug 28 14:27:01 2025 +0200 tree-optimization/121685 - accesses to *this are not trapping When inside a method then we know the this pointer points to an object of at least the size of the methods base type. We can use this to compute more references as not trapping and enable invariant motion and in turn vectorization as for a slightly modified version of the testcase in the PR. PR tree-optimization/121685 * tree-eh.cc (ref_outside_object_p): Split out from ... (tree_could_trap_p): ... here. Assume the this pointer of a method refers to an object of at least size of its base type. * g++.dg/vect/pr121685-1.cc: New testcase.