[Bug rtl-optimization/97777] ICE: in df_refs_verify, at df-scan.c:3991 with -O -ffinite-math-only -fzero-call-used-regs=all

[cvs-commit at gcc dot gnu.org]

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

--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Qing Zhao <qinzhao@gcc.gnu.org>:

https://gcc.gnu.org/g:2cace1cd683318e83e8a613f1aa2f2b16e37a342

commit r11-5684-g2cace1cd683318e83e8a613f1aa2f2b16e37a342
Author: qing zhao <qinzhao@gcc.gnu.org>
Date:   Wed Dec 2 23:48:02 2020 +0100

    rtl-optimization: Fix data flow maintenance bug in reg-stack.c [pr97777]

    reg-stack pass does not maintain the data flow information correctly.
    call df_insn_rescan_all after the transformation is done.

            gcc/
            PR rtl-optimization/97777
            * reg-stack.c (rest_of_handle_stack_regs): call
            df_insn_rescan_all if reg_to_stack return true.

            gcc/testsuite/
            PR rtl-optimization/97777
            * gcc.target/i386/pr97777.c: New test.