------- Comment #6 from pinskia at gcc dot gnu dot org 2006-04-27 21:14 -------
(In reply to comment #5)
> So I asked myself, why are we not catching this in vrp? I know we can derive
> ranges from types, so why don't we derive a [0,1] range from the bitfield
> load?
> D.1883_4: [0, 1] EQUIVALENCES: { } (0 elements)
> D.1884_5: [0, +INF] EQUIVALENCES: { } (0 elements)
> D.1884_5 = D.1883_4 | 1;
Shouldn't we find that D.1884_5 is 1 at this point because _4 was [0,1]
and [0, 1] | 1 is just 1?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18031
