[Bug tree-optimization/119145] [13 Regression] vectorizer does partial BB vectorization during loop vect resulting in broken loop.

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

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

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:68b740f9e3112f7c0778bcb9dfd10b23cd1df1c0

commit r13-9516-g68b740f9e3112f7c0778bcb9dfd10b23cd1df1c0
Author: Richard Biener <rguent...@suse.de>
Date:   Fri Mar 7 10:15:20 2025 +0100

    tree-optimization/119145 - avoid stray .MASK_CALL after vectorization

    When we BB vectorize an if-converted loop body we make sure to not
    leave around .MASK_LOAD or .MASK_STORE created by if-conversion but
    we failed to check for .MASK_CALL.

            PR tree-optimization/119145
            * tree-vectorizer.cc (try_vectorize_loop_1): Avoid BB
            vectorizing an if-converted loop body when there's a .MASK_CALL
            in the loop body.

            * gcc.dg/vect/pr119145.c: New testcase.

    (cherry picked from commit 7950d4cceb9fc7559b1343c95fc651cefbe287a0)