[Bug tree-optimization/80443] [7 Regression] ICE on valid code at -O2 on x86_64-linux-gnu: in set_value_range, at tree-vrp.c:367

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jakub at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
   Target Milestone|---                         |7.0

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This is on a signed 1-bit precision type, with intersection:
~[0, +INF] (this is represented as VR_ANTI_RANGE 0 0)
and
[-INF, +INF] (and this one VR_RANGE -1 0)

But signed 1-bit precision type is always a nightmare to get right.
Debugging.