[Bug ipa/90939] ICE in meet_with, at ipa-cp.c:1073

[jamborm at gcc dot gnu.org]

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

--- Comment #1 from Martin Jambor <jamborm at gcc dot gnu.org> ---
The assert is there since the original implementation of IPA known
bits propagation which was done for integers only.  Some two months
later Prathamesh replaced propagation of alignment with moving
alignment information through the known_bits infrastructure, but the
assert remained.

I'll propose a patch that will remove the assert.  If bit_value_binop
can deal with the situation, it will, otherwise it will be pessimistic
(like in the case of MAX_EXPR, by the way).