[Bug tree-optimization/125857] [17 regression] ICE on valid code at -O{s,2,3} on x86_64-linux-gnu: in value_of_expr, at tree-vrp.cc:996 since r17-1602

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

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |17.0
            Version|16.0                        |17.0
           Keywords|                            |ice-checking,
                   |                            |ice-on-valid-code
            Summary|ICE on valid code at        |[17 regression] ICE on
                   |-O{s,2,3} on                |valid code at -O{s,2,3} on
                   |x86_64-linux-gnu: in        |x86_64-linux-gnu: in
                   |value_of_expr, at           |value_of_expr, at
                   |tree-vrp.cc:996             |tree-vrp.cc:996 since
                   |                            |r17-1602
                 CC|                            |amacleod at redhat dot com

--- Comment #2 from Sam James <sjames at gcc dot gnu.org> ---

        // A const points has to be gimple_min_invariant.
        gcc_checking_assert (!ret || is_gimple_min_invariant (ret));