https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95582
--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Martin Liška from comment #11) > Is there any progress about this PR? It's still blocking Ada bootstrap. Can you check the patch from comment#6? I'm not 100% sure it's correct but it can at most break Ada ... for Ada bool we'd not optimize it as bool but as char or whatever size it has. IIRC Ada has TYPE_MIN/MAX_VALUEs that do not match the precision here but we might be happily add true + true == 2 then. As said, some Ada coverage would be nice. I don't know enough about the mask_precision stuff to say whether a different patch is better (drop the assert? fail somewhere?). Richard added the mask_precision field so maybe he can chime in?
