[Bug tree-optimization/23386] [4.1 Regression] bitmap.c is being miscompiled (VRP)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-14 17:18 -------
We get:
ix_14: [0, 3]  EQUIVALENCES: { } (0 elements)


which is wrong as it should be the union of [0,3] and [-1,-1].

so we are folding:
Folding predicate ix_14 != 4294967295 to 1


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1 Regression] ICE:       |[4.1 Regression] bitmap.c is
                   |SIGSEGV at bitmap.c:780     |being miscompiled (VRP)


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23386