[Bug tree-optimization/122969] [16 Regression] ICE on valid code at -O3 with "-fno-tree-dominator-opts -fno-code-hoisting -fno-tree-pre -fno-tree-dce" on x86_64-linux-gnu: in first_imm_use_stmt, at ssa-iterators.h:972

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-checking,
                   |                            |ice-on-valid-code
            Summary|ICE on valid code at -O3    |[16 Regression] ICE on
                   |with                        |valid code at -O3 with
                   |"-fno-tree-dominator-opts   |"-fno-tree-dominator-opts
                   |-fno-code-hoisting          |-fno-code-hoisting
                   |-fno-tree-pre               |-fno-tree-pre
                   |-fno-tree-dce" on           |-fno-tree-dce" on
                   |x86_64-linux-gnu: in        |x86_64-linux-gnu: in
                   |first_imm_use_stmt, at      |first_imm_use_stmt, at
                   |ssa-iterators.h:972         |ssa-iterators.h:972
            Version|unknown                     |16.0
   Target Milestone|---                         |16.0
                 CC|                            |rguenth at gcc dot gnu.org,
                   |                            |tnfchris at gcc dot gnu.org

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
There's a update_stmt missing after the FOR_EACH_IMM_USE_ON_STMT loop in
case use_stmt isn't a PHI.