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).
