[Bug middle-end/100775] ICE: in df_exit_block_bitmap_verify, at df-scan.c:4164 with -mthumb -fzero-call-used-regs=used

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

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Qing Zhao <qinz...@gcc.gnu.org>:

https://gcc.gnu.org/g:9b1faeb5bfef258780e313aa8302a43f98f3b442

commit r11-9663-g9b1faeb5bfef258780e313aa8302a43f98f3b442
Author: Qing Zhao <qing.z...@oracle.com>
Date:   Wed Mar 16 20:18:54 2022 +0000

    middle-end/100775 - updating the reg use in exit block for
-fzero-call-used-regs

    GCC11 backport.

    In the pass_zero_call_used_regs, when updating dataflow info after adding
    the register zeroing sequence in the epilogue of the function, we should
    call "df_update_exit_block_uses" to update the register use information in
    the exit block to include all the registers that have been zeroed.

    gcc/ChangeLog:

            PR middle-end/100775
            * function.c (gen_call_used_regs_seq): Call
            df_update_exit_block_uses when updating df.

    gcc/testsuite/ChangeLog:

            PR middle-end/100775
            * gcc.target/arm/pr100775.c: New test.